Hi again! My name is Manolis. I have studied Computer Science at Aristotle University of Thessaloniki and I’m currently working as a Compiler Engineer on GCC.

I like programming. In particular, I enjoy (roughly sorted from most to least exciting):

  • Compilers, interpreters, virtual machines and JITs.

  • Performance analysis and optimization of programs.

  • Assembly and low-level programming.

  • SAT/SMT solvers and static program analysis.

  • Studying programming languages and instruction sets.

  • Physics engines and simulation.

  • Graphics and Math.

I don’t have strong preferences for programming languages, but I have been using C++ almost exclusively for the past few years. Although it leaves a lot to be desired, I find C\++ to be a great language.

Projects

I love building things, and while a lot of them remain partially finished, here’s a list of some projects I am working or have worked on:

  • I’m building a set of optimized libraries for modeling boolean functions, circuits, constraints and a SAT/SMT solver based on these.

  • A number of failed compilers, programming languages, interpreters and virtual machines.

  • An optimized fork of Box2D as part of my dissertation (mtsamis/box2d-optimized). It was a lot of fun, but I don’t maintain it anymore. It is obsolete as Erin Catto is working on Box2D v3.

  • In my previous life (distant past) I developed two video games, Spaceport Hope and External Visions, for which I have a lot of fun stories to share.

Contact

You can reach out to me via email at [email protected]

My LinkedIn profile is Manolis Tsamis

Other

I play the piano and some chess. I have a cat named "Troufa" (or equally "Truffle").