
Feb
20
TLA+ for All: Running Model Checking in a Python Notebook
2 min read
Jul
07
Jazz Piano Playlist on Spotify
1 min read
Jun
21
New NSF grant: Exploring The Risks and Rewards of Large Language Models in Enabling Energy-Efficient Data Center Software Infrastructure
1 min read
Jun
21
Join Us at the EduHPC Workshop at SC24 in Atlanta, GA!
2 min read
Jun
09
Welcome to my new web site, blog, and newsletter!
1 min read