Resilient Basic Services for Distributed Systems

预期的研究涵盖了几个（部分重叠）的主题在分布式计算的子领域的时钟同步，图形算法，和无线网络。共同的主题是提供低级别的构建块，这些构建块在对相应系统属性的现实假设下可证明是有效的。这需要并行考虑组件的可靠性、通信的不确定性、有限的计算能力或知识、并发性等问题-忽略一个参数可能会使导出的理论在实践中无用。

The intended research covers several (partly overlapping) subjects in distributed computing from the subareas of clock synchronization, graph algorithms, and wireless networks. The common theme is to provide low-level building blocks that are provably efficient under realistic assumptions on the properties of the respective system. This requires to consider issues like reliability of components, uncertainty of communication, limited computational power or knowledge, concurrency, etc. in parallel - neglecting just one parameter might render the derived theory useless in practice.