Speakers Hydra 2019

Maurice Herlihy has an A.B. in Mathematics from Harvard University, and a Ph.D. in Computer Science from M.I.T. 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 Gödel Prize in theoretical computer science, the 2008 ISCA influential paper award, the 2012 Edsger W. Dijkstra Prize, and the 2013 Wallace McDowell award. He received a 2012 Fulbright Distinguished Chair in the Natural Sciences and Engineering Lecturing Fellowship, and he is fellow of the ACM, a fellow of the National Academy of Inventors, the National Academy of Engineering, and the National Academy of Arts and Sciences.

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.

Leslie B. Lamport is an American computer scientist. Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems.

Cliff Click was the CTO of Neurensic (now successfully exited) and CTO and Co-Founder of h2o.ai (formerly 0xdata), a firm dedicated to creating a new way to think about web-scale math and real-time analytics.

He wrote his first compiler when he was 15 (Pascal to TRS Z-80!), although his most famous compiler is the HotSpot Server Compiler (the Sea of Nodes IR). Cliff helped Azul Systems build an 864 core pure-Java mainframe that keeps GC pauses on 500Gb heaps in the micro-second range, and worked on all aspects of that JVM. Before that he worked on HotSpot at Sun, and is at least partially responsible for bringing Java into the mainstream.

Cliff is invited to speak regularly at industry and academic conferences and holds a PhD in Computer Science and more than 20 patents.

Dr Martin Kleppmann is a researcher in distributed systems at the University of Cambridge, and author of the acclaimed "Designing Data-Intensive Applications" (O'Reilly Media, 2017). He mainly works on collaboration software, CRDTs, and formal verification of distributed algorithms. Previously he was a software engineer and entrepreneur at Internet companies including LinkedIn and Rapportive, where he worked on large-scale data infrastructure.

Dr Heidi Howard is a research fellow based at Cambridge University's Department of Computer Science and Technology. Heidi's research focuses on improving consistency, reliability and performance in distributed systems. Heidi received her BA in Computer Science from Cambridge University in 2014. In 2019, Heidi received her PhD from Cambridge University for her research on distributed consensus. Heidi is probably most widely known for her generalizations of the widely used Paxos algorithm for solving consensus, including her work on Flexible Paxos.

Nikita works on algorithms for coroutines in the Kotlin team and has been getting a PhD at IST Austria. In addition, he teaches a course on concurrency programming at ITMO University and is interested in program analysis and verification.

Ori is a faculty member in the School of Computer Science at Tel Aviv University. He did his PhD at Tel Aviv University under the supervision of Arnon Avron. In 2014, he was a postdoctoral researcher at Tel Aviv University hosted by Mooly Sagiv. After that, until September 2017, he was a postdoctoral researcher at MPI-SWS in Germany hosted by Viktor Vafeiadis and Derek Dreyer.

Ori's main areas of research are programming languages and verification, with a focus on concurrency and relaxed memory models. He's also interested in proof-theory and semantics of (non-classical) logics and automated reasoning.

Just as Charon from the Greek myths, Alexey helps people to get from one side to the other, the sides being Java and Big Data in his case. Or, in more simple words, he is a trainer at EPAM Systems. He works with Hadoop/Spark and other Big Data projects since 2012, forks such projects and sends pull requests since 2014, presents talks since 2015. His favourite areas are text data and big graphs.

Roman Elizarov works at JetBrains as Team Lead for Kotlin Libraries team, where he is focused on development and maintenance of multi-platform foundational libraries for Kotlin programming language. His main contribution in this role is design of Kotlin coroutines and development of Kotlin coroutines library.

In 2000 Roman Elizarov had graduated from St. Petersburg ITMO and started his career as a professional software developer. During his undergraduate study he participated in International Collegiate Programming Contests (ICPC). Since 1997 and until now Roman serves as a Chief Judge of Northern Eurasia Region of ICPC. He also maintains his academic ties and now teaches a course on concurrent and distributed programming at ITMO. Roman Elizarov had worked for most of his career at Devexperts, where he designed and developed high-performance trading software for leading brokerage firms and market data delivery services that routinely handle millions of events per second. He is an expert in Java and JVM, particularly in concurrency, real-time data processing, algorithms, and performance optimizations for modern architectures.

Denis Rystsov is a software engineer working at Microsoft on Cosmos DB, globally distributed, multi-model database service. His area of experience lays in testing consistency models, consensus algorithms and distributed transactions. He likes to read CS papers and apply them in practice.

Denis received his MSc in Applied Mathematics and Computer Science from SPbSU. Before joining Microsoft he worked on distributed systems at Yandex and Amazon.

When he's not into research or coding he likes to go surfing, snowboarding or practice other balance-related activities.

Pedro Ramalhete has been working in concurrent algorithms for the past 10 years, developing synchronization mechanisms and lock-free and wait-free data structures. He works at Cisco Systems, designing and implementing scalable software. His current research is in Universal Constructions, Software Transactional Memory, Persistent Memory and how to use these tools to let software developers implement correct and scalable failure-resilient applications.

Dmitry Vyukov works as a programmer at Google. He works on dynamic testing tools for C/C++ and Go — Address/Memory/ThreadSanitizer, and on similar tools for Linux kernel. He is also interested in randomized testing/fuzzing, wrote syzkaller (system call fuzzer), go-fuzz (fuzzing system for Go) and GoSmith (random program generator). Active contributor to Go language, implemented scalable goroutine scheduler, network poller and parallel garbage collector. Dmitry is an expert in multithreading, concurrency and synchronization, author of a dozen of novel lock-free algorithms, holds Intel BlackBelt title.

Alex is data infrastructure engineer, database and storage systems enthusiast, Apache Cassandra committer and PMC member, interested in storage, distributed systems and algorithms. Currently writing the Database Internals books with O'Reilly.

Software engineer. As a part of the Yandex development of data storage and processing system team Semyon worked on multitenant architecture of YDB.

Graduated from St. Petersburg State University in 2004, got a PhD degree in the field of the formal logical methods in 2007. Spent almost 9 years in outsourcing without losing contact with the university and research community. Big data analysis at Odnoklassniki became for Dmitry an unique chance to combine theoretical knowledge and scientific foundation with the development of real and popular products. And this chance he gladly took advantage of by coming there in 2011.

Developer at Yandex in the distributed platform group.