Valentin Perrelle

Valentin Perrelle is a researcher at the French Alternative Energies and Atomic Energy Commission (CEA), specifically within the Laboratory for Integration of Systems and Technologies (LIST) in France. He actively contributes to academic conferences in software engineering and programming languages, with a focus on static program analysis, formal methods, and quantum computing.

His research interests center on static program analysis, particularly abstract interpretation and loop unrolling heuristics enhanced by machine learning, and formal methods for software verification. Additionally, he has made notable contributions to quantum computing, including the formalization of quantum programming languages and the verification of quantum circuits.

His recent publications reveal a dual focus: advancing classical program analysis through machine learning techniques and developing formal foundations for quantum computing. In static analysis, he investigates how end-to-end learning can optimize loop unrolling heuristics. In quantum computing, his work addresses the challenges of measurement and classical control in quantum circuits, as well as the usability of formal methods for verification.

Valentin Perrelle is affiliated with CEA LIST, a prominent research laboratory in France that specializes in digital systems and technologies for industrial applications. The laboratory's research spans embedded systems, cybersecurity, and advanced computing, providing a collaborative environment for his work in software analysis and quantum verification.