143
reputation
7

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

1
answer
2
questions
~2k
people reached

Top tags (7)

Score 2
Posts 3
Posts % 100
Score 2
Posts 2
Score 2
Posts 2
Score 2
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

Bronze

7

Rarest