Andrea Gilot

@agilot

PhD at Uppsala University, verifying floating-point programs: andreagilot.com