Dakshesh Pandey
Dak.

22-year-old software engineer at HubSpot, based in London.

Graduated from the University of Birmingham with a first-class Master's in Computer Science.

In my spare time I build small tools for myself that make life easier (currently that's a home dashboard and a route planner for good driving roads).

Away from work I like to lift, run, sing and play guitar, and take my MX-5 out on country roads.

TYPESCRIPT✳REACT✳NEXT.JS✳SASS✳AGDA✳ANGULAR✳SPRING BOOT✳POSTGRESQL✳D3.JS✳PYTHON✳THREE.JS✳ TYPESCRIPT✳REACT✳NEXT.JS✳SASS✳AGDA✳ANGULAR✳SPRING BOOT✳POSTGRESQL✳D3.JS✳PYTHON✳THREE.JS✳

Some things I've built.

More on GitHub ↗
01
Formally verified API compatibility
2026 · master's project81% · FIRST

A formally verified tool for checking backward compatibility between two OpenAPI specifications. The compatibility rules are proved in Agda.

WHAT IT DOES

Checks whether a new API version is backward compatible with an old one, and returns either compatible or a breaking change with an explanation.

AGDA · PYTHON · FASTAPI · REACTSOURCE ↗
02
Instrument
2026 · ambient home HUD

An always-on dashboard for a spare monitor at home.

WHAT'S ON IT

A morning briefing, weather, agenda, news wire, markets, steps and what's playing, all around a live chronograph.

REACT · TYPESCRIPT · VITE PRIVATE · WIP
03
Globl
2025 · personal travel visualisation

An interactive 3D globe visualisation webapp that allows users to track and visualise their travel history.

WHAT IT DOES

Country visit tracking, flight path animations, and a comprehensive dashboard view of travel statistics.

NEXT.JS · THREE.JS PRIVATE · WIP
04
Lowertones
2024 · team project

A music organisation and metadata insight web app, giving users a view of their Spotify listening history they can't get anywhere else.

WHAT IT DOES

Artist relationships, genre analysis and listening trends, plus a D3 force-directed graph of who you actually listen to.

ANGULAR · SPRING · D3SOURCE ↗

Some other things.

Hiking in Moroccosidequest
pad work
Behind the wheel of the MX-5the mx-5
deadlift
unplugged
Walking in the hillsminecraft irl
BIRMINGHAMSEP 2023
The route of a 50 kilometre run
DISTANCE50.08km
TIME5h 33m
PACE6:40/km
long run
solo

Where I've worked.

HubSpot London
Software Engineer Aug 2026 – now

Part of the Lead Capture frontend team, developing and maintaining HubSpot Forms, CTAs, and the embed/rendering infrastructure powering the lead capture experience.

Software Engineering Intern Jul – Sep 2025

Worked on HubSpot’s internal quoting tool, developing features that help sales teams create and update customer deals.

NOW
University of Birmingham School of Computer Science
Student Ambassador Oct 2024 – Apr 2026

Supported university open days by speaking with prospective students and families about the course and student life, while also demonstrating my project.

Teaching Assistant Sep 2023 – Mar 2026

Supported students across maths and logic, full-stack development, and operating systems, helping with practical work and questions.

2023 – 2026
Software Engineer StudyStashJan 2024 – Jun 2025

Worked on new platform features, redesigned case studies, and built automations to improve how clients and users interacted with the platform.

Jan 2024 – Jun 2025
Software Developer Evol AIMar – Jun 2023

Built a Python API and full-stack web app for tracking Roblox item prices and helping users make better trading decisions.

Mar – Jun 2023
Got something in mind?
Let’s talk.
London · 2026