MIRI Updates
Johann Schumann on high-assurance systems
Dr. Johann Schumann is a member of the Robust Software Engineering Group RSE at NASA Ames. He obtained his habilitation degree (2000) from the Technische Universität München, Germany on application of automated theorem provers in Software Engineering. His PhD thesis...
Sandor Veres on autonomous agents
Professor Sandor Veres was born and educated in Hungary as applied mathematician. He completed his PhD in dynamical modelling of stochastic systems in 1983 and worked in industry on computer controlled systems. In 1987-1988 he received two consecutive scholarships at...
New Paper: “Program Equilibrium in the Prisoner’s Dilemma via Löb’s Theorem”
We’ve released a new paper recently accepted to the MIPC workshop at AAAI-14: “Program Equilibrium in the Prisoner’s Dilemma via Löb’s Theorem” by LaVictoire et al. This paper is essentially a shortened version of Barasz et al. (2014). For the...
Christof Koch and Stuart Russell on machine superintelligence
Recently, Science Friday (hosted by Ira Flatow) featured an interview (page, mp3) with Christof Koch and Stuart Russell about machine superintelligence. Christof Koch is the Chief Scientific Officer of the Allen Institute for Brain Science, and Stuart Russell is a...
Exponential and non-exponential trends in information technology
Co-authored with Lila Rieber. In The Singularity is Near, Ray Kurzweil writes that “every aspect of information and information technology is growing at an exponential pace.” ((Page 85. In the same book, he also writes that “we see ongoing exponential...
Benjamin Pierce on clean-slate security architectures
Benjamin C. Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization...
