Bordaigorl
  • Member for 7 years, 2 months
  • Last seen more than a month ago
Stats
415
reputation
1k
reached
2
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.
4
silver badges
12
bronze badges
5
Score
1
Posts
33
Posts %
5
Score
1
Posts
33
Posts %
5
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %