Markus de Medeiros#computer-science#phd-student#formal-methods#rust-programming#mathematics·markusde.ca·Aug 16, 2024Markus de Medeiros