Research output per year
Research output per year
Personal profile
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Fingerprint
Dive into the research topics where Alain Chavarri Villarello is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Conference contribution
-
Certifying Rings of Integers in Number Fields
Baanen, A., Villarello, A. C. & Dahmen, S. R., 2025, CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. Stark, K., Timany, A., Blazy, S. & Tabareau, N. (eds.). Association for Computing Machinery, Inc, p. 50-66 17 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access
Projects
- 1 Active
-
Formalizing Diophantine algorithms
Dahmen, S. (Principal Investigator) & Chavarri Villarello, A. (Project Researcher)
1/05/22 → 31/08/26
Project: Research