Brigitte Pientka ⇐ Proyectos de artículos

[Anonymous]

Brigitte Pientka (nacida en 1971) es una científica informática cuya investigación involucra métodos formales para la seguridad de los sistemas de software, incluida la teoría de tipos, el razonamiento automatizado y la semántica operativa de la programación funcional. Nacida en Alemania y educada en Alemania y Estados Unidos, trabaja en Canadá como profesora de informática en la Universidad McGill, donde dirige el Grupo de Computación y Lógica.

==Educación y carrera==
Pientka nació en 1971 en Coburg, Alemania.
Se incorporó a la Universidad McGill como profesora asistente de informática en 2003.
==Reconocimiento==
Un artículo de 2008 de Pientka y Jana Dunfield, "Programación con pruebas y contextos explícitos", ganó el premio Test of Time 2018 de la Conferencia Internacional ACM SIGPLAN sobre Principios y Práctica de la Programación Declarativa (PPDP).
==Referencias==







==Enlaces externos==
*[https://www.cs.mcgill.ca/~bpientka/ Página de inicio]
*[https://www.cs.mcgill.ca/~complogic/ Grupo de Computación y Lógica]
*
1971 nacimientos
personas vivas
Gente de Coburgo
Informáticos alemanes
Informáticas alemanas
Informáticos canadienses
Mujeres canadienses en informática
Antiguos alumnos de la Technische Universität Darmstadt
Alumnos de la Universidad Carnegie Mellon
Personal académico de la Universidad McGill