Friday, November 8, 2021

Meet the 25 PhD Team Members of Cardano Developer, IOHK

Cardano Blockchain 3.0, Developed by Input Output HK


InputOutput Hong Kong (IOHK), based in Cheyenne WY, is the developer of the Cardano Blockchain 3.0 and the ADA cryptocurrency. The Cardano platform is the first designed and built to academic and scientific standards; additionally, the technically advanced blockchain is peer-reviewed by academia, audited by a third-party, and features a provably secure Proof of Stake (PoS) algorithm.
 
The IOHK organization has an exceptional team to support their mission to advance blockchain technology for the greater good, including an astounding 25+/- researchers and engineers with PhD's; additionally, there are numerous other talented team-members with MSc degrees, multiple degrees, and many years of experience. Click to view all: IOHK Team Members
 
Cardano ADA Developer IOHK PhD Team Members
  

Input Output PhD Team Members

 
Prof. Aggelos Kiayias, PhD, Chief Scientist
Dr. Aggelos Kiayias is the Chair in Cybersecurity and Privacy at the University of Edinburgh; he holds a PhD from the City University of New York and a BSc in mathematics from the University of Athens.

Prof. Philip Wadler, PhD, Senior Research Fellow
Dr. Philip Wadler is professor of theoretical computer science at the University of Edinburgh and senior research fellow at IOHK since 2017; he received a BSc in Mathematics from Stanford University, a MSc in Computer Science from Carnegie Mellon University and a PhD in Computer Science at Carnegie Mellon University.

Prof. Elias Koutsoupias, PhD, Senior Research Fellow
Dr. Elias Koutsoupias is a professor of computer science at the University of Oxford; he holds a BSc in Electrical Engineering from the  National Technical University of Athens and PhD in Computer Science from the University of California, San Diego.

Prof. Emilios Avgouleas, PhD, Senior Research Fellow
Dr. Emilios Avgouleas holds the International Banking Law and Finance Chair at the University of Edinburgh, and is the founding director of the Edinburgh LLM in International Banking Law and Finance; he has a PhD from the London School of Economics and has also held (or is invited to hold) a number of visiting posts with other leading academic institutions, including Duke University, the University of Hong Kong, Harvard University, and Yale Law School.

Prof. Simon Thompson, PhD, Senior Research Fellow
Dr. Simon Thompson is a researcher, author and teacher, and professor of logic and computation at the University of Kent; he has an MAc in Mathematics from the Univ. of Cambridge and a PhD. in mathematical logic from the Univ. of Oxford.

Prof. Roman Oliynykov, PhD, Research Fellow
Dr. Roman Oliynykov is a Ukrainian cryptographer, IT security researcher and lecturer. He graduated from Kharkiv National University of Radioelectronics in Ukraine in computer engineering and security; his PhD is in symmetric cryptography.

Mario Larangeira, PhD, Research Fellow
Dr. Mario Larangeira is a computer engineer and cryptographer who attended the Aeronautical Institute of Technology in Brazil and holds a MSc and PhD from the Tokyo Institute of Technology.

Peter Gaži, PhD, Research Fellow
Dr. Peter Gaži did his master studies in computer science at Comenius University in Bratislava, and obtained his PhD in cryptography from ETH Zurich under the supervision of Ueli Maurer. Later he worked as a postdoctoral researcher in the cryptography research group of Krzysztof Pietrzak at the Institute of Science and Technology in Austria.

Markulf Kohlweiss, PhD, Research Fellow
Dr. Markulf Kohlweiss is Senior Lecturer in the Security and Privacy research group at the University of Edinburgh: he holds a PhD in cryptography from the KU Leuven and was a researcher at Microsoft Research Cambridge in the Programming Principles and Tools group.

Bingsheng Zhang, PhD, Research Fellow
Dr. Bingsheng Zhang is the program director of Lancaster University’s Master’s degree in cyber security, and leader of Security Lancaster. Dr. Zhang specializes in cryptography, verifiable electronic voting (e-voting), and zero-knowledge proofs. In recent years, his research efforts have focused mainly on secure computing, collaborative decision making, and blockchain security.

Nikos Karagiannidis, PhD, Research Fellow
Dr. Nikos Karagiannidis is a data management and database expert with a strong research background and a PhD in computer science and databases from the National Technical University of Athens, acquired under the supervision of eminent data scientist Professor Timos Sellis.

