Luigia Petre
General Information
- Adjunct Professor in Computer Science at Åbo Akademi University, Faculty of Science and Engineering. In Swedish: Akademilektor
- Member in the COST Action 20111: European Research Network on Formal Proofs, 2021-2025
- Training Coordinator in COST Action 20111, 2021 –
- Member in the COST Action 17137: A network for Gravitational Waves, Geophysics and Machine Learning, 2018-2022
- Leader of the Workgroup 3 WG3 - Machine Learning for Advanced Control Techniques of the COST Action 17137, 2019-
- 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
- Machine learning and data science
- 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
- Network modelling and analysis
- Smart electrical grids
- Network-on-chip architectures
- Wireless sensor-actor networks
- Multi-core systems
Forthcoming or recent events
Past Projects
- 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 and Fimecc
- Partners: France, UK, Germany, Romania, Finland, Switzerland and Spain
- NODES: Network on Dependable Systems, 2007-2012, Nordforsk
Scientific activities
- Brijesh Dongol, Luigia Petre, Graeme Smith, Eds. 3rd International Workshop and Tutorial on Formal Methods Teaching (FMTea 2019), October 2019, LNCS 11758, Springer-Verlag.
- Luigia Petre and Emil Sekerinski, Eds. From Action Systems to Distributed Systems – the Refinement Approach. CRC Press, June 2016.
- Luigia Petre, Michael Butler, Einar Broch Johnsen, Eds. “Integrated Formal Methods” Special Issue of Formal Aspects of Computing journal at Springer: Vol. 27, Issue 4, July 2015.
- Luigia Petre and Einar Broch Johnsen, Eds. “Integrated Formal Methods” theme issue of Software and Systems Modeling journal at Springer: Vol. 15, Issue 4, October 2016.
- Luigia Petre and Einar Broch Johnsen. 10th International Conference on integrated Formal Methods, June 2013, LNCS 7940, Springer-Verlag.
- Luigia Petre and Marina Waldén, Eds. Special Issue of the Journal of Logic and Algebraic Programming (JLAP), dedicated to the best papers from NWPT’10: April 2012, Vol. 81, Issue 3, Elsevier.
- Luigia Petre, Michael Butler and Kaisa Sere, Eds. 3rd International Conference on Integrated Formal Methods (IFM’2002), May 2002, LNCS 2335, Springer-Verlag.
- Program Committee membership, selected
- QUATIC 2022: 15th International Conference on the Quality of Information and Communications Technology; Track of Software Quality Education and Training in Academia and Industry, September 2022
- TAP22: 16th International Conference on Tests and Proofs, July 2022
- iFM2022: 17th International Conference on integrated Formal Methods, June 2022
- FMTea21: Formal Methods Teaching Workshop and Tutorial, November 2021 (online)
- iFM 2020: 16th International Conference on integrated Formal Methods, Lugano, Switzerland, November 2020 (online)
- ABZ 2021 and ABZ 2020: 8th and 7th International Rigorous State-Based Methods Conference, Ulm, Germany, May 2020
- FMTea19: Formal Methods Teaching Workshop and Tutorial, Porto, Portugal, October 2019 – co-chair of the workshop. Event affiliated with FM 2019, 3rd World Congress on Formal Methods
- PhD Symposiun at iFM 2018, Maynooth, Ireland, September 2018
- ABZ 2018: 6th International ABZ Conference, on ASM, Alloy, B, TLA, VDM, Z, Southampton, UK, June 2018
- TASE 2016: 10th International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, July 2016
- ABZ 2016: 5th International ABZ Conference, on ASM, Alloy, B, TLA, VDM, Z, Linz, Austria, May 2016
- ABZ 2014: PC member and workshops co-chair of the 4th International ABZ 2014 Conference, on ASM, Alloy, B, TLA, VDM, Z, Toulouse, France, June 2014
- Integrated Formal Methods conference: IFM’2002, IFM’2004, IFM’2005, IFM 2007, iFM 2012, iFM 2013, iFM 2014, iFM 2017, iFM 2018, iFM 2019
- First opponent for the PhD thesis of Shiji Bijo, Universiry of Oslo, May 2021
- Grading Committee member for the PhD thesis of MSc Predrag Filipovikj, Mälardalen University, Sweden, June 2019
- Opponent for the Licentiate thesis of MSc Raluca Marinescu, Mälardalen University, Sweden, 2014
- Opponent for the PhD thesis of MSc Iulia Banu, University of Bucharest, Romania, 2014
- Opponent for the PhD thesis of MSc Silvia Lizeth Tapia Tarifa, University of Oslo, Norway, 2014
- Examination Committee member for the PhD thesis of MSc David Byers, Linköping University, Sweden, 2013
- External reviewer for the PhD thesis of MSc Johanna Tuominen, University of Turku, Finland, 2009
- Organization committee membership
- Organization Committee Chair of iFM 2013: 10th International Conference on integrated Formal Methods, Turku, Finland, June 10-14, 2013
- Organizer of the NODES Winter School and Seminar, Turku, Finland, February 1-3, 2012
- Co-organizer of the NWPT’10 workshop: 22nd Nordic Workshop on Programming Theory, Turku, Finland, November 10-12, 2010
- Co-organizer of the FM’08 symposium: The 15th International Symposium on Formal Methods, Turku, Finland, 26-30.5.2008
- Co-organizer of NODES 07, NODES 08, NODES 09 workshops
- Co-organizer of the Third International Conference on Integrated Formal Methods (IFM’2002), held in Turku, Finland, May 15 – 17, 2002
Publications
Students
- Usman Sanwal - online PhD defence on 17.4.20
- Mojgan Kamali – PhD Defence on 23.8.19
- Petter Sandvik – PhD defence on 13.11.15
- Maryam Kamali – PhD defence on 13-9-13
- Mats Neovius – PhD defence on 26.\\.12
- 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)
Teaching 2021-22
History
Luigia Petre is a docent (the equivalent of Habilitation in Central Europe) in Computer Science with focus on Networked Systems since 2012. She has obtained her PhD in Computer Science in 2005, from the Faculty on Mathematics and Natural Sciences at Åbo Akademi University.
Luigia was born in Romania.
Contact info
- Visiting Address: Faculty of Science and Engineering, Åbo Akademi University, the Agora building, 3rd floor, room 340I, Vesilinnantie 5, 20500 Turku, Finland.
- Postal Address: Faculty of Science and Engineering, Åbo Akademi University, Information Technology, the Agora building, Domkyrkotorget 3, 20500 Åbo, Finland.
- Email: luigia.petre at abo.fi
Last updated: 14.1.22.
