pleroma.marussy.com

The Unclear Impact

I'm an assistant professor working on the extra-functional requirements and formal verification of cyber-physical system architectures. I also like free (as in liberty) software, privacy enhancing ...