Hi friends, I'm really excited to announce that I will start as an Assistant Professor at @IllinoisCS in October! I will be joining the already wonderful and huge @plfmse group 😊. Please apply to work with me if you're interested in building a world of proof engineering for all!
I want to acknowledge quickly that I was extremely lucky to have a difficult decision to make. I've really, really loved meeting with so many wonderful people and talking to all of you throughout the job search season, and I really do hope to stay in touch!
But I am also extremely excited about this opportunity! I'm also really excited to build connections to other midwest schools. @certifiablyrand and I have been talking about social and research connections between UIUC and UChicago!
I'm super hoping to host some hikes at Turkey Run and invite all of the PL folks at Indiana, like @samth and his students. And all of the PL folks at Purdue, like @GhostofBendy and @roopshasamanta and their students.
Wisconsin is also not too far, if @lorisdanto and friends want to meet for some joint socialization, too. God knows I love building social and research bridges, so I'm going to have a lot of fun being at the heart of the midwest PL world.
But back in Urbana-Champaign, I'm excited to join the same year as @camPossible---a grad school friend! And I'm excited to join such a huge and wonderful department. New adventures await!
Oh, and finally, huge thanks to @uwplse and @uwcse for everything---what an amazing lab and university to be a part of for this grad school adventure. And thanks to my advisor @djg98115 for the patience, wisdom, and dad jokes along the way 😊
• • •
Missing some Tweet in this thread? You can try to
force a refresh
