Hi! I'm Anish Ahuja
I'm currently pursuing a B.S. in Computer Science and a B.A. in Mathematics at the University of California, Davis. My academic interests lie in formal methods, static analysis, and program verification. I am a member of the DavisPL Research Group led by Dr. Caleb Stanford, where I work on research in regular expressions and string constraints. Feel free to reach out to me with any questions at anahuja@ucdavis.edu
Work
UC Davis Programming Languages Research Group
Programming Languages Researcher - Davis, CA
February 2024 - Present
  • Expanding the theory of regular expressions by incorporating string variables
Panasonic
Software Engineering Intern - Irvine, CA
June 2024 - August 2024
  • Developing automation scripts with the connectivity architecture team
  • Automated device upgrades for LAX airport, improving connectivity speeds for 75 million annual passengers
California Department of Motor Vehicles
Software Engineering Intern - Sacramento, CA
June 2023 - June 2024
  • Built web applications for the State of California with the Web Services Group
TechForGood Inc.
Software Engineering Intern - Boston, MA
May 2023 - August 2025
  • Helped bring Internet access to Malawi as a part of Project Uplink
AggieWorks
Technical Product Manager - Davis, CA
March 2023 - June 2024
  • Led the development of AggieExchange and AggieMenus for UC Davis students
Education
University of California, Davis
B.S. Computer Science, B.A. Mathematics | GPA: 4.0/4.0
September 2022 - December 2025
Relevant Coursework: Data Structures and Algorithms, Object-Oriented Programming, Theory of Computation, Programming Languages, Program Verification, Operating Systems, Computer Architecture, Machine-Dependent Programming, Probability, Modern Algebra, Real Analysis
San Joaquin Delta College
A.S. Mathematics | GPA: 4.0/4.0
August 2018 - May 2022
Relevant Coursework: Linear Algebra, Differential Equations, Multivariable Calculus, Statistics
Projects
Safe Drive AI
An economical driver safety system equipped with lane assistance, drowsiness monitoring, pedestrian detection and an alert system.
Python, opencv, Raspberry Pi, Arduino
Assemblr
A compiler for a subset of RISC-V Assembly to Arduino code to allow students to learn Assembly by programming an RC car
Rust, NextJS, Arduino, Three.js
Nish/Place
A pixel art application, reminiscent of r/place, using WebSockets for real-time collaboration
Node.js, Express.js, ReactJS, MongoDB, Socket.io
Pill Pusher
An automated pill dispenser, used to remind the elderly of when to take medications, as well as automatically dispense the correct amount to them. Won Best Healthcare Hack at HackDavis 2023
Raspberry Pi, Flask, Twilio
RPS Camera Game
A rock-paper-scissors game that uses object detection to detect the hand gesture of the user.
Electron, opencv, TeachableMachine
Skills
Languages: Python, Java, JavaScript, TypeScript, C, C++, Go, Swift, SQL, HTML, CSS
Frameworks: ReactJS, Node.js, Next.js, Express.js, Git, MongoDB, TailwindCSS, MySQL, PostgreSQL, Selenium, Ansible, Postman, Socket.io, Linux