211
reputation
1
5

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
0
questions
~3k
people reached
  • Florida
  • Member for 1 year, 9 months
  • 5 profile views
  • Last seen Jun 5 at 14:15

Top tags (2)

Score 11
Posts 1
Score 11
Posts 1

Top posts (1)

Badges (6)

Gold

Silver

1

Rarest

Bronze

5

Rarest