Top 5 Tips for Theory Computer Science

Why This All Matters

Planar Machines in Theory

Fourteen DFA Examples? No Problem!

An Update

How to Become a Professor #shorts

This CompSci Video was 100% written by ChatGPT

[April Fools] Exponential Lower Bounds for Circuit Families (P ≠ NP)

Turning 30

wish me luck

ChatGPT vs. Professor's Computer Science Exam

I proved a math conjecture

How to Become a Professor in 6 Steps

All Acronyms for Theory of CS class #shorts

a student tried to bribe me once

The REAL Reason why Math/Humanities aren't "Useless"

I got a scorpion bite before my Ph.D. Defense 🦂

Top 5 Tips for Theory Computer Science #shorts

The Top Reason Why I'm a Professor

Rice's Theorem Example: Emptiness for Turing Machines

Rice's Theorem (Undecidability): 5 Proofs and Examples

Context-Free Grammar (CFG) Example: {a^i b^j c^k : i at most j+k}

Context-Free Grammar (CFG) Example: Equal Pairs

Context-Free Grammar (CFG) Example: Non-Palindromes

Context-Free Grammar (CFG) Example: Nested Pairs