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


Dec
15
comment Using node after pic results in error in TikZ
I still think @percusse's trick can be very helpful as a workaround for simple cases and should be added as an answer either here or in the related question
Dec
15
comment Using node after pic results in error in TikZ
@TonioElGringo has it been reported as a bug already? Should I open a ticket somewhere?
Dec
15
comment Using node after pic results in error in TikZ
@percusse ah that's great! If you post it as an answer I'll accept it gladly. Is there any mention of this in the manual? The reason for this misbehaviour is still not clear to me...
Dec
15
asked Using node after pic results in error in TikZ
Dec
12
reviewed Close Where is CWEB tutorial?
Dec
12
reviewed Close mathcal and mathscr both generate the same
Dec
12
awarded  Civic Duty
Dec
12
reviewed Close TikZ correspondence between two levels
Dec
11
reviewed Close How to draw a shape like file archives?
Dec
11
reviewed Looks OK β is converted to â in
Dec
11
reviewed Close How to make refcheck work with autoref?
Dec
10
reviewed Close epstopdf error: /undefined in LanguageLevel
Dec
10
reviewed Close Call GNU Make from AucTeX
Dec
9
reviewed Edit Arrow disappearing
Dec
9
revised Arrow disappearing
added arrows tag
Dec
9
reviewed Approve Progressive tikz picture in beamer
Dec
9
reviewed Reject Successively reveal tree bottom up
Dec
9
reviewed Approve problem with tikz-qtree
Dec
8
reviewed Leave Open How to create a square-root symbol in non-math mode
Dec
8
comment Defining a new list with enumitem that uses ref from surrounding environment
Very nice trick! Great for consistency. Thanks!