Education

Looking for a PDF? click here.

Publications

Experience

• Extended the Rust the trait-solver implementation, Chalk, to support proof tree construction.
• Researched interactive debugging techniques and UI designs for debugging type errors.
• Advised by Will Crichton and Shriram Krishnamurthi.

• Spearheaded the memory-safety verification of the Scion router prototype.
• Fixed 2 safety-critical memory vulnerabilities using the automated verifier Gobra.
• Advised by João Pereira and Peter Müller.

• Integrated Access Fintech into the GS reconciliation platform using Java, Kafka, and Pure.
• Reduced human actions by 40% and increased data availability across business units.

• Implemented and tested various metrics to determine physician similarity.
• Deployed a physician suggestion engine into the Epic Earth platform using C#, Python, and Flask.

• Improved radio communication stability for the wireless ranging enabled node (WREN) network by 13% using nesC and distributed consensus algorithms.

Skills

Functional programmingLisp, Racket, OCaml
Systems programmingC/C++, Rust
Web developmentTypeScript, React, HTML, CSS
Research interestsPL design, compilers, formal methods, HCI
LanguagesEnglish, Brazilian Portuguese, German

Projects

• Implemented a compiler plugin to automatically generate visualizations of Rust ownership types. Deployed online in The Rust Book Experiment used by 50,000+ Rust learners.

• Engineered an implementation of the Optimization by Particle swarm Using Surrogates (OPUS) framework achieving a 4% (flop/cycle) speedup over existing implementations.

• Achieved a 3.75% performance (flop/cycle) increase compared to optimized implementations of the Parallel Ripple Search pathfinding algorithm.

• Impelemented a subset of the R6RS Scheme specification emphasizing hygienic macro expansion.

• Web application facilitating the obtaining of and applying for a construction permit in the USA.
• Bachelor’s thesis project, currently maintained by Sunspec Alliance.

Teaching

Awards