Principles of Blockchain Systems / Synthesis Lectures on Computer Science (PDF)

General Chair of PODC 2015, the Self-Stabilizing Systems Track Program Committee co-Chair of SSS 2017, the General co-Chair of ApPLIED 2018 and ApPLIED 2019, and the PC co-Chair of NETYS 2020. Since January 2018, he has been on the editorial board of Information Processing Letters. Dr. Georgiou's research has been funded by the University of Cyprus, the Cyprus Research and Innovation Foundation, and the European Commission.Maurice Herlihy has an AB in Mathematics from Harvard University, and a PhD in Computer Science from MIT. He is currently the An Wang Professor of Computer Science at Brown University. He has served on the faculty of Carnegie Mellon University and the staff of DEC Cambridge Research Lab. He is the recipient of the 2003 Dijkstra Prize in Distributed Computing, the 2004 Godel Prize in theoretical computer science, the 2008 ISCA influential paper award, the 2012 Edsger W. Dijkstra Prize, and the 2013 Wallace McDow ell award. He received a 2012 Fulbright Distinguished Chair in the Natural Sciences and Engineering Lecturing Fellowship, and he is a fellow of the ACM, as well as a fellow of the National Academy of Inventors, the National Academy of Engineering, and the National Academy of Arts and Sciences. His research focuses on various aspects of parallel and distributed computing, including linearizability, lock-free and wait-free synchronization, transactional memory, concurrent data structures, and blockchain.Maria Potop-Butucaru has been a full professor at the Sorbonne University since 2012, and she has led the Network and Performance Analysis team in LIP6 laboratory since 2018. She received her BSc in Computer Science in 1996 from University Al. I Cuza, Iasi, Romania, and her MSc in 1997 jointly from University Al. I Cuza and Paris XI University, Orsay, France. She received her PhD in 2000 from Paris XI University, France. She was Associate Professor in University Rennes 1 from 2001 to 2006, then Associate Professor at Sorbonne University (former Pierre and Marie Curie University) from 2006 to 2011. Her research interests are distributed systems resilient to multi-faults and attacks (crash, Byzantine, transient, etc.). She is interested in self* (self-organizing, self-healing, and self-stabilizing) and secure static and dynamic distributed systems (e.g., blockchains, peer-to-peer networks, sensors, and robot networks). She focuses in particular on the conception and proof of dependable distributed algorithms for fundamental distributed computing problems: communication primitives (e.g., broadcast, converge-cast, etc.), self* overlays (various spanning trees, P2P overlays, etc.), coherence and resource allocation problems (storage, mutual exclusion, etc.), consensus or leader election. She is editor of blockchain-related special issues of Annals of Telecommunications and Theoretical Computer Science. She served as PC member, chair, or general chair for several venues in distributed computing SSS, OPODIS, DISC, PODC, etc. She was deputy director of the Computer Science Master School in Sorbonne University.