Aaron Rotenberg
I'm a software engineer, currently at Cyient, Inc. as a lead developer on the CertSAFE suite of safety-critical software modeling and verification tools. I'm interested in programming language theory and mathematical logic.
(Disclaimer: The opinions expressed here are my own and not those of Cyient, Inc.)
12
answers
5
questions
~1k
people reached
-
Florida
-
Member for 6 years, 6 months
-
27 profile views
-
Last seen 1 hour ago