Name:Slim Lim

Bio:

I am an itinerant PhD student and software engineer at UC Berkeley and Notion, respectively. I work with Sarah Chasins. My interests lie in the intersection of type theory and usability: how do formal properties of rich type systems make it easier for programmers to accomplish tasks, and how can we design the system to overcome added complexity? I received my bachelor’s degree in computer science from Northwestern University, where I published primarily in HCI, including a study of implicit dependencies between CSS properties.

My pronouns are she/her and I prefer to go by “Slim,” even with people I don’t know well.

Country:United States

Affiliation:UC Berkeley, Notion Labs

Research interests:type systems, structural subtyping, human factors