Will Crichton
Shriram KrishnamurthiThis is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!
To be clear, this isn't to work SOLELY with me. At Brown we have both great software (https://cs.brown.edu/research/plt/) and systems (https://systems.cs.brown.edu/index.html) groups with lots of amazing people. Even the systems folks are software-adjacent, having been trained well. (-:
In particular, this is the best back door way of getting to also work with
@tonofcrates
on someone else's dime (mine). You know you want to! I would. (And also Tim Nelson, Kathi Fisler, Rob Lewis, Milda Zizyte, Nikos Vasilakis, Malte Schwarzkopf, Akshay Narayan, and others.)
@tonofcrates
on someone else's dime (mine). You know you want to! I would. (And also Tim Nelson, Kathi Fisler, Rob Lewis, Milda Zizyte, Nikos Vasilakis, Malte Schwarzkopf, Akshay Narayan, and others.)
Things we're specifically working on/looking at right now include diagramming and spatial semantics, OxCaml, Lean, Alloy/Forge, human-in-the-loop agentic AI, etc., and education research around each of these. It's buzzing around here!
mnl mnl mnl mnl mnl
José Manuel Calderón Trilla