133
reputation
1
7

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
4
questions
~3k
people reached

Top tags (12)

Score 0
Posts 3
Posts % 60
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1

Top posts (5) All Questions Answers | Votes Newest

Badges (8)

Gold

Silver

1

Rarest

Bronze

7

Rarest