Anyone at the University of Michigan?

Stream: Geographic locality

[Will Bradley]

I am an undergrad looking at doing research this summer at the University of Michigan. Are there any professors there known for liking Lean? Thanks!

[Kevin Buzzard]

Karen Smith and I have had some discussions about lean although I don't think she's a lean user, more just lean-interested.

[Kevin Buzzard]

She might know a better answer to your question though (she's not on this zulip AFAIK)

[Notification Bot]

This topic was moved here from #job postings > Anyone at the University of Michigan? by Patrick Massot.

[Max New]

I am a professor in the computer science department and I mostly use Agda but I have one PhD student working with Lean and looking at experimenting with it a bit more.