12,455
reputation
27
58

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.

188
answers
30
questions
~505k
people reached

Top tags (180)

Score 312
Posts 65
Posts % 30
Score 159
Posts 19
Score 81
Posts 19
Score 57
Posts 6
Score 48
Posts 7
Score 33
Posts 15

Top posts (218) All Questions Answers | Votes Newest

View all questions and answers

Badges (85)

Gold

Silver

27

Rarest

Bronze

58

Rarest