I am a post-doctoral fellow in Theoretical Computer Science at Imperial College London.
My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.
Top network posts
- 121 How to insert page number in Beamer navigation symbols?
- 77 draw colored world/US map in LaTeX
- 30 matlab2tikz logo
- 29 How to draw Bar & Pie Chart
- 27 How to center one node exactly between two others with TikZ?
- 26 Your best snowflake with Tikz
- 23 What is the typographically correct way to typeset name initials?
- View more network posts →