5,964 reputation
734
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 4 months
seen 17 mins ago

I am a PhD student with strong interest in research.

My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.

Check out my package for multi-author commenting: https://github.com/bordaigorl/latex-commenting


31
Jun 4 '14 at 16:11
23
Dec 19 '13 at 0:05
22
Sep 26 '13 at 10:22
11
Sep 27 '13 at 18:48
10
May 20 '14 at 11:06
8
Apr 18 '14 at 9:51
5
Jul 10 '14 at 8:03
5
Jun 14 '14 at 19:23
4
Sep 17 '14 at 22:57