I did my undergrad at CMU, and I know Pfenning and Harper. I think I know grad students who are advised by each. I don’t think any of them frequent LessWrong, though.
I did my undergrad at CMU, and I know Pfenning and Harper. I think I know grad students who are advised by each. I don’t think any of them frequent LessWrong, though.