4,494 reputation
226
bio website
location Oxford, United Kingdom
age
visits member for 1 year
seen 9 hours 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


106
× 33
24
36
× 14
24
32
× 10
24
25
× 2
23
24
× 2
22

214 Votes Cast

all time   by type   month   week  
210 up 69 question 25 12
4 down 145 answer