Tenure-track faculty at CISPA. Formal Methods Enthusiast.
Sorry, but the page you were trying to view does not exist.