Jordan Schmerge

Jordan Schmerge

He/Him/His

Formal Methods PhD Student at Yale

Teaching

CPSC 4150 - Law and Large Language Models

Undergraduate course, Yale University, Computer Science, 2024

I was a TA under Dr. Ruzica Piskac and Dr. Scott Shapiro, supporting Law and LLMs. This course is an interdisciplinary effort between the computer science department and law school to explore how techniques from automated reasoning can apply in legal contexts, how and where LLMs can (and can’t yet) assist, and why legal applications pose unique challenges for reasoning. I worked for this class in Spring 2025 and Spring 2026.

CPSC 2020 - Mathematical Foundations of CS

Undergraduate course, Yale University, Computer Science, 2024

I was a TA under Dr. Quanquan Liu and Dr. Dylan McKay, then under Dr. Dylan McKay, supporting Mathematical Foundations of CS. This course was many students first exposure to the mathematical and theoretical side of CS, including basic logic, proof techniques, graphs, combinatorics, probability, and more. I worked for this class in Fall 2024 and Fall 2025.

CSCI 341 - Computer Organization

Undergraduate course, Colorado School of Mines, Computer Science, 2020

I was a course instructor under Dr. Vibhuti Dave, teaching Computer Organization. This course was many students first exposure to low level CS details, including MIPS assembly language, hardware datapaths, floating point numbers, and more. I taught one section in Fall 2020.

CSCI 101 - Intro to Computer Science

Undergraduate course, Colorado School of Mines, Computer Science, 2018

I was a course instructor under Dr. Tracy Camp, teaching Introduction to Computer Science. This course was many students first exposure to a variety of CS topics, including basic algorithms, binary numbers, network and OS principals, and more. I taught 2 sections in Fall 2018, Spring 2019, and Fall 2019.