Dutch Formal Methods Day 2024 (series) / Sina Hazratpour
Registered user since Wed 10 Apr 2024
Name:Sina Hazratpour
Affiliation:Johns Hopkins University
Personal website: https://sinhp.github.io
X (Twitter): https://x.com/sina_htpr
GitHub: https://github.com/sinhp
Research interests:Category Theory, Formal Methods, Machine Learning
Contributions
2024
Dutch Formal Methods Day
Dutch Formal Methods Day 2024-profile
View general profile
View general profile