My name is Manu Bhat, and I'm currently a third year studying Math and Computer Engineering at UCSD.
I have interests in proof assistants as well as low-level topics such as firmware, networks, parallel programming, and related systems. In particular, I enjoy working with languages such as Lean and Rust.
I also enjoy competitions related to programming. I am a member of my school's ICPC team and have also partaken in cybersecurity contests.
This page is primarily meant for prospective employers, but feel free to look around regardless.
Recommendations
Manu actively questions everything he is given and he connects it to what he already knows in a deeper way than most students.
Manu went out of his way to write code that was extendable, reusable, and followed professional design patterns the entire year. This wasn't even required for many projects [...]
Manu is my strongest TA ever. Manu is literally worth five TAs.
You can expect Manu to be the same proactive, passionate, and connected student he has been for the past four years. [...] Manu has my highest recommendation.
Manu went out of his way to write code that was extendable, reusable, and followed professional design patterns the entire year. This wasn't even required for many projects [...]
Manu is my strongest TA ever. Manu is literally worth five TAs.
You can expect Manu to be the same proactive, passionate, and connected student he has been for the past four years. [...] Manu has my highest recommendation.
Thanks for visiting! Note that while other pages are accesible from the top navigation bar, everything here is still a work in progress. Therefore, some sections may not be fully complete.