معرفی
Gilles Barthe is Scientific Director at the Max Planck Institute for Security and Privacy in Bochum, Germany, and holds a part-time position as Research Professor at IMDEA Software Institute in Madrid, Spain. His research spans programming languages, program verification, cryptography, and privacy-enhancing technologies.
His interdisciplinary work bridges:
- Formal methods for software security
- Cryptographic protocol verification
- Privacy-preserving computation
- Programming language semantics
- Automated theorem proving
۰مقاله منتشرشده
Gilles Barthe در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- GGilles BartheMax Planck Institute for Security and Privacy · استاد پژوهشی
Gilles BartheIMDEA Software Institute · استاد پژوهشی- BBenedikt SchmidtUniversity of Trier · پژوهشگر
- BBoris KöpfMax Planck Institute for Software Systems · استاد
- DDario FioreEurecom · استاد پژوهشی
- DDario FioreFlorida International University · استاد پژوهشی