Hernan Ponce de Leon

Registered user since Mon 15 Jul 2019

Name:Hernan Ponce de Leon
Country:Germany
Affiliation:fortiss GmbH
Research interests:Software Verification, SAT/SMT, Formal Methods. Concurrency

Contributions

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