263
reputation
3
8

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

0
answers
1
question
~1k
people reached
  • Florida
  • Member for 3 years, 2 months
  • 1 profile view
  • Last seen Jan 14 at 19:10

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (11)

Gold

Silver

3

Rarest

Bronze

8

Rarest