Concepedia

Author

Pedro H. Azevedo de Amorim

Universidade Estadual de Campinas (UNICAMP)ORCID

Also Known As

Amorim, Pedro, Pedro H. Azevedo de Amorim, Pedro Henrique Azevedo de Amorim, de Amorim, Pedro H. Azevedo

15

Publications

68

Citations

3

H-Index

6

Concepts

All Affiliations

Universidade Estadual de Campinas (UNICAMP)
PH

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

43

2

Computer Science

1

1

43

3

Automated Reasoning

1

1

43

4

Formal Methods

1

1

43

5

Formal Verification

1

1

43

Pedro H. Azevedo de Amorim

×

2

Publications

55

Citations

2

H-Index

YearCitations

A specification for dependent types in Haskell

Stephanie Weirich, Antoine Voizard, Pedro H. Azevedo de Amorim,

Proceedings of the ACM on Programming Languages

2017

43

Modular Hardware Design with Timeline Types

Rachit Nigam, Pedro H. Azevedo de Amorim, Adrian Sampson

Proceedings of the ACM on Programming Languages

2023

12

Page 1