John Ridgway studied physics at the University of Newcastle Upon Tyne and Sussex University before embarking upon a career in software engineering. As part of that career he worked for 28 years in the field of Intelligent Transport Systems (ITS), undertaking software quality management and systems safety engineering roles on behalf of his employer, Serco… Read more »
Posts By: Luke Muehlhauser
David Cook on the VV&A process
Dr. David A. Cook is Associate Professor of Computer Science at Stephen F. Austin State University, where he teaches Software Engineering, Modeling and Simulation, and Enterprise Security. Prior to this, he was Senior Research Scientist and Principal Member of the Technical Staff at AEgis Technologies, working as a Verification, Validation, and Accreditation agent supporting the Airborne Laser. Dr. Cook… Read more »
Robert Constable on correct-by-construction programming
Robert L. Constable heads the Nuprl research group in automated reasoning and software verification, and joined the Cornell faculty in 1968. He has supervised over forty PhD students in computer science, including the very first graduate of the CS department. He is known for his work connecting programs and mathematical proofs, which has led to… Read more »
Armando Tacchella on Safety in Future AI Systems
Armando Tacchella is Associate Professor of Information Systems at the Faculty of Engineering, at the University of Genoa. He obtained his Ph.D in Electrical and Computer Engineering from the University of Genoa in 2001 and his “Laurea” (M.Sc equivalent) in Computer Engineering in 1997. His teaching activities include graduate courses in AI, formal languages, compilers,… Read more »
Anders Sandberg on Space Colonization
Anders Sandberg works at the Future of Humanity Institute, a part of the Oxford Martin School and the Oxford University philosophy faculty. Anders’ research at the FHI centres on societal and ethical issues surrounding human enhancement, estimating the capabilities and underlying science of future technologies, and issues of global catastrophic risk. In particular he has… Read more »
The world’s distribution of computation (initial findings)
What is the world’s current distribution of computation, and what will it be in the future? This question is relevant to several issues in AGI safety strategy. To name just three examples: If a large government or corporation wanted to quickly and massively upgrade its computing capacity so as to make a push for… Read more »
Nik Weaver on Paradoxes of Rational Agency
Nik Weaver is a professor of mathematics at Washington University in St. Louis. He did his graduate work at Harvard and Berkeley and received his Ph.D. in 1994. His main interests are functional analysis, quantization, and the foundations of mathematics. He is best known for his work on independence results in C*-algebra and his role… Read more »
Conversation with Holden Karnofsky about Future-Oriented Philanthropy
Recently, Eliezer and I had an email conversation with Holden Karnofsky to discuss future-oriented philanthropy, including MIRI. The participants were: Eliezer Yudkowsky (research fellow at MIRI) Luke Muehlhauser (executive director at MIRI) Holden Karnofsky (co-CEO at GiveWell) We then edited the email conversation into a streamlined conversation, available here. See also four previous conversations between… Read more »
