conf.researchr.org / Michele Chiari
Michele Chiari

Registered user since Fri 5 Mar 2021

Name:Michele Chiari
Country:Italy
Affiliation:Politecnico di Milano
Personal website:https://michiari.github.io/
Twitter:https://twitter.com/micchiari
GitHub:https://github.com/michiari
Research interests:Formal Methods, Approximate Computing, Temporal Logic, Model Checking, Software Verification

Contributions

ECOOP 2022 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
ICST 2022 Committee Member in Program Committee within the Posters-track
SPLASH 2021 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICSE 2021 Author of A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions within the Journal-First Papers-track