John Baez on Research Tactics

Posted by & filed under Conversations.

John Baez is a professor of mathematics at U.C. Riverside. Until recently he worked on higher category theory and quantum gravity. His internet column This Week’s Finds dates back to to 1993 and is sometimes called the world’s first blog. In 2010, concerned about climate change and the future of the planet, he switched to… Read more »

2013 in Review: Friendly AI Research

Posted by & filed under MIRI Strategy.

This is the 4th part of my personal and qualitative self-review of MIRI in 2013, in which I review MIRI’s 2013 Friendly AI (FAI) research activities. Friendly AI research in 2013 In early 2013, we decided to shift our priorities from research plus public outreach to a more exclusive focus on technical FAI research. This… Read more »

MIRI’s February 2014 Newsletter

Posted by & filed under Newsletters.

Dear friends,  See below for news on our new ebook, new research, new job openings, and Google’s new AI ethics board. Research Updates New analyses: Robust Cooperation: A Case Study in Friendly AI Research and How Big is the Field of Artificial Intelligence? New interviews: Emil Vassev on formal verification, Mike Frank on reversible computing, Ronald de… Read more »

New eBook: ‘Smarter Than Us’

Posted by & filed under News.

We are pleased to release a new ebook, commissioned by MIRI and written by Oxford University’s Stuart Armstrong, and available in EPUB, MOBI, PDF, and from the Amazon and Apple ebook stores. What happens when machines become smarter than humans? Forget lumbering Terminators. The power of an artificial intelligence (AI) comes from its intelligence, not… Read more »

André Platzer on Verifying Cyber-Physical Systems

Posted by & filed under Conversations.

André Platzer is an Assistant Professor of Computer Science at Carnegie Mellon University. He develops the logical foundations of cyber-physical systems to characterize their fundamental principles and to answer the question how we can trust a computer to control physical processes. He received an M.Sc. from the University of Karlsruhe (TH), Germany, in 2004 and a Ph.D. in Computer Science from the University of… Read more »

Gerwin Klein on Formal Methods

Posted by & filed under Conversations.

Gerwin Klein is a Senior Principal Researcher at NICTA, Australia’s National Centre of Excellence for ICT Research, and Conjoint Associate Professor at the University of New South Wales in Sydney, Australia. He is leading NICTA’s Formal Methods research discipline and was the leader of the L4.verified project that created the first machine-checked proof of functional… Read more »

Conversation with Jacob Steinhardt about MIRI Strategy

Posted by & filed under Conversations, MIRI Strategy.

On January 21st, 2014, MIRI met with Jacob Steinhardt to discuss MIRI strategy. Participants were: Luke Muehlhauser (executive director at MIRI) Jacob Steinhardt (grad student in computer science at Stanford) We recorded and transcribed much of the conversation, and then edited and paraphrased the transcript for clarity, conciseness, and to protect the privacy of some… Read more »

2013 in Review: Strategic and Expository Research

Posted by & filed under MIRI Strategy.

This is the 3rd part of my personal and qualitative self-review of MIRI in 2013, in which I begin to review MIRI’s 2013 research activities. By “research activities” I mean to include outreach efforts primarily aimed at researchers, and also three types of research performed by MIRI: Expository research aims to consolidate and clarify already-completed strategic research or… Read more »