• 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.

• Coupled-Cluster

  ---

  • Paper    arXiv: Augmented Lagrangian method for coupled-cluster.

• 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.

• 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

  ---

  • Impossibility of Distributed Consensus with One Faulty Process
  • An unambiguous and robust formulation for Wannier localization
  • QFT Working Group Summary at IPAM