13,737
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
~579k
people reached

Top tags (183)

Score 332
Posts 65
Posts % 30
Score 174
Posts 19
Score 82
Posts 19
Score 63
Posts 6
Score 53
Posts 7
Score 37
Posts 15

Top posts (220)

View all questions and answers

Badges (86)

Gold

1

Rarest

Silver

27

Rarest

Bronze

58

Rarest