Dr. Ioanna Matilde
Dimitriou Henríquez
freenode.net: ioa
Software, Logic, Lisp

hello, world!

I'm Ioanna, a software engineer in Bonn. Welcome to my homepage.


about me

Short version:

I'm a software engineer, a doctor in mathematical logic, and I'm greek chilean, thus the two first names and two last names. I've taught a lot, and I've worked on set theory, medical statistics, formal proving (maths), graphing software, frontends and backends, search engines, container software, and networking software, among other smaller projects. Currently I'm an Igalian, working with the compilers team of Igalia. Now it's hard for me to think about anything other than compilers, a truly applied logic part of programming.

In some more detail:

My favourite languages, vaguely ordered: Common Lisp, Scheme, WebAssembly, R, OCaml, APL (yes, APL), Python, Haskell, Shell (love and hate), and as a logician of course lambda calculus (untyped as a set theorist and typed as a formalist).

I speak four human languages: Greek, English, German, Spanish, and I can still understand some Dutch.

software projects

An incomplete list of my software projects. For my logic and for my statistics projects see publications.


A toy compiler of the untyped lambda calculus into common lisp (so far), written in common lisp, with an interpreter and a user interface (UI). The UI includes two REPLs and a viewer of all available transformations, or representations, of a user-input λ term. Showcases representations of lambda terms in my quest to understand compilers.


A diagram maker for relationships between certain axioms of set theory.


Dependency grapher for Common Lisp projects.


Group project:
With the mathematical logic group of Bonn, that is Prof. Koepke and 11 bachelors and masters students doing a formal mathematics internship, we did a formalisation of von Neumann-Bernays-Gödel Set Theory of classes in Isabelle.

my repositories

For more software projects take a look here:

peer-reviewed publications

All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters, Arthur Apter, Ioanna Dimitriou, and Peter Koepke, Mathematical Logic Quarterly 62(3), 225-231 (2016)

Inter-locus as well as intra-locus heterogeneity in LINE-1 promoter methylation in common human cancers suggests selective demethylation pressure at specific CpGs, Nicole Nüsgen, Wolfgang Goering, Albertas Dauksa, Arijit Biswas, Muhammad Ahmer Jamil, Ioanna Dimitriou, Amit Sharma, Heike Singer, Rolf Fimmers, Holger Fröhlich, Johannes Oldenburg, Antanas Gulbinas, Wolfgang A Schulz, Osman El-Maarri, Clinical Epigenetics, 7(1):17 (2015)

The first measurable cardinal can be the first uncountable cardinal at any sucessor height , Arthur Apter, Ioanna Dimitriou, and Peter Koepke, Mathematical Logic Quarterly vol.60: 471-486 (2014)

Sets of good indiscernibles and Chang conjectures without choice , Ioanna Dimitriou, in Geschke, Löwe, Schlicht, eds., Infinity, Computability, and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, Templeton Press (Online) and College Publications, Tributes vol.23: 113–137 (2014)

Characterization of different courses of atopic dermatitis in adolescent and adult patients , Garmhausen D, Hagemann T, Bieber T, Dimitriou I, Fimmers R, Diepgen T, Novak N. Allergy vol.68(4): 498-506 (2013)

Symmetric Models, Singular Cardinal Patterns, and Indiscernibles , Ioanna M. Dimitriou, Bonn, Univ., Diss., 2011, URN:5N-27778

Inaccessible cardinals without the axiom of choice , Andreas Blass, Ioanna M. Dimitriou, and Benedikt Löwe Fundamenta Mathematicae vol.194: 179-189 (2007)

Strong limits and inaccessibility with non-wellorderable powersets , Ioanna M. Dimitriou, Master of Logic thesis. Supervisor: Dr.Benedikt Löwe. ILLC publication series MoL-2006-3

PDL for Ordered Trees , Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, and Maarten de Rijke. Journal of Applied Non-Classical Logics 15(2): 115-135 (2005) b