Our Team

We’re Hiring!

Find out more about the opportunities to join our growing team here.

Staff

Luke Muehlhauser

Luke Muehlhauser
Executive Director

Luke Muehlhauser (email) is MIRI’s Executive Director. Since joining MIRI he has organized many research workshops, grown collaborations with Oxford University, Cambridge University, and MIT, and published articles in Communications of the ACM, Slate, Quartz, and other venues. Previously he was a team leader for deploying mission-critical enterprise-wide IT solutions in Los Angeles.

Eliezer Yudkowsky

Eliezer Yudkowsky
Senior Research Fellow

Eliezer Yudkowsky (email) is internationally recognized by the academic community for his role in developing the foundations of Friendly AI research. His ideas and technical research have become a focal point for research workshops held around the world and attended by researchers from Stanford, Harvard, Cambridge, MIT, UC Berkeley, Princeton, Google, and other leading institutions. He is also a promoter of “applied rationality” whose writings on psychology and philosophy of science have made the latest research in these fields accessible to thousands of teens and adults.

Benja Fallenstein

Benja Fallenstein
Research Fellow

Benja Fallenstein (email) does mathematical research on Friendly AI, including problems of self-reference and issues in decision and game theory when an AI reasons about future versions of itself or about other, similarly powerful agents in its environment; models of logical uncertainty, i.e., uncertainty about what mathematical statements are true; models of anthropic reasoning; and the specification of safe AI goals. Benja is also interested in formal verification and in programming languages with integrated proof checkers. Benja holds a Bachelors in Mathematics from University of Vienna.

Nate Soares

Nate Soares
Research Fellow

Nate Soares (email) is broadly interested in Friendly AI research, specifically reflective trust, decision theory, game theory, and goal specification. He has undergraduate degrees in computer science and economics, and often studies mathematical logic, probability theory, category theory, and type theory. Nate previously worked for Google.

Patrick LaVictoire

Patrick LaVictoire
Research Fellow

Patrick LaVictoire (email) has a background in pure mathematics (AB from the University of Chicago, PhD from UC Berkeley, postdoc at the University of Wisconsin) and applied machine learning / data science (worked for the app search startup Quixey). He is especially interested in the mathematics of idealized decision theory, logical counterfactuals, principled self-modification, goal stability, and corrigibility.

Malo Bourgon

Malo Bourgon
Program Management Analyst

Malo Bourgon (email) improves the efficiency and effectiveness of all aspects of MIRI, from research and outreach programs to operations and fundraising efforts. He also assists with capacity building and generally helps make things happen. Malo holds a Masters in Engineering from the University of Guelph.

Alex Vermeer

Alex Vermeer
Program Management Analyst

Alex Vermeer (email) improves MIRI’s operations and output by measuring useful data, identifying inefficiencies, and improving processes. He also coordinates MIRI’s document production team. Alex holds an Engineering degree from the University of Guelph.

Katja Grace

Katja Grace
Research Assistant

Katja Grace’s (email) research at MIRI focuses on social and historical questions related to artificial intelligence outcomes. She recently wrote Algorithmic Progress in Six Domains. She is sometimes a PhD student in Logic, Computation & Methodology at Carnegie Mellon University. She writes the blog Meteuphoric and contributes to AI Impacts.

Rob Bensinger

Rob Bensinger
Outreach Coordinator

Rob Bensinger (email) focuses on attempts to relate human categories and preferences to physical phenomena. He has a BA in Philosophy and a certificate in History and Philosophy of Science, both from Indiana University. His research interests include consciousness studies, value theory, and the psychology of moral, religious, and broadly theory-dependent reasoning.

2015 Research Advisors

Nick Bostrom

Nick Bostrom

PROFESSOR
University of Oxford
DIRECTOR
Future of Humanity Institute

Max Tegmark

Max Tegmark

PROFESSOR
Massachusetts Institute of Technology
SCIENTIFIC DIRECTOR
Foundational Questions Institute

Gary Drescher

Gary Drescher

PhD
Massachusetts Institute of Technology
AUTHOR
Made-Up Minds

Robin Hanson

Robin Hanson

PROFESSOR
George Mason University
AUTHOR
Economic Growth Given Machine Intelligence

Steve Omohundro

Steve Omohundro

PhD
UC Berkeley
AUTHOR
Rational Artificial Intelligence for the Greater Good

Moshe Looks

Moshe Looks

PhD
Washington University
SCIENTIST
Google Research

Roman Yampolskiy

Roman Yampolskiy

PROFESSOR
University of Louisville
AUTHOR
Artificial Intelligence Safety Engineering

 

2015 General Advisors

Peter Thiel

Peter Thiel

Co-founder
PayPal

Christine Peterson

Christine Peterson

Co-founder
Foresight Institute

Liron Shapira

Liron Shapira

Co-founder & CTO
Quixey

Research Associates

Stuart Armstrong

Stuart Armstrong
Research Associate

Stuart Armstrong (email) started his academic career in mathematics, with his doctorate and post-doc work on the various “parabolic” geometries, especially conformal and projective geometries. He then moved into medical research, developing tools for the rapid virtual screening of potentially medicinal compounds. He then moved to the Future of Humanity Institute, where his current research focuses on formal decision theory, the risks and possibilities of artificial intelligence, comparing different existential risks, and the long term potential for intelligent life.

