Dr. Anil Nerode is a Goldwin Smith Professor of Mathematics and Computer Science at the Cornell University. He is “a pioneer in mathematical logic, computability, automata theory, and the understanding of computable processes, both theoretical and practical for over half a century, whose work comes from a venerable and distinguished mathematical tradition combined with the… Read more »
Posts By: Luke Muehlhauser
Michael Carbin on integrity properties in approximate computing
Michael Carbin is a Ph.D. Candidate in Electrical Engineering and Computer Science at MIT. His interests include the design of programming systems that deliver improved performance and resilience by incorporating approximate computing and self-healing. His work on program analysis at Stanford University as an undergraduate received an award for Best Computer Science Undergraduate Honors Thesis…. Read more »
Randal Koene on whole brain emulation
Dr. Randal A. Koene is CEO and Founder of the not-for-profit science foundation Carboncopies as well as the neural interfaces company NeuraLink Co. Dr. Koene is Science Director of the 2045 Initiative and a scientific board member in several neurotechnology companies and organizations. Dr. Koene is a neuroscientist with a focus on neural interfaces, neuroprostheses… Read more »
Max Tegmark on the mathematical universe
Known as “Mad Max” for his unorthodox ideas and passion for adventure, his scientific interests range from precision cosmology to the ultimate nature of reality, all explored in his new popular book “Our Mathematical Universe“. He is an MIT physics professor with more than two hundred technical papers, 12 cited over 500 times, and has… Read more »
MIRI’s March 2014 Newsletter
Research Updates We recently hired four new researchers, including two new Friendly AI researchers. We announced this to our local supporters at the recent MIRI Expansion Party. We’ve scheduled our next research workshop for May 2014. Three new posts on naturalized induction: Bridge Collapse, Solomonoff Cartesianism, and The Problem with AIXI. New analyses: The world’s distribution of computation and… Read more »
Recent Hires at MIRI
MIRI is proud to announce several new team members (see our Team page for more details): Benja Fallenstein attended four of MIRI’s past workshops, and has contributed to several novel results in Friendly AI theory, including Löbian cooperation, parametric polymorphism, and “Fallenstein’s monster.” Her research focus is Friendly AI theory. Nate Soares worked through much of the MIRI’s courses… Read more »
Toby Walsh on computational social choice
Toby Walsh is a professor of artificial intelligence at NICTA and the University of New South Wales. He has served as Scientific Director of NICTA, Australia’s centre of excellence for ICT research. He has also held research positions in England, Scotland, Ireland, France, Italy, Sweden and Australia. He has been Editor-in-Chief of the Journal of… Read more »
Randall Larsen and Lynne Kidder on USA bio-response
Colonel Randall Larsen, USAF (Ret), is the National Security Advisor at the UPMC Center for Health Security, and a Senior Fellow at the Homeland Security Policy Institute, George Washington University. He previously served as the Executive Director of the Commission on the Prevention of Weapons of Mass Destruction Proliferation and Terrorism (2009-2010); the Founding Director… Read more »
