![Ivan Perez](https://icfp20.sigplan.org/getProfileImage/ivanperez/bb7c3a2e-85ab-48c2-b13e-25aa0d638a99/small.jpg?1711486585000)
Registered user since Fri 19 May 2017
Name:Ivan Perez
Bio:
Researcher @ NIA / NASA Formal Methods
Affiliation:NIA / NASA Formal Methods
Research interests:Formal Methods, FRP
Contributions
ICFP 2020-profile
View general profile
View general profile
Registered user since Fri 19 May 2017
Researcher @ NIA / NASA Formal Methods
Contributions