Scholar
Dorel Lucanu
Google Scholar ID: 2YOn9jkAAAAJ
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Formal Methods
Software Engineering
Program Semantics
Rewriting
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,412
H-index
19
i10-index
40
Publications
20
Co-authors
33
list available
Publications
5 items
Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Circular Induction
2026
Cited
0
Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions
2026
Cited
0
Navigating the Python Type Jungle
2025
Cited
0
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
2025
Cited
0
Co-authors
10 total
Grigore Rosu
University of Illinois at Urbana Champaign
Andrei Arusoaie
Associate Professor at Faculty of Computer Science, Alexandru Ioan Cuza University
Vlad Rusu
Inria
Oana Andrei
School of Computing Science, University of Glasgow
Gavrilut Dragos
Bitdefender, Al. I. Cuza University
Jin Song Dong
Professor of Computer Science, National University of Singapore
Yuan-Fang Li
Oracle | Monash University
Marcello Bonsangue
Professor of Computer Science, Leiden University
