I’m building Cursor to discover a new way to write code. I owe much of my fun to my friends and MIT. I am extremely excited about the new capabilties of LLMs and applications to code tools.
Previously:
- Studied machine learning, number theory, performance engineering, and theater at MIT.
- Made early contributions to metaphor, an end-to-end LLM powered search engine (before it was cool).
- Represented Pakistan at the IMO 2016-2018. Studied and taught competitive math at the Pakistani math camps.
- Worked on translation at IBM Watson ML.
Selected Publications:
- "Computing L-Polynomials of Picard Curves from Cartier-Manin Matrices", Mathematics of Computation, 2021.
- "Arithmetic Expression Construction", presented at 2020 International Symposium on Algorithms and Computation.
- "Tetris is NP-Hard Even with O(1) Columns", presented at 2019 Japan Conference on Discrete and Computational Geometry, Graphs & Games (JCDCG^3).
-- Sualeh