Prateek Kumar

Senior Software Engineer

Astra Tech · Abu Dhabi, UAE

Rust · Distributed Systems · Compilers & Programming Languages

Prateek Kumar

I'm a senior software engineer currently at Astra Tech in Abu Dhabi, building high-performance backend systems in Rust. Over the past six years I've worked across the stack, from frontend at AQR Capital and ByteDance to full-stack development and internal tooling at Apple.

My interests are in distributed systems, programming languages, and compilers. I also write about mathematics at TwoPi ↗.

Experience

Astra TechAug 2025 – Present

Senior Rust Engineer · Abu Dhabi, UAE

High-performance Rust microservices with Tokio; cross-platform FFI logic layer for iOS and Android.

ByteDanceDec 2024 – Jun 2025

Software Engineer · Dubai, UAE

Micro-frontend architecture (Garfish); frontend development with React, Vue.js, and SolidJS.

AppleJul 2021 – Dec 2024

Software Engineer · Hyderabad, India

Full-stack development on large-scale enterprise web applications; designed a rule-engine DSL with parser and auto-complete; managed platform infrastructure on AWS with Kubernetes and Tekton.

AQR Capital ManagementJun 2019 – Jul 2021

Analyst · Bengaluru, India

Frontend apps for Portfolio Management and Trading; built a shared component library.

The University of TokyoMay – Jul 2018

Research Intern · Tokyo, Japan

HPC applied to tensor computations; optimized the HOTRG algorithm under Prof. Reiji Suda.

Education

Indian Institute of Technology Hyderabad2015 – 2019

B.Tech. (Honors) in Computer Science and Engineering · CGPA 9.4/10

Projects

Luma Money

Personal finance management app to track expenses and spending insights.

Open-WBO-Inc

Partial incomplete MaxSAT solver in C++. 1st place (60s track) and 2nd place (300s track) at MaxSAT Evaluations 2018.

UTVPI-OA

Algorithms for overapproximations of polyhedra using Linear Programming and Fourier-Motzkin elimination.

Battleship

Multi-player Battleship board game in Rust using WebSockets.

SAT Solver in Rust

SAT solver based on the MiniSAT architecture, written in Rust.

Autojudge

Online judge for programming contests and university assignments.

Timetabler

Timetable scheduling via MaxSAT solver, used by IIT Hyderabad for semester scheduling.

Skills

Rust · JavaScript/TypeScript · Golang · C/C++ · Git · Docker · SQL

Distributed Systems · Programming Languages · Compilers

Publications

Google Scholar ↗

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins · JSAT 2019

PDF ↗

An analysis of executable size reduction by LLVM passes

Shalini Jain, Utpal Bora, Prateek Kumar, Vaibhav B. Sinha, Suresh Purini, Ramakrishna Upadrasta · CSIT 2019

PDF ↗

Approximation Strategies for Incomplete MaxSAT

Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao · CP 2018

PDF ↗

Recent Posts

View all posts →