Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl
  • Member for 10 years, 5 months
  • Last seen more than 1 year ago
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
7
bronze badges
0
Score
3
Posts
60
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
Top posts