Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl
  • Member for 10 years, 2 months
  • Last seen more than 4 years ago
Stats
15,045
reputation
553
reached
0
answers
1
question
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.

This user doesn’t have any gold badges yet.
10
silver badges
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %