14,137
reputation
7
4
Bordaigorl
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.
0
answers
1
question
~527
people reached
-
London, UK
-
Member for 7 years, 9 months
-
2 profile views
-
Last seen Jul 3 '19 at 21:08
