143
reputation
5

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.

1
answer
1
question
~171
people reached

Top tags (5)

Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (5)

Gold

Silver

Bronze

5

Rarest