509
reputation
2
2
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.)
-
Florida
-
Member for 3 years, 4 months
-
1 profile view
-
Last seen May 31 at 2:12
Communities (58)
Top network posts
Keeping a low profile.
This user hasn't posted yet.
Badges (4)
Gold
—
Silver
2
Rarest
Bronze
2
Rarest
-
Nov 19
-
Mar 30 '17
