Adriano Corbelino II

Adriano Corbelino II

adriano_vilargacorbelino@uml.eduLowell, MA, USAGitHub (opens in new tab)LinkedIn (opens in new tab)

Download PDF

Research Interests

My research interests are in programming language theory, type theory, and formal verification. In particular, I study how codata and copatterns can bridge the functional and object-oriented paradigms, giving programmers a declarative way to define infinite and effectful objects.

Education

University of Massachusetts LowellLowell, MA, USA

Computer Science PhD student — GPA 4.0/4.0Jan 2024 – Present

Advisor: Prof. Paul Downen

Federal University of Mato Grosso (UFMT)Cuiabá, MT, Brazil

BSc in Computer Science — GPA 3.62/4.0 (8.84/10.0)2017 – 2021

Research Experience

Graduate Research AssistantJan 2024 – Present

University of Massachusetts LowellLowell, MA, USA

  • Developing CoPy, a language extension that brings copattern-based object-oriented programming to Python.
  • Contributed to CoScheme [1], a Racket/Scheme macro library for compositional copatterns backed by a sound equational theory.

Undergraduate Research Assistant2020 – 2021

Federal University of Mato GrossoCuiabá, MT, Brazil

  • Evaluated audio data-augmentation methods for bird-call classification.

Research Assistant2020 – 2021

Federal University of Mato GrossoCuiabá, MT, Brazil

  • Co-created RSDD [2], a satellite-imagery dataset for modeling deforestation in the Brazilian state of Mato Grosso.

Teaching Experience

Instructor of Record

COMP.3010 Organization of Programming LanguagesSummer 2026

University of Massachusetts LowellOnline

Teaching Assistant

Undergraduate Teaching Assistant2018 – 2021

Federal University of Mato GrossoCuiabá, MT, Brazil

  • Designed problem sets, led recitations, and held office hours across five courses: Discrete Mathematics, Data Structures, Theory of Computation, Algorithms, and Compilers.

Industry Experience

Software Engineer2021 – 2022

AcertoRemote · Belo Horizonte, MG, Brazil

  • Built in-house tools that automated workflows for non-technical teams and optimized database queries at a debt-collection company.

Software Engineer Intern2018 – 2021

NUTI-ICCuiabá, MT, Brazil

  • Developed a health-surveillance system and public-health dashboards for the Mato Grosso State Health Department.
  • Built a report-management system for POLITEC-MT, the state forensic-services department.

Awards & Honors

Finalist, ICPC South America/Brazil Finals2021

Academic Excellence Award (Estudante Destaque), Brazilian Computer Society (SBC)2021

Technical Skills

Programming Languages
Rocq/Coq, Lean, Haskell, Rust, Racket/Scheme, Python, C#, C, and JavaScript
Tools & Databases
PostgreSQL, Microsoft SQL Server, .NET, and QGIS
Natural Languages
Portuguese (native) and English (fluent)

Publications

[1]
P. Downen and A. Corbelino II, “CoScheme: Compositional Copatterns in Scheme,” Trends in Functional Programming, Springer Nature Switzerland, 2026. doi:10.1007/978-3-031-99751-8_10.
[2]
R. Ventura, C. Musis, T. Ventura, and A. Corbelino II, “RSDD: um Conjunto de Dados para Modelagem de Desmatamentos,” Anais do XIV Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais, SBC, 2023. doi:10.5753/wcama.2023.230675.

Presentations

CoPy: Declarative Object-Oriented Programming through CopatternsMay 9, 2025

New England Programming Languages and Systems Symposium (NEPLS)Lowell, MA, USA

References

Prof. Paul Downenpaul@pauldownen.com

Assistant Professor, University of Massachusetts LowellLowell, MA, USA