Matthew Mirman

Founder

Brooklyn, New York, United States

About

Matthew Mirman holds a PhD in AI from ETH Zurich (2022) and an MS from CMU, with prior experience at Apple working on JavaScript compiler optimization. His research focuses on verified machine learning, differentiable abstract interpretation, and training methods.

LinkedIn ↗X / Twitter ↗

Latest on 𝕏

Dr. Mirman @mmirman

Claude cut HAWK-256 from 2^64 to 2^38. Mythos found a lattice symmetry after 60 hours. HAWK is undeployed; its separate AES result targets 7 of 10 rounds, not production AES. Humans still spent hundreds of hours verifying the work. https://t.co/40CGGNmjQi

Evidence graphic summarizing Anthropic's July 28, 2026 cryptanalysis report. HAWK-256 attack cost changes from 2^64 to 2^38 after 60 hours of model-assisted discovery. HAWK is an undeployed candidate signature scheme. The separate AES result targets 7 of 10 rounds; production AES is unaffected. Source: Anthropic Frontier Red Team.

Jul 29, 2026 · ♥ 1

Dr. Mirman @mmirman

Agents can finish the task and still fail the job. The benchmark covers 65 tasks governed by policies 20–124 pages long. Audit the agent's decisions and tool calls, not only its final answer. https://t.co/DuMRbTYH2e

Jul 29, 2026 · ♥ 1

Dr. Mirman @mmirman

Alibaba Cloud ran 900 repair trajectories to prove your coding agent finds the correct fix and then talks itself out of it on the very next loop. across 30 HumanEval repairs correctness falls from 0.820 after one forced revision to 0.673 after two, even though a correct patch https://t.co/rjIAmwxtsz

Jul 28, 2026 · ♥ 2

Founder at DataSuite YC W23

Intro paths

Matthew went through Y Combinator (Winter 2023) — any YC alum in your network can reach them through the YC community.

→

In turn, Matthew can intro founders to DataSuite's investors below.

DataSuite's investors · 1

Y Combinator

Co-founders at DataSuite

James SpoorFounder

Experience

chat.devFoundercurrent2026 — presentNew York, New York, United States
ExtensionalFounder2022 — 2026
ETH ZurichPHD Researcher2017 — 2022Zürich Area, Switzerland
GoogleSoftware Engineer, Impromptu Intern2016 — 2017Mountain View, CA
AppleSoftware Engineer2013 — 2015United States
PayPalSoftware Architect2013New York, United States
BraintreeSoftware Architect2013New York, United States
VenmoSoftware Engineer2013New York City
Carnegie Mellon UniversityTeaching Assistant2010 — 2013Pittsburgh, PA
Carnegie Mellon UniversityUndergraduate Researcher2009 — 2012Pittsburgh, PA
Palantir TechnologiesSoftware Engineering Intern2012
TaggedSoftware Engineering Intern2011

Education

ETH ZürichDoctor of Computer Science (PhD), Computer Science2017 — 2022
Y CombinatorW23, Entrepreneurship/Entrepreneurial Studies2023
Carnegie Mellon UniversityMaster of Science (M.S.), Computer Science2012 — 2013
Carnegie Mellon UniversityB.S., Computer Science2009 — 2012
Stanford University Graduate School of BusinessStanford Ignite, Business and Innovation2016

Skills & more

3DGamingOpen-Source Development14Generative AI12Large Language Models (LLM)10Machine Learning10C++17Python10Artificial Intelligence2Mathematics3Algorithms4Software Engineering1

+12 more

Software DevelopmentComputer VisionCJavaScriptPyTorchTensorflowPython (Programming Language)AgdaHaskellType TheoryComputational GeometryCompilers

Languages English · French · German