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
Top Network Posts
- 40draw colored world/US map in LaTeX
- 37How to insert page number in Beamer Navigation Bars?
- 26matlab2tikz logo
- 25Your best snowflake with Tikz
- 16What is the typographically correct way to typeset name initials?
- 15How to draw Bar & Pie Chart
- 13How can I wipe TeX's memory of a user-defined control sequence?
- View more network posts →