A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
246
reputation
1
6

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.

3
answers
0
questions
~603
people reached

Top tags (9)

Score 7
Posts 2
Posts % 67
Score 7
Posts 2
Score 5
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

1

Rarest

Bronze

6

Rarest