Name:Renzo Degiovanni

Bio:

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

Current website: https://wwwfr.uni.lu/snt/people/renzo_degiovanni

Previous website: http://dc.exa.unrc.edu.ar/staff/rdegiovanni/en/index.html

Country:Luxembourg

Affiliation:SnT, University of Luxembourg

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