معرفی
Luigia Petre is a Senior University Lecturer at the Faculty of Science and Engineering, Åbo Akademi University, Finland. Her work spans formal methods, safety-critical systems, and interdisciplinary applications in healthcare and gravitational wave science.
- Current Role: Senior University Lecturer in Information Technology
- Email: luigia.petre@abo.fi
Research Interests: She specializes in:
- Formal methods for system design
- Modeling biological networks using Event-B
- Machine learning applications in gravitational wave detection
- Software quality education frameworks
- Resilient control systems
- Healthcare system prototyping
Publication Trends: Recent articles focus on convolutional autoencoders for anomaly detection in wave data, scalable reaction network modeling, and educational approaches to software quality. Her work bridges theoretical formal methods with practical applications across astrophysics, biomedical engineering, and distributed systems.
Projects: She has led and collaborated on Finnish and EU projects like FResCo and ADVICeS, emphasizing dependable system engineering.