5,387 reputation
533
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 1 month
seen yesterday

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