Patrick Indri

Patrick Indri is a PreDoc Researcher at the Department of Informatics, Technische Universität Wien, specializing in machine learning and its intersections with formal methods and data privacy. His work focuses on graph neural networks, robustness verification, and temporal logic applications.

• Education: MSc degree holder

Research Interests:

• Expressive Graph Neural Network architectures for specialized graph types
• Differential Privacy integration in graph-based learning systems
• Robustness Certification with probabilistic guarantees
• Temporal logic applications in Cyber-Physical Systems anomaly detection

Key Projects include the StruDL (2023–2027) initiative exploring structured deep learning. His publications demonstrate expertise in both foundational machine learning and applied formal verification techniques.