• Sign in
  • Sign up
conf.researchr.org / Cesare Tinelli
  • ETAPS 2019 profile
  • HILT'22 - Supporting a Rigorous Approach to Software Development profile
  • POPL 2016 profile
  • POPL 2022 profile
Cesare Tinelli

Registered user since Fri 3 Jul 2015

Name:Cesare Tinelli
Country:United States
Affiliation:University of Iowa
Personal website: https://homepage.cs.uiowa.edu/~tinelli/
Research interests:SMT, Automated Deduction, Verification, Formal Methods

Contributions

2022

HILT

  • Committee Member in Program Committee within the HILT 2022-track

VMCAI

  • PC Member in Program Committee within the VMCAI 2022-track
  • Author of Bit-Precise Reasoning via Int-Blasting within the VMCAI 2022-track

2019

ETAPS

  • Author of An overview of Satisfiability Modulo Theories and its applications within the Tutorials-track
  • Mentor in Mentors within the Mentoring Workshop-track

2016

CPP

  • Committee Member in Program Committee within the CPP-track
Share
xThu 8 May 18:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up