13,977
reputation
1
30
60

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

Top tags (183)

Score 337
Posts 65
Posts % 30
Score 183
Posts 19
Score 82
Posts 19
Score 65
Posts 6
Score 55
Posts 7
Score 39
Posts 15

Top posts (220)

View all questions and answers

Badges (91)

Gold

1

Rarest

Silver

30

Rarest

Bronze

60

Rarest