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

  • Florida
  • Member for 3 years, 1 month
  • 0 profile views
  • Last seen Jan 27 at 3:12