معرفی
Marco Giunti is a Researcher at the University of Oxford's Department of Computer Science. His work focuses on formal methods, programming languages, and distributed systems, with a particular emphasis on session types, concurrency theory, and blockchain technology. He explores topics such as typestate systems, formal verification, and secure channel abstractions.
Recent research highlights include advancements in iso-recursive multiparty sessions, blockchain consensus mechanisms (e.g., Lupin), and data-centric synchronization frameworks like AtomiS. His contributions bridge theoretical foundations with practical applications, addressing challenges in distributed systems and static analysis.
Giunti's publications span technical reports and peer-reviewed articles, showcasing innovations in automated verification, type systems, and concurrency control. His work often emphasizes the intersection of formal methods and real-world distributed computing scenarios.
