MIRI Updates
Anil Nerode on hybrid systems control
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...
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...
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...
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...
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...
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,...
