Hi! I'm an undergraduate studying computer science and mathematics at Reed College.
Research Interests
I'm interested in metaprogramming and formal verification. Above all, however, I love software as an object of study on its own merit.
Works
A Framework for Benchmarking Pathway Reconstruction Algorithms
Neha Talluri, Tristan Figueroa-Reid, Justin Hiemstra, Chris S. Magnano, Adam Shedivy, Nistha Panda, Yancheng Liu, Sumedha Sanjeev, Oliver Faulkner Anderson, Altaf Barelvi, Aden O'Brien, Olivia T. Johnson, James A. Haddad, Spencer A. Halberg-Spencer, Akniyet Nurbol, Iris Jan, Mahunan Degbelo, Daniel Nachreiner, Canek Llera-Magord, Gabriel Howland, Grace H. Li, Anna Ritz, and Anthony Gitter.
Composition Direction of Seymour's Theorem for Regular Matroids - Formally Verified
Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, Alexander Nelson, Peter Nelson, Mark Sandey, and Ivan Sergeev.