Pedro H. Azevedo de Amorim

Publications

Citations

H-Index

2017

Active since

Affiliations

Universidade Estadual de Campinas (UNICAMP)(Current)

Pedro H. Azevedo de Amorim is an author at Universidade Estadual de Campinas (UNICAMP) specializing in formal verification, engineering, and verification.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification

Publications per year

2017–2023

Publications

A specification for dependent types in Haskell

Stephanie Weirich, Antoine Voizard, Pedro H. Azevedo de Amorim et al. · Proceedings of the ACM on Programming Languages · 2017 · 43 citations · Full text

Coq Proof Assistant, Dependent Types, Engineering +12

Modular Hardware Design with Timeline Types

Rachit Nigam, Pedro H. Azevedo de Amorim, Adrian Sampson · Proceedings of the ACM on Programming Languages · 2023 · 12 citations · Full text

Rows per page

1–2 of 2