Skip to main content
Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl
  • Member for 10 years, 10 months
  • Last seen this week
Stats
15,215
reputation
888k
reached
189
answers
34
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
37
silver badges
68
bronze badges
365
Score
66
Posts
30
Posts %
230
Score
19
Posts
9
Posts %
85
Score
20
Posts
9
Posts %
68
Score
6
Posts
3
Posts %
65
Score
7
Posts
3
Posts %
44
Score
10
Posts
4
Posts %
Top posts
View all questions and answers