معرفی
Luca Arnaboldi is a researcher at The University of Edinburgh, United Kingdom, actively contributing to the fields of formal verification, security, and machine learning. His work bridges programming languages and practical applications in law and cryptography, as evidenced by his publications in prominent venues such as POPL, CPP, and FormaliSE.
His research interests include:
- Formal Verification
- Security
- Machine Learning
- Programming Languages
- Cryptographic Protocols
- Legal Informatics
- SMT Solvers
- Automated Reasoning
The recent articles reflect a strong trend in applying formal methods to real-world domains—specifically, the formalization of legal systems using domain-specific languages like Catala, and the compilation of high-level specifications into automated reasoning tools such as SMT solvers. His work also explores automation in cryptographic protocol generation, emphasizing structured and verifiable design.
Luca Arnaboldi has not been mentioned as receiving any scientific awards in the provided text.
He is actively involved in research and publishing, with no indication of advising students or managing grants in the available information.
No information about labs or research teams is available in the provided text.
