2,224
reputation
8
16

Aaron Rotenberg
top 2% this quarter

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

49
answers
7
questions
~14k
people reached

Top tags (71)

Score 20
Posts 11
Posts % 20
Score 16
Posts 10
Score 13
Posts 4
Score 12
Posts 5
Score 10
Posts 6
Score 9
Posts 6

Top posts (56) All Questions Answers | Votes Newest

View all questions and answers

Badges (24)

Gold

Silver

8

Rarest

Bronze

16

Rarest