Devansh Tayal

I am a passionate developer focused on building AI models, full-stack applications, and exploring new technologies. Lately that means ML security from a systems angle: whether a security claim still holds once a model is connected to tools, state, and real workflows.

I love creating interactive experiences that center people and their feedback in everything I build. A core part of my philosophy is the belief that every piece of advice, big or small, is valuable, and I'm always eager to learn and grow from it. 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.

Scroll to begin descent

Projects

Research & Systems

CAGE

A research prototype for agentic security that keeps permission to act inside deterministic checks and lets model-based flow measurement veto a request, never authorize one.

  • Python
  • PyTorch
  • Transformers
  • +3 more: Lean, Information Flow Control, Agentic Security

ForgetGate

A machine-unlearning audit project that tests whether recovery-radius evaluations measure residual memory or quirks of the evaluator.

  • Python
  • PyTorch
  • Machine Unlearning
  • +2 more: Adversarial ML, Evaluation

The Clipboard Centaur

A Rust CLI and workspace-scoped MCP server that lets browser and desktop AI assistants read repository context and apply reviewed patches to local files, without ever handing a remote model shell access.

  • Rust
  • MCP
  • CLI
  • +3 more: Git, VS Code Extension, Ollama

Pathfinder: Symbolic Execution in Practice

A survey and controlled experiment in symbolic execution with KLEE and angr, measuring how much search strategy actually decides what an executor covers under a fixed budget.

Honors
  • C
  • KLEE
  • angr
  • +4 more: LLVM, SMT Solvers, Docker, WSL
Video

CUDA Tile-Based Renderer

A CUDA renderer and scan pipeline that uses tile binning, prefix-sum scanning, and ordered blending to handle millions of circles efficiently, with performance analysis on an RTX 2000 Ada Generation GPU.

Honors
  • CUDA
  • C++
  • Thrust
  • +2 more: Parallel Scan, GPU Rendering
Conductor screenshot

Conductor

A visual embedded-development platform that turns Arduino and Raspberry Pi pin mappings into generated code and discoverable MCP tools.

Best Hardware Hack presented by Embedder · MHacks 2025
  • Next.js
  • TypeScript
  • Python
  • +4 more: FastAPI, MCP, Arduino, Raspberry Pi

Web Development & AI

Video
Notelify logo

Notelify

A full-stack web app that transcribes real-time audio into structured notes using OpenAI's Whisper and GPT-4o.

Best use of AI · AI Club Advanced Project Showcase
  • Next.js
  • React
  • TypeScript
  • +4 more: Tailwind CSS, Supabase, OpenAI Whisper, Vercel
Video
D2L+ logo

D2L+

A browser extension that adds file previews and a homepage calendar to Michigan State University's D2L.

Best Browser Extension · SpartaHack 9
  • TypeScript
  • HTML
  • Chrome Extension APIs
  • +2 more: Shadow DOM, LZString
Video
Iverson Bets logo

Iverson Bets

A real-time NBA analytics product that combines custom odds and injury-data pipelines with model-based win probabilities and bankroll analysis.

Most Entrepreneurial Project · AI Club+1
  • Next.js
  • React
  • Python
  • +3 more: Google Cloud Run, MongoDB, TypeScript

potentially

A calendar prototype that stores tasks and completion state in Supabase, with an experimental scheduling layer for detecting recurring habits and suggesting the next event.

People's Choice Award · AI Club Advanced Project Showcase
  • Next.js
  • React
  • TypeScript
  • +5 more: Tailwind CSS, Supabase, Python, Pandas, Vercel

Portfolio Website

A custom portfolio and playable city engine built with Next.js, TypeScript, React, SVG rendering, Framer Motion, and WebAssembly.

  • Next.js
  • React
  • TypeScript
  • +3 more: Tailwind CSS, Framer Motion, SVG Animation

Game Development

EscapeMate

A hackathon-built escape room assistant that turns room constraints into a playable story, narrates each stage, answers questions, and advances when the physical puzzle reports success.

Winner · MHacks 2024 (Interactive Media & Game Design)
  • Flask
  • Next.js
  • React
  • +6 more: TypeScript, Cartesia, Groq, BAML, Raspberry Pi Pico, Serial Hardware
Top Shot (Economics Game) screenshot

Top Shot (Economics Game)

A browser-based economics game built with Godot and WebAssembly.

  • Godot Engine
  • HTML
  • WebAssembly
  • +1 more: GDScript

Other Miscellaneous

Night Utility Framework

A high-performance Roblox automation framework adopted by 50,000+ users, including 10,000 weekly active users.

  • Lua
  • Reverse Engineering
  • UI Development
  • +2 more: C#, C++

Quizlet Question Bypass

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

  • JavaScript
  • Tampermonkey
  • Web Scraping
Video

Bedwars Stats

A real-time C#/.NET desktop tool that parses Minecraft logs, queries Hypixel's API asynchronously, and turns lobby data into player, party, and competitive performance insights.

  • C#
  • .NET
  • WinForms
  • +1 more: Hypixel API

Experience

Auto-Owners Insurance Logo

Software Engineering Intern

May 2026 - August 2026

Auto-Owners Insurance · Internship

  • Built reusable .NET 8 and Python/FastAPI health-check packages standardizing a shared readiness contract with HTTP, SQL, and custom dependency checks, parallel execution, bounded timeouts, caching, and secret-safe error handling; delivered across two application stacks.
  • Designed Angular, ASP.NET Core, EF Core, and T-SQL workflows surfacing dependency-level health, mapped ETL execution, and permission-aware warnings; integrated existing job-monitoring data rather than rebuilding it, keeping live, historical, and manual signals distinct.
  • Separated liveness and readiness probes so downstream dependency failures surface as diagnostics instead of triggering pod restarts.
  • Built a distributable code-quality toolchain for Angular/.NET repositories with a Git-scoped C# checker intersecting diff hunk ranges with Roslyn formatter output, enforcing standards on changed lines while grandfathering legacy formatting instead of producing repository-wide mechanical diffs.
Digital ConsultingHaus Logo

AI & SWE Engineer

June 2024 - March 2025

Digital ConsultingHaus LLC / GmbH · Part-time

  • Containerized and deployed scalable vision & language models on Google Cloud Run and RunPod, cutting inference latency and cost by ≈30%.
  • Fine-tuned OpenCLIP and BLIP for product classification & captioning.
  • Compressed models via post-training quantization & pruning to fit edge footprints while retaining quality.
  • Implemented a voice-command layer for an MDM chatbot, enabling hands-free inventory queries.
MSU OPTML Lab Logo

Professorial Assistant

Aug 2023 - April 2025

OPTML Lab, Michigan State University · Part-time

  • Investigated adversarial robustness of Vision Transformers, probing LoRA and Visual Prompt Tuning backdoors with custom PyTorch pipelines.
  • Demonstrated 90%+ attack success on LoRA-trained ViTs across GTSRB, Flowers102, and CIFAR-10.
  • Rebuilt trigger mechanisms for VPT, surfacing shared failure modes across fine-tuning strategies.
  • Benchmarked and tested various novel jailbreak strategies on multimodal models (DeepSeek Janus-Pro) to map cross-architecture vulnerabilities.

Education

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

Contact me

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

Email
devanshtayal7@gmail.com
LinkedInGitHub