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
~628
people reached

Communities (42)

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