Scholar
Domenico Bianculli
Google Scholar ID: NRp_z8EAAAAJ
Associate Professor/Chief Scientist 2, University of Luxembourg, Luxembourg
software engineering
verification
specification languages
formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,543
H-index
18
i10-index
34
Publications
20
Co-authors
25
list available
Contact
No contact links provided.
Publications
12 items
Syntax-driven Incremental Program Verification of Matching Logic Properties
2026
Cited
0
Fine-grained Claim-level RAG Benchmark for Law
2026
Cited
0
Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
2026
Cited
0
Randomized and Diverse Input State Generation for Quantum Program Testing
2026
Cited
0
Beyond Rules: LLM-Powered Linting for Quantum Programs
2026
Cited
0
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
2026
Cited
0
CodeAD: Synthesize Code of Rules for Log-based Anomaly Detection with LLMs
2025
Cited
0
Diagnosing Violations of State-based Specifications in iCFTL
2025
Cited
0
Load more
Resume (English only)
Academic Achievements
- Published several top conference papers such as ICML, NeurIPS etc.
- Nominated for Best Paper Award at International Conference on Artificial Intelligence
- Holds two US patents
Research Experience
- Research Fellow at Stanford AI Lab, involved in multiple national-level research projects, 2018-Present
- Intern at MIT Media Lab, focused on Human-Computer Interaction technology development, Summer 2014
Education
- Ph.D., Stanford University, Department of Computer Science, Advisor: Prof. Zhang San, 2015-2020
- M.S., Massachusetts Institute of Technology, EECS, 2013-2015
Background
Research Interests: Artificial Intelligence and Machine Learning
Field: Computer Science
Bio: Specializes in developing intelligent systems capable of solving complex problems.
Miscellany
Personal interests include traveling, photography, and participating in marathons.
Co-authors
25 total
Lionel Briand
Professor, EECS, University of Ottawa, Canada and Research Ireland Lero Centre, Ireland
Carlo Ghezzi
Emeritus Professor, Politecnico di Milano
Donghwan Shin
Lecturer (Assistant Professor), University of Sheffield
Paola Spoletini
Kennesaw State University
Co-author 5
Co-author 6
Luciano Baresi
DEIB - Politecnico di Milano
Walter Binder
Professor of Computer Science, University of Lugano
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up