Kristóf Marussy kris7t

Researcher working in the formal verification of extra-function properties for reconfigurable systems

@ftsrg
Budapest, Hungary
https://marussy.com
https://orcid.org/0000-0002-9135-8256
https://pleroma.marussy.com/users/kristof

@kris7t's activity is private