George Karachalias

What is necessary to change a person is to change his awareness of himself.


Abraham Maslow

About me

I am a software engineer and researcher working for Tweag. My interests lie in the area of programming language design and implementation, with a strong focus on purely functional languages. Though I love all programming languages (maybe with the exception of PHP), I have a tender spot in my heart for Haskell.

As an engineer, I spend most of my time working on Asterius, the Haskell-to-WebAssembly compiler maintained by Tweag. As a researcher, I focus on the design and implementation of type inference and elaboration algorithms for advanced type systems.

In my free time I enjoy reading literature, discovering music, carving smoking pipes, and hiking in nature with my wife and our adorable dog; we love things that grow, so most of the time we surround ourselves with plants and trees!

Past Activities

In 2018 I obtained my Ph.D. from KU Leuven, where I worked with Prof. Tom Schrijvers on extensions to type classes and pattern match checking. After that, as a PostDoc under the advice of Tom, I continued doing research on PL-related topics (type-and-effect systems, disjoint intersection types, ...), before finally joining Tweag with an aspiration to apply my knowledge to real-life problems. In the distant past I graduated from the School of Electrical and Computer Engineering at the National Technical University of Athens, where I worked with Prof. Nikolaos Papaspyrou on the exhaustiveness checking of pattern matching with GADTs.