معرفی
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.
۰مقاله ثبتشده
Patrick Indri در جاهای دیگر
جستجوهای مرتبط
شاید اینها هم به کارتان بیاید
- DDavid PenzVienna University of Technology · پژوهشگر
- TTamara DrucksVienna University of Technology · پژوهشگر
- AAlexander PluskaVienna University of Technology · پژوهشگر
- SSarah Sophie SallingerVienna University of Technology · پژوهشگر
- SSimon JeanteurVienna University of Technology · پژوهشگر
Sophie NeubauerVienna University of Technology · پژوهشگر