Hello! I am a senior at Columbia University studying computer science and mathematics. I am broadly interested in theoretical computer science, particularly sublinear algorithm design. In summer 2023, I researched graph theory as part of the SMALL REU program. In the past, I have interned as a software engineer at Apple and AWS. In my free time, I enjoy climbing trees, playing table tennis, writing fiction, playing music, and speed cubing.
Email: krish.singal [at] columbia.edu
Research
- On the Size and Complexity of Scrambles
- The Gonality of Chess Graphs
- $\text{MC}^2$: Rigorous and Efficient Directed Greybox Fuzzing
with Seamus Connor, Steven DiSilvio, Sasha Kononova, Ralph Morrison
[arXiv] Preprint
with Nila Cibu, Kexin Ding, Steven DiSilvio, Sasha Kononova, Chan Lee, Ralph Morrison
[arXiv] Preprint
with Abhishek Shah, Dongdong She, Samanway Sadhu, Peter Coffman, Suman Jana
[arXiv] ACM CCS 2022
Teaching
- CS 4232 Advanced Algorithms [Spring 2024]
- CS 4236 Computational Complexity Theory [Fall 2023]
- CS 4231 Analysis of Algorithms [Spring 2023]
- CS 4231 Analysis of Algorithms [Fall 2022]
Projects
- Survey of subgraph counting algorithms in the streaming model [pdf]
- Solution manual to Analysis of Boolean Functions exercises [pdf]
- Survey of graph streaming algorithms covering the AGM sketch and its optimality [pdf]
- Scribed lectures for CS 6998: Algorithms for Massive Data on compressed sensing and distribution testing [pdf][pdf]
- Rubik's Music: Auralized representation of a rubik's cube and implementation of Thistlethwaite's solving algorithm [github]
- Chip Firing Interface: Contributed optimizations for fast gonality computation [website][github]