conf.researchr.org / Luca Franceschini
Registered user since Fri 26 May 2017
Name:Luca Franceschini
Country:Italy
Affiliation:DIBRIS, University of Genova, Italy
Personal website: http://www.dibris.unige.it/en/franceschini-luca
Research interests:Programming languages, runtime verification, coinduction, logic programming, type systems
Contributions
2019
‹Programming›
- Student Volunteer Co-Chair in Organizing committee within the Student Volunteers-track
- Author of RML: Runtime monitoring language within the Student Research Competition-track
- Student Volunteers Co-Chair in Organizing Committee
- Author of RML: Runtime monitoring language (short presentation) within the Student Research Competition-track