Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
170
reputation
1
6

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
2
questions
~710
people reached
  • Florida
  • Member for 2 years, 10 months
  • 5 profile views
  • Last seen Jun 9 at 12:57

Top tags (3)

Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2

Top posts (2) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

1

Rarest

Bronze

6

Rarest