Kristóf Marussy

https://marussy.com [email protected]

@ftsrg Budapest, Hungary Researcher working in the formal verification of extra-function properties for reconfigurable systems