14,087
reputation
1
30
63

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
~646k
people reached

Top tags (183)

Score 340
Posts 65
Posts % 30
Score 186
Posts 19
Score 82
Posts 19
Score 65
Posts 6
Score 57
Posts 7
Score 40
Posts 10

Top posts (220)

View all questions and answers

Badges (94)

Gold

1

Rarest

Silver

30

Rarest

Bronze

63

Rarest