Computer Science
Meta user
Network profile
2,224
reputation
8
16

Aaron Rotenberg
top 2% this quarter

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

49
answers
7
questions
~14k
people reached

Communities (56)

Top Meta Posts
1
0

Top network posts

Top tags (71)

Score 20
Posts 11
Posts % 20
Score 16
Posts 10
Score 13
Posts 4
Score 12
Posts 5
Score 10
Posts 6
Score 9
Posts 6
View all tags →

Top posts (56) All Questions Answers | Votes Newest

58 Why do we need full-fledged workstations running massive OSes with massive software? Dec 14 '19
8 Isn't polynomial identity testing over arithmetic *expressions* trivial? Jan 15 '16
7 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
4 Are Turing unrecognizable and undecidable languages, recognized and decided by hyper computation? Jan 7
View all questions and answers →

Badges (24)

Gold

—

Silver

8

Rarest

Bronze

16

Rarest

View all badges →