13,347
reputation
1
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
32
questions
~528k
people reached

Top tags (183)

Score 315
Posts 65
Posts % 30
Score 166
Posts 19
Score 81
Posts 19
Score 58
Posts 6
Score 49
Posts 7
Score 33
Posts 15

Top posts (220) All Questions Answers | Votes Newest

View all questions and answers

Badges (86)

Gold

1

Rarest

Silver

27

Rarest

Bronze

58

Rarest