Profile banner
John Whaley

John Whaley

Cybersecurity entrepreneur, AI founder, and Stanford Adjunct Lecturer

Palo Alto, California
inceptionstudio+1
Joined May 2025
Favicon imagelinkedin.com
Favicon imagex.com
Favicon imagesuif.stanford.edu
Favicon imageinceptionstudio.capital

Network

8.3K connections
📈
Growth & Go-to-Market Leaders
💡
Startup Founders & Investors
🏢
Prove Identity Employees
💻
Software Engineers
🔒
Digital Identity & Fraud Prevention
🎓
Stanford CS & Engineering Faculty/Alumni
🌐
...

Summary

John Whaley is a highly accomplished serial entrepreneur in the cybersecurity and AI sectors, having founded three cybersecurity companies: Moka5 (desktop virtualization), UnifyID (behavioral biometrics, acquired by Prove), and Redcoat AI (AI-powered cybersecurity). He also established Inception Studio, a non-profit accelerator dedicated to supporting AI-native founders. mlconf+4
With a strong academic background, John Whaley holds a Ph.D. in Computer Science from Stanford University and both a B.S. and M.Eng. in Electrical Engineering and Computer Science from MIT (with a perfect 5.0 GPA). He is an Adjunct Lecturer at Stanford, where he teaches on compilers and Generative AI, demonstrating a commitment to education and mentorship in advanced technical fields. stanford+3
His expertise spans compilers, program analysis, software engineering, and virtual machines, with significant contributions to dynamic compilation, optimization of object-oriented languages, and pointer analysis. He developed the open-source Joeq virtual machine and compiler infrastructure and bddbddb, a powerful BDD-based program analysis tool. stanford+2
Recognized for his research, John Whaley received the Arthur L. Samuel Thesis Award for Best Doctoral Thesis at Stanford and a Best Paper Award at PLDI 2004. His academic work is highly cited and foundational, with his contributions to compilers forming the basis of Chapter 12 of the stanford+1

Work

Education

Projects

Writing

Context-Sensitive Pointer Analysis using Binary Decision Diagrams

March 1, 2007

His Ph.D. thesis from Stanford University, which made key contributions to program analysis.

Favicon imagesuif.stanford.edu

Effective Static Race Detection for Java

June 1, 2006

A research paper presented at PLDI 2006, co-authored with Mayur Naik and Alex Aiken.

Favicon imagesuif.stanford.edu

Using Datalog with Binary Decision Diagrams for Program Analysis

November 1, 2005

A paper presented at APLAS 2005, co-authored with Dzintars Avots, Michael Carbin, and Monica S. Lam.

Favicon imagesuif.stanford.edu

Reflection Analysis for Java

November 1, 2005

A paper presented at APLAS 2005, co-authored with Benjamin Livshits and Monica S. Lam.

Favicon imagesuif.stanford.edu

Heuristics for Dynamic and Profile-driven Method-level Speculative Parallelization

June 1, 2005

A paper presented at ICPP 2005, co-authored with Christos Kozyrakis.

Favicon imagesuif.stanford.edu

Context-Sensitive Program Analysis as Database Queries

June 1, 2005

An invited paper presented at PODS 2005, co-authored with Monica S. Lam, Benjamin Livshits, Michael Martin, Dzintars Avots, Michael Carbin, and Christopher Unkel.

Favicon imagesuif.stanford.edu

Joeq: A Virtual Machine and Compiler Infrastructure (Science of Computer Programming Journal)

January 1, 2005

A journal article describing the Joeq project.

Favicon imagesuif.stanford.edu

Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams

June 1, 2004

A Best Paper Award-winning paper presented at PLDI 2004, co-authored with Monica S. Lam.

Favicon imagesuif.stanford.edu

Joeq: A Virtual Machine and Compiler Infrastructure (Workshop on Interpreters, Virtual Machines, and Emulators)

June 1, 2003

A paper describing the Joeq project presented at IVME 2003.

Favicon imagesuif.stanford.edu

An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages

September 1, 2002

A paper presented at SAS 2002, co-authored with Monica S. Lam.

Favicon imagesuif.stanford.edu

Notes

SGSai Gurrapusaid they've seen
JWJohn Whaley
successfully lead a development team of 3-10 people as CTO or technical CEO.

Oct 31, 2025

SRSri Raghu Malireddisaid
JWJohn Whaley
is a standout leader among AI founders they know.

Oct 7, 2025

DADorian Averbuchsaid
JWJohn Whaley
is one of the most impressive founders they know in the AI space.

Oct 6, 2025