2,279
reputation
6
3
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
~322
people reached
-
Florida
-
Member for 6 years, 10 months
-
6 profile views
-
Last seen Mar 17 at 21:39
Communities (56)
Top network posts
Badges (9)
Gold
—
Silver
6
Rarest
Bronze
3
Rarest
-
Dec 15
-
Dec 13
-
Sep 13 '15
