Solal Pirelli -

Registered user since Mon 16 Jan 2023

Name:Solal Pirelli

Country:Switzerland

Affiliation:EPFL

Personal website: https://dslab.epfl.ch/people/pirelli/

X (Twitter): https://x.com/SolalPirelli

GitHub: https://github.com/SolalPirelli

Research interests:Automated formal verification of software

Contributions

2024

ICSE

Author of Scalable Teaching of Software Engineering Theory and Practice: An Experience Report within the Artifact Evaluation-track
Author of Scalable Teaching of Software Engineering Theory and Practice: An Experience Report within the Software Engineering Education and Training-track

2023

ICSE