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
- 23Your best snowflake with Tikz
- 23matlab2tikz logo
- 19How to insert page number in Beamer Navigation Bars?
- 15What 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 →