Computer Science
Profile Activity
Meta user
Network profile
2,319
reputation
9
17

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

51
answers
7
questions
~15k
people reached

Communities (57)

Top Meta Posts
1
0

Top network posts

Top tags (72)

Score 22
Posts 11
Posts % 19
Score 17
Posts 10
Score 13
Posts 4
Score 12
Posts 6
Score 12
Posts 5
Score 9
Posts 6
View all tags →

Top posts (58)

All Questions Answers
Votes Newest
59 Why do we need full-fledged workstations running massive OSes with massive software? Dec 14 '19
8 How hard is finding the shortest path in a graph matching a given regular language? Dec 28 '19
8 Isn't polynomial identity testing over arithmetic *expressions* trivial? Jan 15 '16
6 How hard is finding the shortest path in a graph matching a given regular language? Dec 28 '19
6 Length of strings accepted by DFA Dec 23 '19
5 What is the state of the algorithmic art for floating point arithmetic on complex numbers? Jan 18 '19
4 Is there a model of ZF¬C where some program always terminates but has no loop variant? Nov 26 '19
4 Is there a name for the class of functions whose totality can be proved using “Ackermann-like” reasoning? Apr 4 '18
4 Is there a name for a graph whose vertices consist of edges of an existing graph connected by an edge if they shared a common vertex? Jan 31
4 Relation Between Priority Queue, Heap, Tree Jan 28
View all questions and answers →

Badges (26)

Gold

—

Silver

9

Rarest

Bronze

17

Rarest

View all badges →