Renzo Degiovanni

Registered user since Mon 4 Dec 2017

Name: Renzo Degiovanni

Bio: Currently, I am a Research Associate at SnT, University of Luxembourg. I am working in the area of software requirement engineering and software testing. Precisely, I am interested to use automated analysis for the validation and verification of software artefacts.

Current website:

Previous website:

Country: Luxembourg

Affiliation: SnT, University of Luxembourg

Personal website:

Research interests: Requirements Engineering, Software Testing, Model Checking, SAT Solving


ISSTA 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2019Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ISSTA 2018Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
* ICSE 2018 *Author of Goal-Conflict Likelihood Assessment based on Model Counting within the Technical Papers -track