Ravneet Singh Bhatia

Hi, I'm Ravneet Singh Bhatia, a Computer Scientist. I am most intersted in programming langauge theory, and systems programming. I have research experience in Equality Saturation, Parsers, and Program Synthesis.

Featured Projects

RISC-V Assembly Visualizer

Implemented my own assembler with execution trace that serializes to JSON. The goal is to visualize RISC-V assembly, allowing students and beginners to visualize stack structure and register values in an easy to understand manner.

Tech stack: Rust, Web Assembly, Typescript

Network QOS Simulation

Extending DiffServ Network design to implement multiple quality-of-life services. Including Deficit Round Robin, and Strict Priority Queueing. Introduced changes to proposed design to make packet handling faster.

Tech stack: C++

StatzHub Customer Lead Generation

Used machine learning techniques to predict roofing customer demands in Florida state.

Tech stack: Python, Typescript

Professional Experience

  • 2025: Machine Learning and Data Visualization Intern - StatZhub Customer Lead Generation
  • 2024: Logic Systems Intern (Algebraic Simplification Cesar) - Research and Implement systems for simplification of complex symbolic algebra.
  • 2023 - Present: Research Assistant -
    • Visualization of Complex Data Structres in Type Checkers.
    • Extending Parser Combinators using Memoization Techniques
    • Datalog for the GPU
  • Teaching Assistant -
    • CS 221 - C and Systems Programming
    • INTD 365 - Intro to Language and Linguistics Theory
    • CS 686 - Program Synthesis
    • CS 272 - Software Development
    • CS Dept. Tutor

Technical Skills

Languages

  • Rust
  • Scala
  • Java
  • Python
  • C
  • C++
  • Haskell
  • go
  • Languages aren't a barrier.

Contact Information

Email: ravneet.bhatia@outlook.com