Michele Chiari - ECOOP 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

co-located with ECOOP and ISSTA 2023

Registered user since Fri 5 Mar 2021

Name:Michele Chiari

Country:Austria

Affiliation:TU Wien

Personal website: https://michiari.github.io/

X (Twitter): https://x.com/micchiari

GitHub: https://github.com/michiari

Research interests:Formal Methods, Approximate Computing, Temporal Logic, Model Checking, Software Verification

Contributions

2023

ECOOP

Committee Member in Extended Review Committee and External Reviewers within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile