• Sign in
  • Sign up
conf.researchr.org / Michele Chiari
  • ECOOP 2022 profile
  • ECOOP and ISSTA 2023 profile
  • ICSE 2021 profile
  • ICST 2022 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • ‹Programming› 2023 profile
Michele Chiari

Registered user since Fri 5 Mar 2021

Name:Michele Chiari
Country:Austria
Affiliation:TU Wien
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 2023 Committee Member in Extended Review Committee within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
‹Programming› 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2022 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
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

Share
xSat 4 Feb 04:14
using conf.researchr.org (v1.58.0)
Support page
Sign Up