Mirjam Wester, PhD, Senior Research Manager
Dr. Mirjam Wester worked as a research scientist for 20 years in the field of speech technology; she has a PhD from Radboud University in the Netherlands in automatic speech recognition and was a research fellow at the University of Edinburgh for 13 years.

Duncan Coutts, PhD, Int'l Director of Engineering
Dr. Duncan Coutts is a computer scientist and a Haskell consultant and community member; he holds a BSc and a PhD in computer science from the Univ. of Oxford, he has been using Haskell for nearly 20 years.

Lars Brünjes, PhD, Director of Education
Dr. Lars Brünjes holds a PhD in pure mathematics from the University of Regensburg in Germany. After a postdoctoral year at the University of Cambridge in the UK and several years of research and teaching at Regensburg, he spent a decade working as a lead software architect on mathematical optimization software and web applications for an international IT company.

Philipp Kant, PhD, Director of Formal Methods
Dr. Philipp Kant obtained his PhD in theoretical physics from Karlsruhe Institute of Technology in Germany. He spent six years as a researcher, studying the Higgs boson and top quarks, and developing algorithms for calculations in perturbative quantum field theory.

Neil Davies, PhD, C.Eng, CITP, System Performance Scientist
Dr. Neil Davies is an expert in resolving the practical and theoretical challenges of large-scale distributed and high-performance computing. He is a computer scientist, mathematician and hands-on software developer with a PhD from the Univ. of Bristol.

Matthias Güdemann, PhD, Formal Methods Software Engineer
Dr. Matthias Güdemann holds a Ph.D in Computer Science from the Otto-von-Guericke University Magdeburg. Before joining IOHK he worked on formal verification of software for autonomous light rail at Systerel, France and on using software model-checking for automated test-case generation for Java at Diffblue, UK.

Marcin Szamotulski, PhD, Haskell Developer
Dr. Marcin Szamotulski studied at the College of Inter-Faculty Individual Studies in Mathematics and Natural Sciences at Warsaw University, focusing on physics, mathematics and psychology. He holds a PhD in mathematics from the Technical University of Lisbon.

Manuel Chakravarty, PhD, Language Architect
Dr. Manuel Chakravarty is a researcher and developer specialising in programming languages and compilers with a focus on functional programming; he was an associate professor at UNSW Sydney, holds a PhD from the Technical University of Berlin, and received an MSc from Karlsruhe Institute of Technology.

Pawel Jakubas, PhD, Haskell Developer
Dr. Pawel Jakubas has an MSc in finance and banking from Warsaw School of Economics, and an MSc (Eng) from Warsaw University of Technology. He did research into condensed matter theory using high-performance computing to gain a PhD in physics from the Polish Academy of Sciences.

Marc Fontaine, PhD, Haskell Developer
Dr. Marc Fontaine has a PhD in computer science from the Heinrich Heine University in Düsseldorf. Before joining IOHK, he worked on formal methods tools, domain-specific languages, and web applications; his favorite programming language is Haskell.

Dmytro Kaidalov, PhD, Research Fellow
Dr. Dmytro Kaidalov is a cryptographer and a software developer; he graduated from Kharkiv National University of Radioelectronics with a master’s degree in Information Security. In 2016 he defended his PhD work in the area of symmetric cryptography; he has a master’s degree in Software Development from Linnaeus University in Sweden.

Andrii Nastenko, PhD, Junior Research Fellow
Dr. Andrii graduated from Kharkiv National University of Radioelectronics in Ukraine with expertise in Security Informational Technologies; after further research activities, he received a PhD degree in Symmetric Cryptography.

Christian Seberino, PhD, Education
Dr. Christian Seberino is currently an adjunct professor as well as an instructor for computer programming, mathematics and science. He is also a developer with over 20 years of experience. He has done classified cryptography work with the NSA and worked with many other government agencies and corporations such as Google; he has a PhD in Theoretical Physics fromt the Univ. of California, San Diego.

Lei Hao, PhD, Director of Chinese Operations
Dr. Lei Hao is an expert on technology and communication, holding a PhD in media and communications from Goldsmiths, University of London; he is an entrepreneur with extensive experience helping overseas blockchain projects navigate the complexity of China’s digital ecosystem.

Join the Revolution · Cardano Blockchain 3.0