one part Engineer, one part Scientist, all parts PhD in Computer Science
I’m interested in designing and developing high-level programming abstractions, derived from operational fragments of logics, process calculi or other declarative programming models, and deploying them as full-fletched parser-compilers, combinator libraries or Restful web-service APIs. Having worked with abstractions for various domains, from event-based/rule-based concurrency, Android test generation & scripting, to big-data computation models, I strive to find sweet-spots that balance between conciseness and expressiveness, empowering programmers with the right tools and enable them to function at their best.