Thomas Flinkow

About

I'm a third-year PhD student in the Principles of Programming group at Maynooth University in Ireland.

My research area is formal verification of machine learning. I'm currently investigating ways to establish formal guarantees during training for correct-by-construction machine-learnt models.

I'm part of the Modular AI Verification and Visualisation (MAIVV) project, supervised by Rosemary Monahan and co-supervised by Barak A. Pearlmutter.
My work is supported by funding from Taighde Éireann – Research Ireland (grant 20/FFP-P/8853).

The best way to reach me is by email at .

Publications

All my publications should be on dblp, Google Scholar, and/or ORCiD.
Below are some selected publications:

Sep 2025
pdf code 		Comparing differentiable logics for learning with logical constraints

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
In Science of Computer Programming, 244, 103280.
doi: 10.1016/j.scico.2025.103280 

@article{flinkowComparingDifferentiableLogics2025,
  title         = {Comparing Differentiable Logics for Learning with Logical Constraints},
  author        = {Flinkow, Thomas and Pearlmutter, Barak A. and Monahan, Rosemary},
  year          = {2025},
  month         = sep,
  journal       = {Science of Computer Programming},
  volume        = {244},
  pages         = {103280},
  issn          = {0167-6423},
  doi           = {10.1016/j.scico.2025.103280},
}
iFM'24
pdf slides poster 		Towards Correct-by-Construction Machine-Learnt Models

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
In PhD Symposium at 19th International Conference on Integrated Formal Methods (iFM), Manchester, GB. 

@inproceedings{flinkowCorrectbyConstructionMachineLearntModels2024,
  title         = {Towards {{Correct-by-Construction Machine-Learnt Models}}},
  booktitle     = {Proceedings of the {{PhD Symposium}} at the 19th {{International Conference}} on Integrated {{Formal Methods}} in {{Manchester}} 2024 ({{iFM}} 2024), {{Manchester}}, {{United Kingdom}}, {{November}} 12, 2024},
  author        = {Flinkow, Thomas and Pearlmutter, Barak A. and Monahan, Rosemary},
  year          = {2024},
  month         = nov,
  series        = {{{CEUR Workshop Proceedings}}},
  volume        = {3860},
  pages         = {23--29},
  publisher     = {CEUR-WS.org},
}
TAP'24
pdf 		Cyclone: A New Tool for Verifying/Testing Graph-Based Structures: Tool Paper

Hao Wu, Thomas Flinkow, Dominique Méry
In Tests and Proofs: 18th International Conference (TAP), Milan, IT.
DOI: 10.1007/978-3-031-72044-4_6 

@inproceedings{wuCycloneNewTool2024,
  title      = {Cyclone: {{A New Tool}} for~{{Verifying}}/{{Testing Graph-Based Structures}}: {{Tool Paper}}},
  shorttitle = {Cyclone},
  booktitle  = {Tests and {{Proofs}}: 18th {{International Conference}}, {{TAP}} 2024, {{Milan}}, {{Italy}}, {{September}} 9--10, 2024, {{Proceedings}}},
  author     = {Wu, Hao and Flinkow, Thomas and M{\'e}ry, Dominique},
  editor     = {Huisman, Marieke and Howar, Falk},
  year       = {2024},
  month      = sep,
  series     = {Lecture Notes in Computer Science},
  volume     = {15153},
  pages      = {107--124},
  publisher  = {Springer-Verlag},
  address    = {Berlin, Heidelberg},
  doi        = {10.1007/978-3-031-72044-4_6},
  isbn       = {978-3-031-72043-7},
}

Talks

Sep 2024
slides 		Property-driven Machine Learning with Differentiable Logics (invited)

Heriot-Watt University Edinburgh, GB.
Aug 2024
slides 		Differentiable Logics for Machine Learning with Logical Constraints in Practice (invited)

IT-University of Copenhagen, DK.

Academic Service

Member of the Organising Committee for:
Member of the Program Committee / Reviewer for: