Hernan Ponce de Leon

Registered user since Mon 15 Jul 2019

Name: Hernan Ponce de Leon

Country: Germany

Affiliation: fortiss GmbH

Personal website: https://www.fortiss.org/en/about-us/people/hernan-ponce-de-leon/

Research interests: Software Verification, SAT/SMT, Formal Methods. Concurrency

Contributions

POPL 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track