545
reputation
2
13

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

12
answers
5
questions
~1k
people reached

Top tags (29)

Score 6
Posts 4
Posts % 24
Score 5
Posts 3
Score 4
Posts 4
Score 2
Posts 3
Score 2
Posts 1
Score 2
Posts 1

Top posts (17) All Questions Answers | Votes Newest

View all questions and answers

Badges (15)

Gold

Silver

2

Rarest

Bronze

13

Rarest