My
projects

My
publications

My
research interests

Theory

Formal Verification

Programming Languages

Other

My
career

My
technical skills

Programming Languages

Frameworks

Web Technologies

Typesetting

Build and Deployment

My
academic grades

MSc

2018-2019

2017-2018

BSc

2015-2016

2014-2015

2013-2014

2012-2013

2011-2012

2010-2011

My
contact info

Follow Me