# Lucas Bang

![](images/lucas.png "Lucas Bang Photo"){width=250}

## About Me

My name is Lucas Bang (he/him). 

I am an assistant professor in the [Department of Computer Science](https://www.cs.hmc.edu) at [Harvey Mudd College](https://www.hmc.edu).

More information is available in my CV.

[Lucas Bang CV (PDF)](lucas-bang-cv.pdf "Lucas Bang CV PDF")


## Teaching 

I currently teach 

- Programming Languages (HMC CS 131).

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).

## Scholarship 

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.


## 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/meeting>


### Mailing address

Department of Computer Science  

Harvey Mudd College

301 Platt Blvd.

Claremont, CA 91711 USA

[Occupied](https://usdac.us/nativeland) 
[Tongva](https://en.wikipedia.org/wiki/Tongva)
[Territory](https://www.latimes.com/projects/la-me-tongva-map/)



## Personal Interests

### Books
  
[My Personal Library](https://www.librarything.com/catalog/lucasbang) (LibraryThing)

[My Library Catalog](https://www.librarycat.org/lib/lucasbang) (TinyCat)

### Minimalist Internet 

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.

- [Markdown source code for this page](index.md.txt)
- [HTML generated by Pandoc for this page](index.html.txt)
- [Pandoc](https://pandoc.org/)

Other minimal web things that I enjoy:

- [tilde.town](https://tilde.town/)
- [tilde.team](https://tilde.team/)
- [ascii.town](https://ascii.town/)
- [Project Gemini](https://gemini.circumlunar.space/)

---

Last updated September 2023