375
reputation
3
12

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.

2
answers
1
question
~999
people reached

Top tags (9)

Score 5
Posts 1
Posts % 33
Score 5
Posts 1
Score 5
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (15)

Gold

Silver

3

Rarest

Bronze

12

Rarest