Research focus
About the research
How can distributed systems be designed to remain correct and timely despite faults and adversarial behavior?
Read the full research overview
The research group develops design, verification, and implementation methods for fault-tolerance, security, and timeliness in distributed systems using formal specifications and "white box" system knowledge. Methods draw from the theory of self-stabilization to create scalable dependability techniques and to distinguish correctness from dependability reasoning. Demonstrations focus on embedded sensor network applications and internet services where prototypes validate dependability properties. The group also co-directs a Smart & Connected Communities and Distributed Sensing community of practice to translate methods to practice.
Selected publications
Publication highlights haven’t been added. Explore the official research profile ↗
People & alumni
Team details haven’t been added. See the lab’s website for its current members.
Alumni details haven’t been added. Check the lab’s official website.
Sources & listing information
Find Research Labs maintains this page using public sources. The faculty member, lab, and university have not claimed or approved this listing. Listing a lab does not indicate endorsement, partnership, or a recruiting opportunity.
Request a correction or removal ↗ · About directory listings