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 (LibraryThing)

My Library Catalog (TinyCat)

Last updated May 2026