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

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
195
reputation
9

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
4
questions
~616
people reached

Communities (41)

Top network posts

Top tags (11)

Score 0
Posts 1
Posts % 25
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (4) All Questions Answers | Votes Newest

8 Isn't polynomial identity testing over arithmetic *expressions* trivial? Jan 15 '16
5 What is the state of the algorithmic art for floating point arithmetic on complex numbers? Jan 18
3 Is there a name for the class of functions whose totality can be proved using “Ackermann-like” reasoning? Apr 4 '18
2 Characterizing cycles in a directed graph with optional edges Nov 7 '14

Badges (9)

Gold

—

Silver

—

Bronze

9

Rarest