12,295
reputation
25
57

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.

187
answers
30
questions
~486k
people reached

Top tags (180)

Score 308
Posts 64
Posts % 29
Score 156
Posts 19
Score 82
Posts 19
Score 56
Posts 6
Score 48
Posts 7
Score 32
Posts 10

Top posts (217) All Questions Answers | Votes Newest

View all questions and answers

Badges (82)

Gold

Silver

25

Rarest

Bronze

57

Rarest