Mihaly Barasz

Mihaly Barasz
Research Associate

Mihaly Barasz (email) is interested in functional languages and type theory and their application in formal proof systems. He cares deeply about reducing existential risks. He has an MSc summa cum laude in Mathematics from Eotvos Lorand University, Budapest and currently works at Google.

Tsvi Benson-Tilsen

Tsvi Benson-Tilsen
Research Associate

Tsvi Benson-Tilsen (email) is interested in decision theory for bounded rational agents, and in particular formal models of naturalistic counterfactual reasoning. His studies include logic, model theory, computability, complexity, and game theory. Tsvi is finishing a BSc in mathematics at the University of Chicago.

Abram Demski

Abram Demski
Research Associate

Abram Demski (email) is a computer science PhD student at the University of Southern California, pursuing research in the area of cognitive architectures. He is interested in filling in the gaps that exist in formal theories of rationality, especially those concerned with what humans are doing when reasoning about mathematics. He has published work on Bayesian priors over logical theories, of potential relevance to the problem of logical uncertainty.

Scott Garrabrant

Scott Garrabrant
Research Associate

Scott Garrabrant (email) is interested in logical uncertainty, formal decision theory, game theory, and axiomatic foundations to probability and decision theory. Scott holds a BA in mathematics and computer science from Pitzer College, and is currently working on a mathematics PhD at UCLA, where he studies applications of theoretical computer science to enumerative combinatorics.

Marcello Herreshoff

Marcello Herreshoff
Research Associate

Marcello Herreshoff (email) has worked with MIRI on the math of Friendly AI from time to time since 2007. In high school, he was a two time USACO finalist and he published a novel combinatorics result, which he presented at the Twelfth International Conference on Fibonacci Numbers and Their Applications. He holds a BA in Math from Stanford University. At Stanford he was awarded two honorable mentions on the Putnam mathematics competition, and submitted his honors thesis for publication in the Logic Journal of the IGPL. His research interests include mathematical logic and its use in formalizing coherent goal systems.

Bill Hibbard

Bill Hibbard
Research Associate

Bill Hibbard (email) is an Emeritus Senior Scientist at the University of Wisconsin-Madison Space Science and Engineering Center, currently working on issues of AI safety and unintended behaviors. He has a BA in Mathematics and MS and PhD in Computer Sciences, all from the University of Wisconsin-Madison. He is the author of Super-Intelligent Machines, “Avoiding Unintended AI Behaviors,” “Decision Support for Safe AI Design,” and “Ethical Artificial Intelligence.”

Kaj Sotala

Kaj Sotala
Research Associate

Kaj Sotala (email) is interested in the strategic questions related to AI risk. He has authored and co-authored several papers on the topic, including “Responses to Catastrophic AGI Risk: A Survey,” “How We’re Predicting AI — or Failing To,” “Advantages of Artificial Intelligences, Uploads, and Digital Minds,” and “Coalescing Minds: Brain Uploading-Related Group Mind Scenarios.” Kaj holds a BA in Cognitive Science from the University of Helsinki, where he is currently studying Computer Science.

Nisan Stiennon

Nisan Stiennon
Research Associate

Nisan Stiennon (email) is interested in formal decision theory—the mathematical study of the way abstract agents behave, and what this implies about the values and behavior of humans. Nisan has a PhD in mathematics from Stanford and works with the Center For Applied Rationality.

Jessica Taylor

Jessica Taylor
Research Associate

Jessica Taylor (email) is interested in questions about probabilistic modeling: how might an agent’s world model integrate both higher and lower levels of analysis, how might it handle logical uncertainty, and how might it correspond with human concepts? She is currently a masters student at Stanford studying artificial intelligence and researching probabilistic programming languages.

Nate Thomas

Nate Thomas
Research Associate

Nate Thomas (email) is interested in computerizing mathematics research and understanding the absolute limits of computation in the physical world. He has undergraduate degrees in mathematics and physics (MIT) and masters degrees in mathematics (Cambridge University) and computer science (Oxford University). Nate is currently a PhD student researching quantum computation at Stanford University.

Board

Edwin Evans<br /><small>CHAIR</small>

Edwin Evans
CHAIR

Vice President of Engineering
Linc Global

Luke Muehlhauser<br /><small>DIRECTOR</small></br>

Luke Muehlhauser
DIRECTOR

Executive Director
Machine Intelligence Research Institute

Matthew Fallshaw<br /><small>DIRECTOR</small>

Matthew Fallshaw
DIRECTOR

Founder
TrikeApps

Kevin Fischer<br /><small>DIRECTOR</small>

Kevin Fischer
DIRECTOR

Chief Executive Officer
GetCBD

Michael Vassar<br /><small>DIRECTOR</small>

Michael Vassar
DIRECTOR

Chief Science Officer
Metamed

Eliezer Yudkowsky<br /><small>DIRECTOR</small>

Eliezer Yudkowsky
DIRECTOR

Senior Research Fellow
Machine Intelligence Research Institute

Interested in joining our team?