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
[h4] 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 [/h4]
Brigitte Reichert (nacida el 4 de mayo de 1946 en Berlín) es una ex patinadora de velocidad alemana (República Democrática Alemana).
Reichert, que compitió en el SC Dynamo Berlin, se proclamó campeón...
'''Brigitte García''' fue una política, enfermera y trabajadora social ecuatoriana que se desempeñó como alcaldesa de San Vicente, Ecuador (San Vicente) desde 2023 hasta su muerte en marzo de 2024....
'''Brigitte Hellmers'''Ortografía según , esta ortografía también la utiliza rrk-online. En world-rowing.com su nombre es Helmers., por matrimonio ''Brigitte Thoms'' (nacida el 15 de febrero de...
''Brigitte Schubert-Riese''' (nacida el 6 de abril de 1942 en Kiel; † el 19 de enero de 2019 en Kiel'' '' Brigitte Schubert-Riese En: Kieler Nachrichten del 26 de enero de 2019 (consultado el...
Mobile version