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