4,504 reputation
11
bio website
location Oxford, United Kingdom
age
visits member for 1 year
seen Feb 17 at 16:22

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


This user has not answered any questions
This user has not participated in any tags
This user has not asked any questions

19 Votes Cast

all time   by type  
19 up 8 question
0 down 11 answer