Stack Exchange Network

Stack Exchange network consists of 174 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
Join us in building a kind, collaborative learning community via our updated Code of Conduct.
11,448 reputation


I am a post-doctoral fellow in Theoretical Computer Science at Imperial College London.

My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.

Top Tags (175)

Score 287
Posts 63
Posts % 30
Score 133
Posts 18
Score 81
Posts 19
Score 49
Posts 6
Score 41
Posts 7
Score 29
Posts 15

Top Posts (209) All Questions Answers | Votes Newest

View all questions and answers

Badges (76)

Silver 23


Bronze 53