5,789 reputation
734
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 3 months
seen 7 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


314
420
votes
40
answers
178k
views
16
28
votes
4
answers
4k
views
2
6
votes
0
answers
88
views

TikZ library creation

jun 15 at 18:54 s__C 1,252