Senior Software Engineer interested in Math, Formal Methods and Software Specification (TLA+, Alloy), TDD, and all the functional things.
- Austin, Texas
-
04:19
(UTC -05:00)
Search results
0 open and 0 closed projects found.-
There aren't any projects yet