ब्रिगिट पिएंटका ⇐ ड्राफ्ट लेख

[Anonymous]

''ब्रिगिट पिएंटका'' (जन्म 1971) एक कंप्यूटर वैज्ञानिक हैं जिनके शोध में सॉफ्टवेयर सिस्टम सुरक्षा के लिए औपचारिक तरीके शामिल हैं, जिनमें टाइप थ्योरी, स्वचालित तर्क और कार्यात्मक प्रोग्रामिंग के परिचालन शब्दार्थ शामिल हैं। जर्मनी में जन्मी और जर्मनी और अमेरिका में शिक्षित, वह कनाडा में मैकगिल विश्वविद्यालय में कंप्यूटर विज्ञान के प्रोफेसर के रूप में काम करती हैं, जहां वह कंप्यूटेशन और लॉजिक ग्रुप की प्रमुख हैं।

==शिक्षा और करियर==
पिएंटका का जन्म 1971 में जर्मनी के कोबर्ग में हुआ था।
वह 2003 में कंप्यूटर विज्ञान के सहायक प्रोफेसर के रूप में मैकगिल विश्वविद्यालय में शामिल हुईं।
==मान्यता==
पिएंटका और जना डनफील्ड के 2008 के पेपर, "प्रमाणों और स्पष्ट संदर्भों के साथ प्रोग्रामिंग", ने घोषणात्मक प्रोग्रामिंग (पीपीडीपी) के सिद्धांतों और अभ्यास पर एसीएम सिगप्लान अंतर्राष्ट्रीय सम्मेलन के 2018 टेस्ट ऑफ टाइम अवार्ड जीता।
==संदर्भ==







==बाहरी लिंक==
*[https://www.cs.mcgill.ca/~bpientka/ होम पेज]
*[https://www.cs.mcgill.ca/~complogic/ संगणना और तर्क समूह]
*
1971 जन्म
जीवित लोग
कोबर्ग के लोग
जर्मन कंप्यूटर वैज्ञानिक
जर्मन महिला कंप्यूटर वैज्ञानिक
कनाडाई कंप्यूटर वैज्ञानिक
कनाडाई महिला कंप्यूटर वैज्ञानिक
टेक्नीश यूनिवर्सिटी डार्मस्टेड के पूर्व छात्र
कार्नेगी मेलन विश्वविद्यालय के पूर्व छात्र
मैकगिल विश्वविद्यालय का शैक्षणिक स्टाफ