معرفی
Guido Salvaneschi is a Professor at the School of Computer Science, University of St. Gallen, leading the Programming Group. His work bridges Programming Languages and Software Engineering with applications in Distributed Systems, Reactive Programming, and Secure Software Systems.
Research Interests
Dr. Salvaneschi focuses on:
- Multitier Programming Languages
- Consistency Models in Distributed Systems
- Reactive Programming for HPC and IoT
- Secure Software Development with Trusted Execution Environments
Recent Publications Trends
His recent work spans Infrastructure as Code testing (CONFLANG), consistency verification (POPL), and CRDT-based local-first software (TSE journal). Key themes include hybrid consistency enforcement, type-safe distributed abstractions, and automated verification of algebraic properties.
Committee Roles
- ICSE 2026: Research Track Committee
- POPL 2025: Reviewer
- ‹Programming› 2025: Steering Committee Chair
- ISSTA 2025: Program Committee
۰مقاله منتشرشده
Guido Salvaneschi در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Guido SalvaneschiMax Planck Institute for Security and Privacy · استاد
Pascal WeisenburgerMax Planck Institute for Software Systems · پژوهشگر- GGuido SalvaneschiUniversity of St.Gallen (HSG) · دانشیار
Yue LiMax Planck Institute for Software Systems · دانشیار
Benjamin PierceUniversity of Pennsylvania · استاد
Eran YahavTechnion - Israel Institute of Technology · استاد