5,387 reputation
533
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 1 month
seen 29 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


140
× 41
26
× 2
42
× 15
26
38
× 11
26
28
× 5
26
27
× 2
23
TeX - LaTeX 5,387 rep 533
Computer Science 186 rep 6
Ask Ubuntu 108 rep 6
Stack Overflow 101 rep 3
Photography 101 rep 2

272 Votes Cast

all time   by type   month   week   day
267 up 94 question 36 12 2
5 down 178 answer