Conor McBride (nacido el 18 de febrero de 1973) es profesor en el departamento de Ciencias de la Información y la Computación de la Universidad de Strathclyde . [1] En 1999, completó un Doctorado en Filosofía (Ph.D.) en Programas Funcionales de Tipo Dependiente y sus Pruebas [2] en la Universidad de Edimburgo por su trabajo en teoría de tipos . [3] Anteriormente trabajó en la Universidad de Durham y brevemente en Royal Holloway, Universidad de Londres antes de unirse al personal académico de la Universidad de Strathclyde.
Conor McBride | |
---|---|
Nació | |
Ciudadanía | Reino Unido |
alma mater | Universidad de Edimburgo |
Carrera científica | |
Campos | Teoría de tipos de ciencias de la computación |
Tesis | Programas funcionales de tipo dependiente y sus pruebas (1999) |
Estuvo involucrado en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo IFIP 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [4] que especifica , mantiene y apoya los lenguajes de programación ALGOL 60 y ALGOL 68 . [5]
Investigar
Su investigación más destacada se encuentra en el campo de la teoría de tipos . [7] El co-creado el lenguaje de programación Epigram con James McKinna. [8] Varios de sus artículos, incluido el artículo escrito en conjunto que define el lenguaje Epigram, se han publicado en el Journal of Functional Programming . [9]
Bibliografía seleccionada
- con Dagand, Pierre-Evariste (2014). "Funciones de transporte a través de adornos". Avisos ACM SIGPLAN — ICFP . 47 (9): 103-114. arXiv : 1201.4801 . doi : 10.1145 / 2398856.2364544 .
- con Benton, Nick; Hur, Chung-Kil; Kennedy, Andrew J. (agosto de 2012). "Representaciones de términos fuertemente mecanografiados en Coq" (PDF) . Revista de razonamiento automatizado . 49 (2): 141-159. CiteSeerX 10.1.1.296.8805 . doi : 10.1007 / s10817-011-9219-0 . S2CID 34005862 .
- con Chapman, James; Dagand, Pierre-Evariste; Morris, Peter (septiembre de 2010). "El suave arte de la levitación" (PDF) . Avisos ACM SIGPLAN — ICFP . 45 (9): 3–14. doi : 10.1145 / 1932681.1863547 .
- con Paterson, Ross (enero de 2008). "Programación aplicativa con efectos" (PDF) . Revista de programación funcional . 18 (1). doi : 10.1017 / S0956796807006326 .
- con Altenkirch, Thorsten; Morris, Peter (2007). "Programación genérica con tipos dependientes" (PDF) . Programación genérica de tipo de datos . Apuntes de conferencias en informática . 4719 . págs. 209-257.
- con Altenkirch, Thorsten; McKinna, James. "Por qué son importantes los tipos dependientes" (PDF) . Cite journal requiere
|journal=
( ayuda ) - con Altenkirch, Thorsten, eds. (2007). Tipos de Pruebas y Programas: Taller Internacional . Saltador. ISBN 978-3540744634.
- - (2006). "Algunas construcciones sobre constructores". Tipos de pruebas y programas . Apuntes de conferencias en Ciencias de la Computación. 3839 . págs. 186-200. CiteSeerX 10.1.1.65.327 .
- - (2005). "Epigrama: programación práctica con tipos dependientes" (PDF) . Programación funcional avanzada . Apuntes de conferencias en Ciencias de la Computación. 3622 . págs. 130-170.
- con McKinna, James (enero de 2004). "La vista desde la izquierda" (PDF) . Revista de programación funcional . 14 (1): 69-111. doi : 10.1017 / s0956796803004829 . S2CID 6232997 .
- con Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil (2003). "Derivados de contenedores" (PDF) . Actas de la 6ª Conferencia Internacional sobre Cálculos y Aplicaciones Lambda Mecanografiados : 16–30.
- - (2002). "Eliminación con motivo" (PDF) . Tipos de pruebas y programas . Apuntes de conferencias en Ciencias de la Computación. 2277 . págs. 197–216.
- - (2001). "La derivada de un tipo regular es su tipo de contextos de un agujero" (PDF) . Cite journal requiere
|journal=
( ayuda ) - - (2000). "Programas funcionales de tipo dependiente y sus pruebas" (PDF) . Facultad de Ciencias e Ingeniería de la Universidad de Edimburgo. Cite journal requiere
|journal=
( ayuda )
Video conferencias
- McBride, Conor (3 de febrero de 2011). Programación de tipo dependiente: una introducción a Agda (primera de 15 conferencias) (video). Iain McGinniss.
- McBride, Conor (10 de septiembre de 2012). Conferencia magistral del lunes de ICFP 2012. Conor McBride: ¿Agda-curioso? (video). Malcolm Wallace.
Referencias
- ^ "Dr. Conor McBride: lector: Ciencias de la información y la informática" . Universidad de Strathclyde: Ciencias de la Información y la Computación .
- ^ McBride, Conor (julio de 2000). "Programas funcionales de tipo dependiente y sus pruebas" . Archivo de Investigación de Edimburgo . Universidad de Edimburgo. hdl : 1842/374 . Consultado el 15 de enero de 2016 .
- ^ McBride, Conor (1999). "Programas funcionales de tipo dependiente y sus pruebas" (PDF) . Universidad de Edimburgo.
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 16 de octubre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 16 de octubre de 2020 .
- ^ McBride, Conor. "Conor está mirando por la ventana" . Ciencias de la Información y la Computación . Universidad de Strathclyde . Consultado el 18 de agosto de 2020 .
- ^ Altenkirch, Thorsten; McBride, Conor. "Hacia la teoría del tipo observacional" (PDF) . StrictlyPositive.org .
- ^ McBride, Conor; McKinna, James (enero de 2004). "La vista desde la izquierda" . Revista de programación funcional . 14 (1): 69-111. doi : 10.1017 / s0956796803004829 . S2CID 6232997 .
- ^ Revistas de Cambridge en línea: Revista de programación funcional, Conor McBride
enlaces externos
- Sitio web oficial , Universidad de Strathclyde
- Web oficial , personal
- Conor McBride en el Proyecto de genealogía matemática
- Conor McBride en el servidor de bibliografía DBLP