My name is Lucas Bang (he/him).
I am an assistant professor in the Department of Computer Science at Harvey Mudd College.
More information is available in my CV.
I currently teach
In past semesters, I have taught Data Structures & Program Development (HMC CS70), Applied Logic and Automated Reasoning (HMC CS 181U), and Software Verification (HMC CS181F).
In my research, I apply principles from combinatorics and information theory to program analysis problems. You can find out more from my CV linked above.
bang@cs.hmc.edu
McGregor Computer Science Center (MCSC) 328
You can schedule a meeting with me, in person or on Zoom:
https://calendly.com/lbang/meeting
Department of Computer Science
Harvey Mudd College
301 Platt Blvd.
Claremont, CA 91711 USA
My Personal Library (LibraryThing)
My Library Catalog (TinyCat)
I am a big fan of minimal web. Minimal web is more accessible for those who use assistive technologies like screen readers and for those with low-resource computing devices.
The source code of this page is written in simple markdown and converted to plain HTML using Pandoc.
Other minimal web things that I enjoy:
Last updated September 2023