1.0.14 (release)

CONNECTING TO SERVER...

Devansh Tayal

I work on ML security from a systems angle: whether a security claim still holds after a model is connected to tools, state, and real workflows. My current work covers agentic-system boundaries and machine-unlearning evaluation, and I still build developer tools and full-stack products when the problem calls for them. I care about making technically honest things that remain useful to the people living with them, and I'm always eager to learn from their feedback. At home, I enjoy spending time with my family, especially my lab, who's always by my side. I also love connecting with people from different perspectives, watching movies and shows, listening to music, and building new projects.

Projects Showcase

Research & Systems

CAGE

Research & Systems
A research prototype for agentic security that keeps permission to act inside deterministic checks and lets model-based flow measurement veto a reques...

🛠Tech Stack

PythonPyTorchTransformersLeanInformation Flow ControlAgentic Security

ForgetGate

Research & Systems
A machine-unlearning audit project that tests whether recovery-radius evaluations measure residual memory or quirks of the evaluator. The current pape...

🛠Tech Stack

PythonPyTorchMachine UnlearningAdversarial MLEvaluation
The Clipboard Centaur logo

The Clipboard Centaur

Research & Systems
A Rust CLI and workspace-scoped MCP server that lets browser and desktop AI assistants read repository context and apply reviewed patches to local fil...

🛠Tech Stack

RustMCPCLIGitVS Code ExtensionOllama

Pathfinder: Symbolic Execution in Practice

Research & Systems
Honors Project
A survey and controlled experiment in symbolic execution with KLEE and angr, measuring how much search strategy actually decides what an executor cove...

🛠Tech Stack

CKLEEangrLLVMSMT SolversDockerWSL

CUDA Tile-Based Renderer

Research & Systems
Honors Project
A CUDA renderer and scan pipeline that uses tile binning, prefix-sum scanning, and ordered blending to handle millions of circles efficiently, with pe...

🛠Tech Stack

CUDAC++ThrustParallel ScanGPU Rendering
Conductor screenshot

Conductor

Research & Systems
A visual embedded-development platform that turns Arduino and Raspberry Pi pin m...

🏆Awards

Best Hardware Hack presented by Embedder - MHacks 2025

🛠Tech Stack

Next.jsTypeScriptPythonFastAPIMCPArduinoRaspberry Pi

Web Development & AI

Notelify logo

Notelify

Web Development & AI
A full-stack web app that transcribes real-time audio into structured notes usin...

🏆Awards

Best use of AI - AI Club Advanced Project Showcase

🛠Tech Stack

Next.jsReactTypeScriptTailwind CSSSupabaseOpenAI WhisperVercel

potentially

Web Development & AI
A calendar prototype that stores tasks and completion state in Supabase, with an experimental scheduling layer for detecting recurring habits and sugg...

🏆Awards

People's Choice Award - AI Club Advanced Project Showcase

🛠Tech Stack

Next.jsReactTypeScriptTailwind CSSSupabasePythonPandasVercel
D2L+ screenshot
D2L+ logo

D2L+

Web Development & AI
A browser extension that adds file previews and a homepage calendar to Michigan ...

🏆Awards

Best Browser Extension - SpartaHack 9

🛠Tech Stack

TypeScriptHTMLChrome Extension APIsShadow DOMLZString
Iverson Bets logo

Iverson Bets

Web Development & AI
A real-time NBA analytics product that combines custom odds and injury-data pipe...

🏆Awards

Most Entrepreneurial Project - AI Club

People's Choice Award - AI Club

🛠Tech Stack

Next.jsReactPythonGoogle Cloud RunMongoDBTypeScript

Portfolio Website

Web Development & AI
A custom portfolio and playable city engine built with Next.js, TypeScript, React, SVG rendering, Framer Motion, and WebAssembly. I built the city bec...

🛠Tech Stack

Next.jsReactTypeScriptTailwind CSSFramer MotionSVG Animation

Game Development

EscapeMate logo

EscapeMate

Game Development
A hackathon-built escape room assistant that turns room constraints into a playable story, narrates each stage, answers questions, and advances when t...

🏆Awards

Winner - MHacks 2024 (Interactive Media & Game Design)

🛠Tech Stack

FlaskNext.jsReactTypeScriptCartesiaGroqBAMLRaspberry Pi PicoSerial Hardware
Top Shot (Economics Game) screenshot

Top Shot (Economics Game)

Game Development
A browser-based economics game built with Godot and WebAssembly. As lead develop...

🛠Tech Stack

Godot EngineHTMLWebAssemblyGDScript

Other Miscellaneous

Night Utility Framework logo

Night Utility Framework

Other Miscellaneous
A high-performance Roblox automation framework adopted by 50,000+ users, including 10,000 weekly active users. I owned the command UI, native C#/C++ i...

🛠Tech Stack

LuaReverse EngineeringUI DevelopmentC#C++

Bedwars Stats

Other Miscellaneous
A real-time C#/.NET desktop tool that parses Minecraft logs, queries Hypixel's A...

🛠Tech Stack

C#.NETWinFormsHypixel API

Quizlet Question Bypass

Other Miscellaneous
An early Tampermonkey project that explored Next.js page data, DOM manipulation, KaTeX rendering, and the security limitations of client-only content ...

🛠Tech Stack

JavaScriptTampermonkeyWeb Scraping

Education & Coursework

Columbia University logo

Columbia University

in the City of New York
Fall 2026 - Present

M.S. Computer Science

Michigan State University logo

Michigan State University

Honors College
Aug 2023 - May 2026

B.S. Computer Science

Relevant Coursework

CSE 840CSE 830CSE 498CSE 491CSE 480CSE 476CSE 404CSE 380CSE 335CSE 331CSE 325CSE 320CSE 232H

For software engineering, AI/ML, research, or product opportunities, email me or connect on LinkedIn.