Computing nowadays is inherently distributed. Be it a mainstream multi-core machine, a computing cluster, or a large-scale distributed service, a modern computing system involves multiple processes that concurrently perform independent computations and communicate to synchronize their activities. Understanding distributed computations is therefore essential to be competitive in computing, be it in the academia or in industry.
The school offers courses on a range of practical and theoretical aspects of distributed systems given by renowned experts in the field. This year the program will include, but is not restricted to, the following topics:
All talks are given in English.
The school is open to anyone interested in theoretical and practical aspects of distributed computing. There are no special prerequisites, though the attendees are expected to have certain maturity in math and programming.
Michael L. Scott is the Arthur Gould Yates Professor of Engineering and incoming Chair of the Department of Computer Science at the University of Rochester, in Rochester, NY, USA. A Fellow of the ACM and the IEEE, he is best known for work in synchronization and concurrent data structures, in recognition of which he shared the 2006 SIGACT/SIGOPS Edsger W. Dijkstra Prize. He is the author or co-author of more than 170 refereed publications, including Programming Language Pragmatics (4th ed., Morgan Kauffman, 2016), a textbook in use at more than 200 schools around the world, and Shared Memory Synchronization (Morgan & Claypool, 2013), a standard reference in the field. He received the University of Rochester's Goergen Award for Distinguished Achievement and Artistry in Undergraduate Teaching in 2001 and the Lifetime Achievement Award of the Hajim School of Engineering and Applied Sciences in 2018. His textbook on programming language design and implementation (Programming Language Pragmatics, 4th ed., Morgan Kauffman, 2016) is used at more than 200 universities around the world.
In the java.util.concurrent library, he is a co-inventor of the ConcurrentLinkedQueue, Exchanger, and SynchronousQueue classes.
Currently, Alexey Paznikov is Associate Professor at Saint Petersburg Electrotechnical University “LETI”. He received his Ph.D. degree in 2013 under the guidance of professor Mikhail Kurnosov and started his first professor's appointment at the SibSUTIS university. His research interests mainly focus on parallel and distributed computing, parallel programming tools and models, communication libraries, and runtime systems. Currently, he is concentrating on MPI (optimizations in remote memory access and hybrid models, distributed data structures, topology-aware task mapping, and collective operations) and multithreading (scalable locks, non-blocking synchronization, relaxed concurrent data structures).
Professor of electrical engineering and an author of more than 180 articles which gave her an h-index of 38 and were cited more than 5,000 times. Some of them were published in such journals as Journal of Parallel and Distributed Computing and SIAM Journal on Computing.
Jing Chen is Chief Scientist and Head of Theory Research at Algorand Inc. She is an Assistant Professor in the Computer Science Department at Stony Brook University, and an affiliated assistant professor at the Economics Department. Her main research interests are distributed ledgers, game theory, and algorithms. Jing received her bachelor's and master’s degrees in computer science from Tsinghua University, and her PhD in computer science from MIT. Jing received the NSF CAREER Award in 2016.
Computer science professor Prasad Jayanti began his career studying mechanical engineering at the Indian Institute of Technology in Madras. While pursuing his master’s degree in the same field at the University of Delaware, Jayanti discovered a different calling: computer science, with an emphasis in concurrent algorithms. For over two decades, he has worked at the College, teaching nine different undergraduate courses. Currently Jayanti is teaching Computer Science 1, "Introduction to Programming and Computing."
Christian Cachin is a professor of computer science at the University of Bern, where he leads the cryptology and data security research group since 2019. Prior to that he worked for IBM Research - Zurich during more than 20 years. He has held visiting positions at MIT and at EPFL and has taught at several universities during his career in industrial research. He graduated with a Ph.D. in Computer Science from ETH Zurich in 1997. He is an ACM Fellow, an IEEE Fellow, recipient of multiple IBM Outstanding Technical Achievement Awards, and has also served as the President of the International Association for Cryptologic Research (IACR) from 2014-2019.
With a background in cryptography, he is interested in all aspects of security i n distributed systems and especially in cryptographic protocols, consistency, consensus, blockchains, and cloud-computing security. He has developed many cryptographic protocols, particularly for achieving consensus and for executing distributed cryptographic operations over the Internet. In the area of cloud computing, he has contributed to standards in storage security and developed protocols for key management.
He has co-authored a textbook on distributed computing titled Introduction to Reliable and Secure Distributed Programming. While at IBM Research he made essential contributions to the development of Hyperledger Fabric, a blockchain platform aimed business use.
Alexey Gotsman is an Associate Research Professor at the IMDEA Software Institute in Madrid, Spain. Before joining IMDEA, Alexey was a postdoctoral fellow at the University of Cambridge, where he also got Ph.D. His research interests are at the intersection of software verification and distributed computing.
Assistant Professor of Peter the Great St-Petersburg State Polytecnic University. Her research interests are modeling embedded logic control systems, formal verification of distributed systems and algorithms, formal specification of embedded logic control systems, previous interests: architecture of distributed computing systems (grid-systems).
Matthieu did a Ph.D. in algebraic-geometric codes and is currently an associate professor in blockchains and multiparty computation.
A full professor ("professor catedrático") at IST, and a member of the INESC-ID research laboratory.
Previously, he was an associate professor at the Universidade Nova de Lisboa, a tenure-track faculty at MPI-SWS, and a graduate student at MIT.