Explore projects

Predictive control for nonlinear stochastic systems: Closed-loop guarantees with unbounded noise

Modularized Hierarchical Classification for Scholarly Publications

Model transformations and examples of the paper Model-driven Privacy.

Formal Methods and Functional Programming

latency measurements for ETH Zurich's server colocation RFP.