My
projects

My
Publications

My
Technical Reports

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

2018-2019

2017-2018

2015-2016

2014-2015

2013-2014

2012-2013

2011-2012

2010-2011

My
contact info

  • Edinburgh, Scotland
  • Orestis Melkonian
  • (λx. x@gmail.com) melkon.or

Follow Me