user avatar
user avatar
user avatar
Bordaigorl
  • Member for 8 years, 8 months
  • Last seen this week
Stats
14,582
reputation
726k
reached
189
answers
32
questions
Loading…
About

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
gold badge
32
silver badges
65
bronze badges
355
Score
66
Posts
30
Posts %
204
Score
19
Posts
9
Posts %
82
Score
19
Posts
9
Posts %
66
Score
6
Posts
3
Posts %
62
Score
7
Posts
3
Posts %
42
Score
10
Posts
5
Posts %
Top posts
View all questions and answers