Re:Leslie Lamport: Video course on TLA+
by unboxed_type on Tuesday March 21, 2017 @08:05AM
(#13921429)
I hold a "senior researcher" position at research dep. of one of security-related IT companies. I am developing a TLA model to specify one of companies product core protocols. My previous job title was "senior distributed systems developer"; I was doing a similar thing there.
[ Parent
| on HN ]
There are no comments on this comment yet.