Computer Science
Meta user
Network profile
545
reputation
2
13

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

12
answers
5
questions
~1k
people reached

Communities (48)

Top network posts

Top tags (29)

Score 6
Posts 4
Posts % 24
Score 5
Posts 3
Score 4
Posts 4
Score 2
Posts 3
Score 2
Posts 1
Score 2
Posts 1
View all tags →

Top posts (17) 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
4 Is there a model of ZF¬C where some program always terminates but has no loop variant? Nov 26
4 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
2 Some questions about the Computability of Turing Machines Dec 5
2 Are there some good algorithm to select m by three matrices which satisfies certain conditions? Nov 29
2 Why can't we prove decidability of $L= \{ \langle M \rangle : M$ accepts $ \epsilon \}$ with a configurations graph? Nov 27
2 Maximum value of arbitrage Nov 26
1 NP-completeness for integer linear program yesterday
View all questions and answers →

Badges (15)

Gold

—

Silver

2

Rarest

Bronze

13

Rarest

View all badges →