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