671
reputation
1
3
6
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.)
0
answers
1
question
~43k
people reached
-
Florida
-
Member for 1 year, 5 months
-
147 profile views
-
Last seen yesterday
Communities (56)
Top network posts
Badges (10)
Gold
1
Rarest
-
Mar 17
Silver
3
Rarest
-
Mar 16
-
Mar 16
-
Mar 16
Bronze
6
Rarest
-
Mar 16
-
Mar 15
-
Mar 16
