Stack Exchange Network

Stack Exchange network consists of 174 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

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