226 reputation
1 7

Aaron Rotenberg

I'm a software engineer, currently at CERTON, 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 CERTON, Inc.)

Top Tags (8)

Score 7
Posts 1
Posts % 33
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 2
Posts 1

Top Posts (3) All Questions Answers | Votes Newest

Badges (8)

Gold
Silver 1

Rarest

Bronze 7

Rarest