Combinatory Differentiation Intro The project builds a computer theoretic model of differentiation starting from combinatory logic. Paper arXiv: 2406.16154 . Packages kangboli/CombDiff . Slides Backprop 100 years Talk Differentiating electronic structure theories with combinators, SIAM Materials, 2024. A meta programming approach to automatic differentiation, IPAM Reunion, 2023. Localization of Kohn-Sham Orbitals Intro A variational formulation of the localized Wannier orbitals. Localizing the Wannier orbitals is very well studied optimization problem, and it has been known that the optimization is full of local minimums. We remove these local minimums at a theoretical level and provide an implementation that demonstrates a 10-70x speed up. Paper arXiv: 2305.09929 . To appear in PRB. Package WTP.jl

and SCDM.jl

Talk Localization methods: perspectives on initialization and optimization (Given by Anil), IPAM, 2022.Variational formulation of localized Wannier functions and rapid convergence , Cornell SCAN Seminar, 2022.An unambiguous and robust formulation for Wannier localization , Wannier Developer Meeting, 2023.An unambiguous and robust formulation for Wannier localization , ICIAM, 2023.WTP.jl: A library for readable electronic structure code , JuliaCon, 2023. Scallop Intro SFQ control of superconducting qubit aims to scale quantum computers to millions of qubits. Scallop is a control theory piece of the effort. Paper K. Li, R. F. McDermott, and M. Vavilov, "Hardware-Efficient Qubit Control with Single Flux Quantum Pulse Sequences", Physical Review Applied, 2019. Talk Qubit Control with Single Flux Quantum Pulse Sequences, APS March Meeting , 2019. Qubit Control with Single Flux Quantum Pulse Trains, Hilldale Undergraduate Symposium , 2019. Patent K. Li, R. F. McDermott, and M. Vavilov, "Hardware-Efficient Qubit Control with Single Flux Quantum Pulse Sequences", 2020. Webapp SFQ Control Simulator. Funding Hilldale Fellowship, 2018. Other Projects: TA at Cornell Fall 2019 CS 4410 & 4411: Operating System & Practicum. Spring 2020 CS 6241: Numerical Methods for Data Science. Fall 2020 CS 3410: Computer System Organization and Programming. Fall 2021 CS 3110: Data Structures and Functional Programming. (TA Award for being a LaTeX master ٩(◕‿◕)۶) Spring 2023 CS 4220: Numerical Methods. Some Slides