2,319
reputation
9
17

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.)

51
answers
7
questions
~15k
people reached

Top tags (72)

Score 22
Posts 11
Posts % 19
Score 17
Posts 10
Score 13
Posts 4
Score 12
Posts 6
Score 12
Posts 5
Score 9
Posts 6

Top posts (58)

View all questions and answers

Badges (26)

Gold

Silver

9

Rarest

Bronze

17

Rarest