Academic Work and Services

Expositions

Computational Complexity

• Unique Games and connections to Quantum Complexity
  Currently writing as a supplement to the Analysis on Boolean Functions class (Duke COMPSCI 590). An exposition on the Unique Games Conjecture, The PCP Theorem, and some connections to Quantum Complexity and Information. Specific attention is given to topics with overlaps in Hypercontractivity, Non-local Games, and the Quantum PCP Conjecture.

• On the Fourier Analysis of Boolean Functions and the Linial-Mansour-Nisan Theorem
  Written as final project for Circuit Complexity class (Duke CPS 590).

Quantum Information

• Random Local Quantum Circuits as Unitary 2-designs
  An annotation and review of Random quantum circuits are approximate 2-designs, by Aram W. Harrow and Richard A. Low. The final result of a directed reading conducted during the Spring 2020 semester (Duke PHYS 791).

• On the Schur-Weyl Duality and its Role in Quantum Information
  An exposition of the Schur-Weyl Duality and its role in seminal proofs found in Quantum Information Theory. The final project for Quantum Information Theory class (Duke PHYS 590). The notes are still in the process of being extended as I learn more about representation-theoretic techniques used in QIT.

• *Quantum Expanders and their Applications
  Notes on the definitions of Quantum Expanders and their tensor-product counterparts with specific attention to applications in Quantum Information Theory. Applications include Hastings’ study of the entanglement entropy of some gapped one-dimensional systems and Quasirandom Quantum Channels. These notes are created to prepare for a reading group on QIT during the Spring 2022 semester.

Mathematics

• Cohomology of Connected Compact Lie Groups
  Notes on the DeRham Cohomology of bi-invariant Forms over Connected Compact Lie Groups. Written for Lie Groups course.

---

Misc. Publications

Masters Pubs.

Services

• Information and Computation
  Reviewer, January 2022
  I will be participating as a reviewer for an upcoming special issue of Information and Computation titled Formal Verification of Cyber-Physical Systems, which will focus topics focused on reachability analysis in CPS.

• ICCPS 2022
  Artifact Evaluation Commitee Member, January 2022
  I will be participating as a member of the Artifact Evaluation Program Commitee for the 13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2022)

• CAV 2022
  Artifact Evaluation Commitee Member, May 2022
  I will be participating as a member of the Artifact Evaluation Program Commitee for the upcoming 34th International Conference on Computer Aided Verification.

• UNC Real-Time/Cyber-Physical Lunch Seminar
  Organizer, Spring 2021
  I organized the Cyber-physical/Real-time Systems Lunch during the Spring 2020 semester. During the lunch, students and faculty involved in Autonomous Systems, Real-Time Systems, Cyber-physical Systems, and Formal Verification met to discuss research and present recently-published papers during an hour-long session each week.

  • Provided a weekly platform for graduate students to conduct practice talks and give guest lectures.
  • Presented several talks on current research progress.

• South Carolina State University Deep Learning Group
  Research Mentor, Winter 2021
  I plan to mentor undergraduate research students from under-represented minority groups in performing Machine Learning research. This research is sponsored by South Carolina Cancer Disparities Research Center, a partnership between SCSU and MUSC Hollings Cancer Center to improve diversity in cancer research. My duties are as follows:

  • Teach Python and Tensorflow to two undergraduate research assistants in Computer Science.
  • Aid the research team in constructing deep learning models using Tensorflow.
  • Provide programming mentorship and support during the Winter 2021 and Summer 2022 periods.