Trustworthy Distributed Systems
Formal methods and programming languages for trustworthy and dependable distributed systems provide abstractions for developers and architect to design and implement distributed systems with formal guarantees. Sub-projects:
- OOP Manipulation via Co-Inductive Intersection Types
- Reliable Software for Event-driven Architectures
Safe and secure continuation in Resilient Systems (ResilientDS)
Mechanical proofs for safe and secure continuation in resilient systems using proof assistants.
Combinatory Logic Synthesizer (CLS)
Automatic program synthesis from component libraries using semantic specifications. (with Jan Bessai, George T. Heineman, and Jakob Rehof)
Youtube video of Hydrocluster application
PAPRiCaS
Programming technology foundations for Accountability, Privacy-by-design & Robustness in Context-aware Systems
Dependable Distributed Systems with Privacy Guarantees
Dependable system for manufacturing, supply chains, and healthcare with formal guarantees for privacy and security.
Team Members
Xikun Jiang
Postdoctoral fellow
Facebook-f
Twitter
Google-plus-g
Haiqin Wu
Associate Professor
Facebook-f
Twitter
Google-plus-g
Li Quan
Ph.D. Student