Frank Pfenning

Fundamentos matemáticos de la semántica de programación (Pittsburgh, mayo de 2004)

Frank Pfenning es profesor de informática , profesor adjunto en el departamento de filosofía y director del Departamento de informática de la Universidad Carnegie Mellon . ^[1] Recibió su Ph.D. del Departamento de Matemáticas de la Universidad Carnegie Mellon en 1987, por su disertación titulada Proof Transformations in Higher-Order Logic . Fue alumno de Peter B. Andrews .

Su investigación incluye trabajos en el área de lenguajes de programación , lógica y teoría de tipos , marcos lógicos , deducción automatizada y computación confiable. Es uno de los principales autores del sistema Twelf . También desarrolló el curso introductorio de programación imperativa de Carnegie Mellon para estudiantes universitarios y el lenguaje de programación C0 utilizado en este curso.

En 2015 fue nombrado miembro de la Association for Computing Machinery "por sus contribuciones a los fundamentos lógicos de la demostración automática de teoremas y tipos de lenguajes de programación". ^[2] En 2016 recibió el premio LICS Test of Time por el artículo " A Linear Logical Framework" , ^[3] en coautoría con Iliano Cervesato.

Es un jugador de squash competitivo, clasificado entre los cinco primeros en la escala de squash de la universidad. ^[4]

También apareció en una película experimental junto a Sharon Needles . ^[5]^[6]

Referencias

^ "Frank Pfenning nombrado jefe del Departamento de Ciencias de la Computación de Carnegie Mellon" . 8 de enero de 2013 . Consultado el 9 de enero de 2013 .
^ Los becarios de ACM nombrados por las innovaciones informáticas que están avanzando la tecnología en la era digital , Asociación de maquinaria informática , 2015, archivado desde el original el 9 de diciembre de 2015 , consultado el 10 de diciembre de 2015 .
^ "LICS - Archivo" . lics.siglog.org . Consultado el 27 de septiembre de 2019 .
^ "Escalera de Squash CMU" . Consultado el 27 de enero de 2019 .
^ "Frank Pfenning / Curriculum Vitae" . www.cs.cmu.edu . Consultado el 17 de febrero de 2021 .
↑ Sharon Needles , consultado el 17 de febrero de 2021

enlaces externos

Página de inicio del Dr. Pfenning

P ≟ NP

Este artículo biográfico relacionado con un científico informático es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .

[1] "Frank Pfenning nombrado jefe del Departamento de Ciencias de la Computación de Carnegie Mellon" . 8 de enero de 2013 . Consultado el 9 de enero de 2013 .

[2] ^ Los becarios de ACM nombrados por las innovaciones informáticas que están avanzando la tecnología en la era digital , Asociación de maquinaria informática , 2015, archivado desde el original el 9 de diciembre de 2015 , consultado el 10 de diciembre de 2015 .

[3] "LICS - Archivo" . lics.siglog.org . Consultado el 27 de septiembre de 2019 .

[4] "Escalera de Squash CMU" . Consultado el 27 de enero de 2019 .

[5] "Frank Pfenning / Curriculum Vitae" . www.cs.cmu.edu . Consultado el 17 de febrero de 2021 .

[6] Sharon Needles , consultado el 17 de febrero de 2021

[1]