Mark S. Miller
Científico informático estadounidense
Marca
NacionalidadAmericano
Otros nombresMark S. Miller, Mark Samuel Miller, Mark M
CiudadaníaA
EducaciónLicenciatura en Ciencias Informáticas por la Universidad de Yale en 1980; doctorado por la Universidad Johns Hopkins en 2006
Alma máterUniversidad Johns Hopkins
Conocido porE (lenguaje de programación) , Capacidades de objetos , CAJA
Carrera científica
CamposCiencias de la Computación
InstitucionesAgoric
Google
Xerox PARC Laboratorios
Hewlett-Packard
TesisComposición robusta: hacia un enfoque unificado para el control de acceso y el control de concurrencia  (2006)
Asesor de doctoradoJonathan Shapiro
Sitio webhttp://erights.org

Mark S. Miller es un informático estadounidense . Es conocido por su trabajo como uno de los participantes en el proyecto de hipertexto de 1979 conocido como Proyecto Xanadu ; por inventar las columnas de Miller ; y por ser el coordinador de código abierto del lenguaje de programación E. También diseñó el compilador Caja . Miller es investigador sénior en el Foresight Institute . [1]

Miller obtuvo una licenciatura en ciencias de la computación en Yale en 1980 y publicó su tesis de doctorado en Johns Hopkins en 2006. [2] Actualmente es científico jefe en Agoric [3] y miembro del comité ECMAScript (JavaScript). [4] Los puestos anteriores incluyen arquitecto jefe de la Iniciativa de Computación a Prueba de Virus en HP Labs , [5] y científico investigador en Google entre 2007 y 2017. [6]

La investigación de Miller se ha centrado en el diseño de lenguajes para sistemas abiertos seguros. En Xerox PARC, trabajó en sistemas de programación lógica concurrente y sistemas abiertos Agoric. En Sun Labs, [7] (mientras trabajaba para Agorics, una empresa anterior con un nombre similar al de su empleador actual) dirigió el desarrollo de WebMart, un marco para comprar y vender recursos informáticos (ancho de banda de red, [8] acceso a una impresora, imágenes, jukebox de CD, etc.) a través de la red. En HP Labs fue el arquitecto del proyecto Virus Safe Computing. Mientras estuvo en Google, desarrolló Caja, un entorno para la ejecución segura de JavaScript. También ha escrito artículos sobre sistemas adaptativos complejos [9] y estrategias de mitigación de riesgos para tecnologías futuras. [10]

Miller ha estado persiguiendo un objetivo declarado de permitir la cooperación entre socios que no confían entre sí. [11] Miller considera que esto es una característica fundamental necesaria para impulsar las interacciones económicas y la pieza principal que ha faltado en el conjunto de herramientas disponible para los desarrolladores de software. Miller ha vuelto a esta cuestión en repetidas ocasiones desde los Documentos Agoric sobre sistemas abiertos de 1988.

Las contribuciones más destacadas de Miller se han producido en el área de diseño de lenguajes de programación, en particular, el lenguaje E, que demostró la computación distribuida segura basada en lenguajes. El trabajo inspiró varias adaptaciones a otros paradigmas de programación. También fue fundamental en el comité de estándares ECMAScript (TC39) al proporcionar las bases para el desarrollo de Secure EcmaScript (SES), una evolución de la vía de estándares que hará que la programación con todas las capacidades esté disponible en JavaScript. [12]

El trabajo de Miller ha sido escrito en Wired [13] , que describe su trabajo como la inspiración para Mariposa , del investigador de bases de datos Michael Stonebraker , desarrollado en Berkeley .

Publicaciones importantes

  • Documentos sobre sistemas abiertos de Agoric con K. Eric Drexler . Presentó un paradigma de uso de mecanismos de mercado para gestionar el uso de recursos en sistemas informáticos.
  • Diseño de lenguaje y sistemas abiertos Kenneth M. Kahn, Mark S. Miller en Ecología de la computación, Elsevier Science Publishers, Holanda Septentrional (1988)
  • Secretos lógicos, Mark S. Miller, Daniel G. Bobrow, E. Dean Tribble, Jacob Levy Conferencia internacional sobre programación lógica (1987), págs. 704–728
  • Objetos en lenguajes de programación lógica concurrente, Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow, en OOPSLA (1986), págs. 242–257
  • Vulcan: objetos concurrentes lógicos, Kenneth M. Kahn, E. Dean Tribble, Mark S. Miller, Daniel G. Bobrow en Research Directions in Object-Oriented Programming, MIT Press (1987), págs. 75-112
  • La sociedad abierta y sus medios de comunicación, por Mark Miller con E. Dean Tribble, Ravi Pandya y Marc Stiegler; en Perspectivas en nanotecnología
  • Instrumentos financieros basados ​​en capacidades, por Mark S. Miller , Chip Morningstar y Bill Frantz; en Proceedings of Financial Cryptography 2000 (Springer-Verlag)
  • El camino digital: contratos inteligentes y el tercer mundo, 2003, Mark S. Miller y Marc Stiegler .
  • Derechos electrónicos distribuidos en JavaScript con Tom Van Cutsem y Bill Tulloh
  • Concurrencia entre desconocidos, Mark Miller, E. Dean Tribble, Jonathan Shapiro

Referencias

  1. ^ "Investigadores sénior". Foresight Institute . Consultado el 15 de abril de 2020 .
  2. ^ Composición robusta: hacia un enfoque unificado para el control de acceso y el control de concurrencia, tesis doctoral.
  3. ^ "Mark. S. Miller". Agoric . 8 de febrero de 2023 . Consultado el 25 de diciembre de 2023 .
  4. ^ El Comité Técnico 39 de ECMA (TC39) se reúne para hablar sobre la dirección futura del lenguaje de programación web
  5. ^ "Construcción de una plataforma informática a prueba de virus - Acerca del orador". web.stanford.edu . Palo Alto, CA: Stanford University . 3 de diciembre de 2003.
  6. ^ "Mark S. Miller". Investigación en Google . Archivado desde el original el 12 de marzo de 2019.
  7. ^ "Informe anual de SunLabs 1995". Archivado desde el original el 7 de febrero de 2009. Consultado el 7 de febrero de 2009 .
  8. ^ Una subasta automatizada en el ancho de banda de la red ATM
  9. ^ Miller, Mark (1 de diciembre de 1996). "Curva de aprendizaje". Reason .
  10. ^ Peterson, Christine; Miller, Mark S.; Duettmann, Allison (2017). "Riesgos cibernéticos, nanoeconómicos e inteligencia artificial general: enfoques descentralizados para reducir los riesgos" (PDF) . Foresight Institute .
  11. ^ Contratos inteligentes: patrones de cooperación sin vulnerabilidad
  12. ^ Ecma International, Comité Técnico 39. «Propuesta preliminar para SES (Secure EcmaScript)». GitHub . Consultado el 15 de abril de 2020 .{{cite web}}: CS1 maint: numeric names: authors list (link)
  13. ^ Sidell, Jeff (1 de diciembre de 1996). "Geek Page". Wired .
  • Publicaciones de Mark S. Miller indexadas por Google Scholar
  • Página de inicio con enlaces a artículos
  • Mark S. Miller-Agoric
  • Mark Miller en el servidor de bibliografía DBLP
  • Charlas en YouTube
  • Perfil de GitHub
Retrieved from "https://en.wikipedia.org/w/index.php?title=Mark_S._Miller&oldid=1191980181"