Current Research Areas:
LLM: Semantics of LLMs, Mechanistic Interpretation, Automated Prompt Optimization, Vision-Language Models, Quantization, Agents.
Programming Languages: Loop Invariant Automation, Expectation Invariants for Probabilistic Programs, Fairness of Probabilistic Programs, Semantic Validation of File Formats, Parsers for Visibly Pushdown Grammars.
ML/AI: Fairness in Deep Neural Networks.
Quantum Computation: Quantum Walks.
Complexity and Graph Theory: Planar maximum matchings.
Algorithmic Game Theory: Special strategic form games like Public goods in networks by Bramoulle' and Kranton.
Google Scholar: https://scholar.google.com/citations?user=29siZJYAAAAJ&hl=en&oi=sra
Github. https://github.com/Ashish720-alt/
Linkedin. https://www.linkedin.com/in/ashish-kumar-4a6044112/
107 Citations and 8 papers published (6+ papers in the pipeline).
Have Interned at Google and Amazon.
Collaboration.
I am continuously expanding my research interests beyond the areas mentioned above. Broadly, I am fascinated by all topics across Mathematics and Computer Science. Some of the additional fields I am currently exploring include Complexity Theory, Numerical Linear Algebra, Statistics, GPU/TPU Architecture, Graph Theory, Cryptography, and Computational Geometry.
If you are interested in collaborating, I would be delighted to connect. Please feel free to reach out at ashishky36@gmail.com.
Actively Seeking Job Opportunities!!!
Industry: I am seeking Research Scientist or Applied Scientist roles in the LLM domain, especially in California.
Academia: I am also pursuing Assistant Professor positions, especially in California.
If you know of relevant opportunities, please feel free to reach out at ashishky36@gmail.com.