6,216 reputation
735
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 5 months
seen 35 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


158
× 45
32
49
× 16
32
48
× 12
32
33
× 2
29
× 5
32
× 2
23
TeX - LaTeX 6,216 rep 735
Computer Science 191 rep 6
Ask Ubuntu 108 rep 6
Stack Overflow 101 rep 3
Photography 101 rep 2

341 Votes Cast

all time   by type  
335 up 127 question
6 down 214 answer