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
13,351
reputation
1
20
49

Shaull

Postdoc at Oxford University, UK.

Research interests: Dynamical Systems, Formal Verification, Temporal Logic, Automata Theory, Weighted Automata and Weighted Logics, and all things theoretical.

243
answers
2
questions
~345k
people reached

Top Tags (123)

Score 196
Posts 44
Posts % 18
Score 169
Posts 37
Score 159
Posts 26
Score 149
Posts 26
Score 143
Posts 34
Score 121
Posts 23

Top Posts (245) All Questions Answers | Votes Newest

View all questions and answers

Badges (70)

Gold

1

Rarest

Silver

20

Rarest

Bronze

49