✌️
PhD Student @ TU Dresden. Interested in probabilistic model checking, neural network verification and formal methods in general.
-
TU Dresden
- Dresden, Germany
- https://calvin-chau.com
- https://orcid.org/0000-0002-3437-0240
- in/calvin-chau-tum
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.