Michael L. Scott is the Arthur Gould Yates Professor of Engineering and past chair of the Department of Computer Science at the University of Rochester, in Rochester, NY, USA. He is a Fellow of the ACM and the IEEE, and a recipient of the 2006 SIGACT/SIGOPS Edsger W. Dijkstra Prize.
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.
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.
Marko re-joined IBM Research in January 2015, as a Research Staff Member. Before that, he was a faculty in EURECOM, and a visiting professor at Systems Group @ ETH Zurich.
He obtained a Doctor of Science (PhD) degree in Distributed Systems from EPFL in the Distributed Programming Laboratory (LPD) in 2008. Before PhD, Marko graduated from EPFL Doctoral School in Computer and Communication Sciences in 2003 and obtained a dipl.ing. degree in Electrical Engineering (Telecommunications) from School of Electrical Engineering, University of Belgrade, in 2001.
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.
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.
Nir Shavit received B.Sc. and M.Sc. degrees in Computer Science from the Technion - Israel Institute of Technology in 1984 and 1986, and a Ph.D. in Computer Science from the Hebrew University of Jerusalem in 1990. Shavit is a co-author of the book The Art of Multiprocessor Programming. He is a recipient of the 2004 Gödel Prize in theoretical computer science for his work on applying tools from algebraic topology to model shared memory computability and of the 2012 Dijkstra Prize in Distributed Computing for the introduction of Software Transactional Memory. He is a past program chair of the ACM Symposium on Principles of Distributed Computing (PODC) and the ACM Symposium on Parallelism in Algorithms and Architectures (SPAA).
His current research covers techniques for desinging scalable software for multiprocessors, in particular concurrent data structures for multicore machines.
Tenured Associate Research Professor at the IMDEA Software Institute. 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.