@agilot.bsky.social
17 Followers · 46 Following
PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Nothing here yet.
