Dr. Faried Abu Zaid

Professional Summary

Faried Abu Zaid holds a Dr. rer. nat. in Computer Science from RWTH Aachen University and has a distinguished record of research in artificial intelligence, machine learning, and the mathematical foundations of computer science. His experience includes teaching Machine Learning, Automata Theory, and Logic at TU Ilmenau and the appliedAI Institute for Europe. Faried is committed to advancing trustworthy AI and scientific machine learning, and actively contributes to the academic community through research, teaching, and mentorship.

Download CV

Education

PhD Computer Science

RWTH Aachen University

Diploma Computer Science

RWTH Aachen University

Interests

Probabilistic and Scientific Machine Learning Trustworthy AI Mathematical Foundations of Computer Science

Featured Publications

Neural Network Verification

VeriFlow: Modeling Distributions for Neural Network Verification

A new probabilistic framework for neural network verification, enhancing reliability and robustness.

Faried Abu Zaid

• Feb 1, 2026 • 1 min read

Anomaly Detection

On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification

Uniformly scaling flows for anomaly detection unify density faithfulness with distance-based reasoning.

Faried Abu Zaid

• Oct 13, 2025 • 1 min read

Simulation-Based Inference

sbi reloaded: a toolkit for simulation-based inference workflows

A collaborative open-source toolkit for simulation-based inference, supporting probabilistic modeling and efficient workflow management.

Jan Boelts

• Jan 1, 2025 • 1 min read

Recent Publications

Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner (2026). VeriFlow: Modeling Distributions for Neural Network Verification. AAAI-26.

Link DOI Project Preprint

Faried Abu Zaid, Tim Katzke, Emmanuel Neuer, Daniel Neider (2025). On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification. arXiv.

DOI Preprint

Jan Boelts, Michael Deistler, Manuel Glöckler, Álvaro Tejero-Cantero, Jan-Matthis Lueckmann, Guy Moss, Peter Steinbach, Thomas Moreau, Fabio Muratore, Julia Linhart, Conor Durkan, Julius Vetter, Benjamin Kurt Miller, Maternus Herold, Abolfazl Ziaeemehr, Matthijs Pals, Theo Gruner, Sebastian Bischoff, Nastya Krouglova, Richard Gao, Janne K. Lappalainen, Bálint Mucsányi, Felix Pei, Auguste Schulz, Zinovia Stefanidi, Pedro Rodrigues, Cornelius Schröder, Faried Abu Zaid, Jonas Beck, Jaivardhan Kapoor, David S. Greenberg, Pedro J. Gonçalves, Jakob H. Macke (2025). sbi reloaded: a toolkit for simulation-based inference workflows. JOSS.

PDF Link DOI Code

Faried Abu Zaid, Chris Köcher (2018). The Cayley-Graph of the Queue Monoid: Logic and Decidability. FSTTCS 2018.

PDF Link DOI

Faried Abu Zaid (2018). Uniformly Automatic Classes of Finite Structures. FSTTCS 2018.

PDF Link DOI

See all publications

Recent & Upcoming Talks