Sounds interesting, but it is a long drive from Cleveland. Is anyone there associated with the Computer Science group around Pfenning and/or Harper?
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 won’t be driving down this time. Maybe the next one.
Sounds interesting, but it is a long drive from Cleveland. Is anyone there associated with the Computer Science group around Pfenning and/or Harper?
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 won’t be driving down this time. Maybe the next one.