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
11,867
reputation
25
56

Bordaigorl

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.

185
answers
30
questions
~433k
people reached

Top Tags (180)

Score 300
Posts 64
Posts % 30
Score 143
Posts 19
Score 81
Posts 19
Score 53
Posts 6
Score 43
Posts 7
Score 29
Posts 15

Top Posts (215) All Questions Answers | Votes Newest

View all questions and answers

Badges (81)

Gold

Silver

25

Rarest

Bronze

56

Rarest