Reijo Jaakkola

Email: reijo.jaakkola[at]tuni.fi

Curriculum Vitae | LinkedIn

I'm a third year PhD student in mathematics at Tampere University, where I'm supervised by Antti Kuusisto and Lauri Hella.

Publications

  1. Short Boolean Formulas as Explanations in Practice [Preprint][Paper]

    Joint work with Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh and Miikka Vilander.

    18th Edition of the European Conference on Logics in Artificial Intelligence, September 20-22, 2023, Dresden, Germany

  2. Relating Description Complexity to Entropy [Preprint][Paper]

    Joint work with Antti Kuusisto and Miikka Vilander

    40th International Symposium on Theoretical Aspects of Computer Science, Mar 7-10, 2023, Hamburg, Germany

  3. Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability [Preprint][Paper]

    Computer Science Logic 2023, February 13-16, 2023, Warsaw, Poland

  4. Complexity Classifications via Algebraic Logic [Preprint][Paper]

    Joint work with Antti Kuusisto.

    Computer Science Logic 2023, February 13-16, 2023, Warsaw, Poland

  5. Explainability via Short Formulas: the Case of Propositional Logic with Implementation [Preprint][Paper]

    Joint work with Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh and Miikka Vilander.

    29th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion", September 5, 2022, Genova, Italy

  6. Towards Model Theory of Ordered Logics: Expressivity and Interpolation [Preprint][Paper]

    Joint work with Bartosz Bednarczyk.

    47th International Symposium on Mathematical Foundations of Computer Science, August 22-26, 2022, Vienna, Austria

  7. Uniform Guarded Fragments [Preprint][Paper]

    25th International Conference on Foundations of Software Science and Computation Structures, April 2-7, 2022, Munich, Germany

  8. Ordered Fragments of First-Order Logic [Preprint][Paper]

    46th International Symposium on Mathematical Foundations of Computer Science, August 23-27, 2021, Tallinn, Estonia

Preprints

  1. A monotone connection between model class size and description length (Joint work with Antti Kuusisto and Miikka Vilander) [Preprint]
  2. Convergence in the space of compact labeled metric spaces (Joint work with Antti Kykkänen.) [Preprint]
  3. First-order logic with self-reference (Joint work with Antti Kuusisto.) [Preprint]

Notes

  1. An Extension of Trakhtenbrot's Theorem [Note]
  2. Complexity of the Ackermann fragment with one leading existential quantifier [Note]

Talks

  1. Uniform guarded fragments: interpolation and complexity [Slides]

    Workshop on Theory and Applications of Craig Interpolation and Beth Definability, April 22-23, 2024, Amsterdam, Netherlands

  2. Formulas of propositional logic as interpretable classifiers [Slides]

    Mathematical Perspective on Machine Learning, University of Helsinki, Finland, 9 April 2024

  3. Why do overparameterized neural networks generalize? [Slides]

    Seminar for young researchers, University of Jyväskylä, Finland, 6 March 2024

  4. Explaining Classifiers and Data via Propositional Logic [Slides]

    Logic seminar, University of Helsinki, Finland, 22 November 2023

  5. First-Order Logic with Game-Theoretic Recursion [Slides]

    Logic seminar, University of Helsinki, Finland, 20 April 2023

  6. The Asymptotic Equipartition Property

    Seminar for young researchers, University of Jyväskylä, Finland, 29 March 2023

  7. Relating Description Complexity to Entropy [Slides]

    Research Seminar Logic and AI, TU Dresden, March 16, 2023, Dresden, Germany

  8. First-Order Logic with Game-Theoretic Recursion [Slides]

    Fixed Points in Computer Science 2023, February 17, 2023, Warsaw, Poland

  9. Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability [Slides]

    Computer Science Logic 2023, February 13-16, 2023, Warsaw, Poland

  10. Complexity Classifications via Algebraic Logic [Slides]

    Computer Science Logic 2023, February 13-16, 2023, Warsaw, Poland

  11. First order logic with game-theoretic recursion II

    Logic and discrete mathematics seminar, Tampere University, Finland, 13 January 2023

  12. Nopeat algoritmit ja laskennallinen vaativuus teoria (Invited talk)

    [Slides in Finnish]

    IntegraatioFest 2022, October 28-30, Tampere, Finland

  13. First-order logic with self-reference [Slides]

    PhDs in Logic XIII, September 5-7, 2022, Turin, Italy

  14. Uniform Guarded Fragments [Slides]

    25th International Conference on Foundations of Software Science and Computation Structures, April 2-7, 2022, Munich, Germany

  15. Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability

    Logic and discrete mathematics seminar, Tampere University, Finland, 25 March 2022

  16. Undecidability of the Halting Problem and Gödel's Incompleteness Theorems. [Slides][Video]

    What is Computation? From Turing Machines to Black Holes and Neurons, Harvard GSAS Mini-Course, January 2022

    Course website

  17. Ordered fragments of first-order logic [Slides]

    Finnish Mathematical Days 2022

  18. What is a fragment? [Slides]

    Philosophy of Mathematics in Finland, Tampere, Finland, November 2021

  19. Interpolation and fragments of first-order logic

    Logic and discrete mathematics seminar, Tampere University, Finland, 24 September 2021

  20. Ordered fragments of first-order logic [Slides]

    46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, August 2021

  21. Extensions of two-variable logic [Slides]

    Logic and discrete mathematics seminar, Tampere University, Finland, 11 December 2020

  22. Algebraic classifications for fragments of first-order logic and beyond [Slides]

    Logicians' Spring Gathering 2020, Tampere University, Finland, 8 May 2020

Thesis

  1. Algebraic Fragments of First-Order Logic [Thesis]

    Master's thesis, Tampere University, 2021, 45 pages

Awards

  1. Best Tech Solution - Unlocking ESG Insights

    Hanken Quantum Hackathon 2023 [Website]

  2. 2022 Ernst Lindelöf Prize

    Awarded for the best master's thesis in mathematics written in Finland during the academic year 2021-2022.

Professional service

  1. I organized a session for Young Researchers at the Finnish Mathematical Days 2024. The goal of the session was twofold: (1) to provide an opportunity for PhD students to present their research area within mathematics; and (2) to showcase modern research topics in mathematics within Finland. List of talks can be found here.

  2. I have been a reviewer for AAMAS 2022, IJCAI 2023, KR 2023, MFCS 2023, JELIA 2023, GandALF 2023, AAAI 2024, LICS 2024.

Quotes that I like

  1. But what we can't say we can't say, and we can't whistle it either.

    Frank Ramsey

  2. Young man, in mathematics you don't understand things. You just get used to them.

    John von Neumann

Self-portrait