Profile

Himank Dave

he/him/his

Computational Mathematics [at] UWaterloo

hddave[at]uwaterloo.ca

About

I am a software developer based in Waterloo and currently a junior majoring in Computational Mathematics at the University of Waterloo. I am passionate about technology and innovation, especially exploring unexplored or complex domains and uncovering their intersection with tech.

Experience

Geotab

Embedded Software Developer Intern

Jan 2025 - Aug 2025

  • Geotab enables safe, sustainable, and efficient fleet and asset management through data-driven connected solutions.
  • I worked as a Test Automation Developer on the Embedded Software Quality team.
  • Apart from day-to-day tasks supporting 10k+ pipelines/month across 250+ GitLab repositories, I built a high-performance artifact-retrieval gRPC microservice for an in-house SIL testing framework and containerized a Windows-only embedded development environment to automate firmware builds for 500k+ devices.

Cactus Creatives

Software Developer Intern

May 2024 - August 2024

  • Cactus Creatives partners with clients to design and deliver innovative, reliable, and cost-effective digital and IoT solutions.
  • I worked on the Core Services team.
  • I developed a self-hosted uptime monitoring tool with real-time web & database status tracking, and implemented CI/CD pipelines using GitHub Actions across 25+ projects.

Cactus Creatives

Python Developer Intern

May 2023 - August 2023

  • Cactus Creatives partners with clients to design and deliver innovative, reliable, and cost-effective digital and IoT solutions.
  • I worked on the Internal Tools team.
  • I built and maintained a full-stack content management system with real-time metrics, while spearheading major MySQL-to-PostgreSQL migrations across projects and optimizing queries for post-migration performance gains.

Education

University of Waterloo

Bachelor of Mathematics, Computational Mathematics Major

Sept 2022 - Present

Computational Mathematics is a interdisplinary major that combines Mathematics, Statistics, Optimization and Computer Science, offered by the Faculty of Mathematics.

Skills

Languages:
Python
Go
TypeScript
C++20
Bash
Powershell
SQL
Frameworks, Libraries & Databases:
Django
Flask
React
TailwindCSS
Next.js
Node.js
Postgres
MySQL
Tools:
Docker
Kubernetes
GitLab CI
GitHub Actions
Google Cloud

Projects

Deris

A minimalist key-value store with network socket interface, supporting CRUD operations, data integrity, high throughput (50k+ ops/sec) and <1ms latency.

Go

Trivivo

Crafted a feature-rich, dynamic quiz game platform with progressive difficulty levels, real-time analytics, and comprehensive admin tools, complemented by a secure API for question management and user engagement tracking.

Django
MySQL
HTML5
TailwindCSS
jQuery
Docker
AWS EC2

SpectraSVD

Designed and deployed an advanced image compression algorithm achieving 25%+ size reduction, complemented by a real-time interactive web application for demonstrating compression quality and efficiency.

NumPy
OpenCV
Pillow
Streamlit

Personal Website

Built a modern, responsive portfolio website with fluid animations, architected as a customizable template.

TypeScript
React
TailwindCSS
Next.js
Framer Motion
Node.js

Chess

Developed a C++ chess engine with innovative multi-player variants and AI capabilities, employing advanced software design patterns and rigorous testing methodologies in a Linux environment.

C++
CMake
XQuartz

EcoWiz

Engineered a full-stack application featuring a multimodal image classification system for garbage sorting, achieving 80% accuracy through advanced deep learning techniques.

React
Flask
ResNet-50 CNN
YOLOv8

RedWish

Developed a comprehensive full-stack health application to streamline blood donation and transfusion processes, incorporating an AI-powered chatbot to enhance user engagement and accessibility.

HTML5
CSS3
JavaScript
Firebase
DialogFlow API