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