معرفی
Mario Bravetti is a Full Professor at the Department of Computer Science and Engineering, University of Bologna. His academic discipline is Informatics (INFO-01/A). He specializes in formal methods, process calculi, and distributed systems, with a focus on session types, microservices architecture, and formal verification of software systems. His research bridges theoretical foundations with practical applications in cloud computing, edge computing, and industry 4.0.
Research interests include:
- Session types and behavioral contracts
- Formal semantics of concurrent systems
- Microservices deployment and orchestration
- Low-latency anomaly detection in industrial IoT
- Formal verification tools for programming languages
His recent work emphasizes proactive-reactive scaling strategies for microservices and the integration of formal methods into cloud-native architectures. He has contributed to projects like SEAWALL and the BETTY COST Action, advancing software reliability in large-scale systems.
His articles highlight advancements in session subtyping algorithms, typestate systems for Java, and edge-cloud continuum optimizations. He has served as a guest editor for journals on service-oriented architectures and formal methods.
Mario Bravetti در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Saverio GiallorenzoIT University of Copenhagen · استادیار- IIain PhillipsImperial College London · مدرس ارشد
- MMarco GiuntiUniversity of Oxford · پژوهشگر
Alceste ScalasTechnical University of Denmark · دانشیار- UUwe NestmannTechnical University of Berlin (TU Berlin) · استاد
- LLorenzo GheriUniversity of Liverpool · پژوهشگر