Dorel Lucanu

Dorel Lucanu is full professor at the Faculty of Computer science, Alexandru Ioan Cuza University of Iasi, Romania. His research interests are within the area of formal methods applied in software engineering, with focus on logics for programs (rewriting logic, matching logic), coinductive reasoning, program analysis and verification.