@jhdavis8.bsky.social
CS PhD Student and NSF Fellow at the University of Maryland. Interested in HPC, AI, model checking, philosophy, transit, urbanism, and more.
