Pleroma.marussy.com
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 ...