Lucas Bang

About Me

My name is Lucas Bang.

My pronouns are he / him.

I am an Associate Professor in the Department of Computer Science at Harvey Mudd College.

More information is available in my CV.

Teaching

Fall 2026 Courses:

• Programming Languages (CS 131)
• Introduction to Engineering Design and Manufacturing (E4)

In previous semesters, I have taught:

• Computability and Logic (CS 81)
• Topics in the Foundations of Computation (CS 181AU)
• Programming Languages (CS 131)
• Minds, Brains, and Programs (COGS 123 / NEUR 125)
• Data Structures & Program Development (CS 70)
• Applied Logic and Automated Reasoning (CS 181U)
• Software Verification (HMC CS181F)

Scholarship

I have mostly applied principles from combinatorics and information theory to program analysis problems.

You can find some of my work on:

• DBLP
• Google Scholar

I also make art, and sometimes give talks at philosophy and literature conferences.

More details are available on my CV page.

Contact Information

Email

bang@cs.hmc.edu

Office

McGregor Computer Science Center (MCSC) 328

Meetings

You can schedule a meeting with me, in person or on Zoom:

https://calendly.com/lbang/new-meeting

Mailing address

Department of Computer Science

Harvey Mudd College

301 Platt Blvd.

Claremont, CA 91711 USA

Occupied Tongva Territory

Personal Interests

Books

My Personal Library

Last updated May 2026