Presentations Type Theory, Theory of Computation, Quantum Computation, Algebra, .. A mixture of random presentations I gave during undergrad/graduate studies at Purdue and in industry.