Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl
  • Member for 8 years, 5 months
  • Last seen more than 2 years ago
Stats
246
reputation
847
reached
3
answers
0
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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
7
Score
2
Posts
67
Posts %
7
Score
2
Posts
67
Posts %
5
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
Top posts