- Institution
- Alexandru Ioan Cuza University of Iași, Professor Emeritus
- Faculty of Computer Science, Doctoral School, PhD Supervisor
- Pi2 Labs, Seasonal Research Collaborator
- dorel.lucanu@info.uaic.ro
- dorel.lucanu@gmail.com
- CV
Scientific Interest
- Formal methods, Formal methods powered by AI, AI powered by formal methods, programming languages, software engineering, logics, rewriting, P systems, semantic web
Profesional activities
- Delia Grigoriță (started in 2025)
- Gheorghiță Mutu (started in 2024)
- Andrei Nacu (started in 2023)
- Ștefan-Claudiu Susan (started in 2022)
- Raul Zaharia (started in 2021)
- The interested candidates can directly contact me by email.
Events
- iFS 2027
- WRLA 2026, SYNASC 2026
- CSCS 2025, WoLLIC 2025, FROM 2025
- TACAS 2024, WRLA 2024, FROM 2024
- TASE 2023, CSCS 2023, FROM 2023
- TASE 2022, WRLA 2022 FROM 2022
- FM 2021, CSCS 2021, FROM 2021
Projects
- GView, collaborator
- Alk - Java Semantics
- Alk - K Semantics
- K Framework, collaborator
- Automated Verification Using Circularities (CIRC)