About Luigia
Luigia Petre obtained her PhD in Computer Science in 2005, from the Faculty on Mathematics and Natural Sciences at Åbo Akademi University. She is a docent (equivalent to “Habilitation” in Central Europe) in Computer Science since 2012 and is currently working as Associate Professor in Computer Science at Åbo Akademi University, Faculty of Science and Engineering. In Swedish: Äldre universitetslektor.
Luigia was born in Romania.
Visit my Research Page.
- Machine Learning
- Formal Methods
- Machine Learning Explainability
- Teaching Methods
PhD in Computer Science on Formal Modeling Techniques, titled "Modeling with Action Systems", 2005
Åbo Akademi University
More about Luigia
- Leader of the Workgroup 3 WG3 - Machine Learning for Advanced Control Techniques of the COST Action 17137, 2019.
- Member in Formal Methods Europe (FME) member, 2017. - ACM member , 2018.
- FME Teaching Committee Chair , 2017
- Coordinator of the International Master's program in Computer Science at Åbo Akademi University , 2014 – 2016, 2021-.
- Academic Advisor for the International Master's program in Computer Science at Åbo Akademi University , 2018- .
- On sabbatical at University of South Florida , Tampa, US, during 1.8.2017-30.6.2018. Project "Ref-Adapt: Refinement-Based Modeling for Adaptive Networks", funded by the Ella and Georg EhrnroothFoundation.
Research Interests
Personalized medicine Gravitational waves Nuclear Physics A few Machine learning Methods @2020 Training School, COST Action 17137 on Gravitational Waves, Geophysics and Machine Learning, Malta, March 2020.
Refinement-based methods for software development Integration of formal methods
Smart electrical grids Network-on-chip architectures Wireless sensor-actor networks Multi-core systems
Projects
COST Actions: COST (European COoperation in Science and Technology) is a funding organization for research networks.
- G2NET (2018-2023)
- EuroProofNet (2021-2025)
Ella and Georg Ehrnrooth Foundation’s research grant –> Ref-Adapt: Refinement-Based Modeling for Adaptive Networks, July-December 2017
Harry Elvings legat Foundation’s research grant for travelling abroad, July-December 2017
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems, 2013-2015, Academy of Finland.
- Partners: Åbo Akademi University, University of Eastern Finland, Digile, CLEEN, Fimecc
Deploy-Enlarged (2010-2012): extension of FP7 Deploy project, 2008-2012, EU.
- Partners: France, UK, Germany, Romania, Finland, Switzerland, Spain
NODES: Network on Dependable Systems, 2007-2012, Nordforsk.
- Partners: Finland, Sweden, Denmark, Norway, Estonia
Publications
Via Åbo Akademi University . Via dblp . Via Google Scholar .
Forthcoming Events
FASE 2024
FMTea 2023: Formal Methods Teaching Workshop: Event affiliated with FM 2023, 25th International Symposium on Formal Methods Invited speaker: Event affiliated with FM 2023, 25th International Symposium on Formal Methods Registration: Event affiliated with FM 2023, 25th International Symposium on Formal Methods Preliminary Program
FSEN 2023: 10th IPM International Conference on Fundamentals of Software Engineering (FSEN 2023) 3 - 5 May, 2023 Tehran, Iran
ABZ 2023: Date: May 30, 2023 — Jun 2, 2023, Event: 9th International Conference on Rigorous State-Based Methods, Location: Nancy, France
Teaching and supervision
Software Quality- Period 1 , System Safety- Period 2 , Tools for Reliable Software Construction Period 3
Frankie Spencer (Present), Usman Sanwal (17.4.20), Mojgan Kamali (13.11.15), Petter Sandvik(13.11.15), Maryam Kamali (13.9.13), Mats Neovius (26.11.12)
Rasmus Bogel (2024), Shahnoor Shahnoor(2023), Sujan Shrestra(2023), Evan Roman(2023), Joel Sjöberg (2021), Olav Lillerovde (2020), Thang Ngo Minh (2020), Gohar Shah (2017), Olujuwon Alabi (2016), Sushil Pandey (2015), Karl Herler (2014), Joseph Aduayi-Akue (2014), Obe Olabode (2014), Abdoulie Sidibeh (2013), Haider Raza (2012), Mustafa Hassan (2009), Raluca-Maria Indre (2008), Jonas Olme (2007), Laura Nummila (2006), Patrik Herrgård (2002)
Scientific Activities
- Member of the “Computer and Information Sciences and Informatics” evaluation panel, at FCT (Fundação para a Ciência e a Tecnologia) 2022 and 2021 call for R&D projects, Portugal
- Steering Committee member for the integrated Formal Methods conference since 2014.
- Tutorial Co-chair at the 24th Formal Methods Symposium, Beijing, China, November 2021
Contact
- luigia.petre@abo.fi
- Vesilinnantie 5, Turku, 20500
- Enter Building Agora and take the stairs or lift to Office 3401 on Floor 3
- Monday 10:00 to 13:00Wednesday 09:00 to 10:00
- Zoom