جستجوی استاد راهنمای دانشگاهی

Dr. Martin Kleppmann is an Associate Professor at the University of Cambridge, specializing in local-first software and security protocols . He leads research in distributed systems, focusing on decentralized architectures, collaborative editing tools, and cryptographic methods. As a key contributor to the Automerge open-source project, he bridges academic innovation with real-world applications. Formerly a research fellow at TU Munich (2022–2023) and Cambridge (2015–2022), he has also worked as a software engineer and startup founder, including LinkedIn (acquired 2012). Research Interests span Distributed Systems Security , Conflict-Free Replicated Data Types (CRDTs) , Collaborative Software , and Cryptography . His work addresses challenges in decentralized social networks, privacy-preserving protocols, and efficient data synchronization. Recent projects include Kintsugi (end-to-end encrypted key recovery) and Pudding (private user discovery for anonymity networks). Publications emphasize Collaborative text editing (2025: Eg-walker, 2023: The Art of the Fugue) CRDTs for JSON and trees (2021, 2017) Privacy in decentralized systems (2024: Pudding, 2025: Emission Impossible) Scientific Awards include Gilles Muller Best Artifact Award (EuroSys 2025) Distinguished Paper & Artifact Awards (OOPSLA 2017) Best Presentation Awards (Security Protocols Workshop 2018, PaPoC 2025)

• Distributed Systems
• Collaborative Software
• Cryptography
• +۴ مورد دیگر

Kartik Nagar is an Assistant Professor at the Department of Computer Science and Engineering, IIT Madras . He specializes in developing verification and analysis techniques to enhance the reliability, security, and efficiency of computer systems, focusing on concurrent and distributed systems, computer architecture, and real-time systems.

• Automated Formal Verification
• Program Analysis
• Programming Languages
• +۴ مورد دیگر

Leon Freudenthaler is affiliated with University of Applied Sciences Campus Vienna where he conducts research in collaborative software development systems. His work bridges theoretical distributed systems concepts with practical applications for software developers. His research interests include: Real-time collaborative programming Distributed systems for code collaboration Conflict resolution in near-synchronous environments Semantic-aware programming tools Local-first programming models Freudenthaler's recent publications focus on rethinking traditional character-based collaborative editing approaches by incorporating structural and semantic understanding of code. His work addresses fundamental challenges in how developers collaborate on code across distributed environments, particularly how to maintain consistency and resolve conflicts intelligently. As an active contributor to the software engineering community, he has presented research at major conferences including ASE, ICSE, and ECOOP/ISSTA, demonstrating his engagement with both academic and industry practitioners in the field.

• Software Engineering
• Distributed Systems
• Collaborative Programming
• +۳ مورد دیگر

Mae Milano is an Assistant Professor in the Department of Computer Science at Princeton University. She joined in 2024 after earning her Ph.D. from Cornell University in 2020. Her research focuses on designing programming languages to address challenges in distributed systems, with particular emphasis on concurrency safety, language interoperability, and formal verification. Education: Ph.D. in Programming Languages and Systems, Cornell University, 2020 Research Interests: Milano's work bridges programming languages and distributed systems. She develops type systems for safe concurrency (e.g., fearless concurrency ), designs languages for distributed state management (e.g., Gallifrey, Hydro), and explores compiler techniques for interoperability between systems. Her projects include: Fearless Concurrency – Safe shared-memory programming Gallifrey – Language for geographically distributed applications Hydro – Cloud-native programming models Grants & Collaborations: Milano collaborates with researchers like Alvin Cheung (University of Washington) and Joseph M. Hellerstein (UC Berkeley). Her work has been supported by projects such as the Hydro Framework and the Gallifrey language initiative. Labs & Teams: She leads the Princeton Systems Group and collaborates with the Programming Languages Group , fostering interdisciplinary research between PL and distributed systems.

• Programming Languages
• Distributed Systems
• Systems & Networking
• +۳ مورد دیگر

Paulo Sérgio Almeida is an Assistant Professor at the Department of Informatics, University of Minho, and a Senior Researcher at HASLab / INESC TEC since November 2011. He holds a PhD in Computer Science from Imperial College London (1998) and an MSc from University of Porto (1994). Research Interests Distributed Systems Causality Tracking Mechanisms Conflict-free Replicated Data Types (CRDTs) Eventually Consistent Databases Network Protocols Fault-tolerant Algorithms His recent publications focus on Byzantine fault tolerance, consistency models, and network protocols. Notable works include the Blocklace universal CRDT framework and the Exon protocol for oblivious exactly-once messaging. Advising: Ziad Ali Kassam – thesis on Exactly-once Exchanges (2021–2023) Ricardo Oliveira Vaz – thesis on Blockchain-based Payment Systems (2022) Labs/Teams: Associate researcher at HASLab / INESC TEC, contributing to distributed systems research.

• Distributed Systems
• Conflict-free Replicated Data Types (CRDTs)
• Fault-tolerant Systems
• +۳ مورد دیگر

Weihai Yu is an Associate Professor at the Department of Computer Science, UiT The Arctic University of Norway. His research focuses on distributed systems, collaborative editing, conflict-free replicated data types (CRDTs), edge computing, and decentralized service orchestration. He leads the Open Distributed Systems (ODS) research group and contributes to projects like the Conflict-free Replicated Relation (CRR) and Nudge Project. Yu has authored over 50 publications since 2009, with recent work emphasizing replicated data streams, undo mechanisms in collaborative systems, and edge-cloud integration. Key research interests include: distributed database replication, real-time collaborative editing with CRDTs, fault-tolerant service orchestration, and asynchronous systems design. His work bridges theory and practice, addressing challenges in consistency, scalability, and user experience in distributed applications. Publications trends show a strong focus on CRDT advancements (e.g., low-cost set CRDTs, generic undo support) and edge computing applications. He collaborates extensively with industry partners on projects like the Nudge Project, exploring IoT-driven transportation systems. Yu's contributions are published in top venues such as Springer Nature, ACM, and IEEE journals/conferences. Maintains the Open Distributed Systems (ODS) group at UiT, focusing on collaborative systems and distributed computing innovations. Current research includes local-first software architectures and conflict-free replicated relations for multi-synchronous database management.

• Distributed Systems
• Collaborative Editing
• Conflict-Free Replicated Data Types (CRDTs)
• +۴ مورد دیگر

Guido Salvaneschi is a Professor and Head of the Programming Group at the Institute of Computer Science within the School of Computer Science at the University of St. Gallen, Switzerland. His work bridges theoretical foundations with practical applications in programming languages and software engineering, with a particular focus on distributed systems and infrastructure as code. His research interests span programming languages, software engineering, distributed systems, reactive programming, DevOps organizations, and secure software systems. He has made significant contributions to multitier programming languages, consistency models for distributed applications, and infrastructure as code testing frameworks. Salvaneschi's recent publications reveal a strong focus on infrastructure as code analysis and testing, with multiple papers accepted at top conferences in 2024-2025. His work demonstrates a consistent thread connecting programming language theory with practical systems challenges, particularly in cloud and distributed environments. His Programming Group at the University of St. Gallen includes several PhD students and researchers working on cutting-edge topics in software systems. Current projects include Consistency Programming for Local First Software (an SNF project), HORIZON-RIA for European edge computing infrastructure, and Multitier Programming above the Clouds (another SNF project). As an active member of the research community, Salvaneschi serves on program committees for major conferences including ASE, PLDI, and ICSE, demonstrating his standing within the programming languages and software engineering fields.

• Programming Languages
• Software Engineering
• Distributed Systems
• +۵ مورد دیگر

Pascal Weisenburger is a researcher at the School of Computer Science , University of St. Gallen. His work focuses on programming languages for distributed systems , emphasizing multitier programming, reactive paradigms, and type-driven placement reasoning. Research Themes : Multitier programming languages, CRDTs, dynamic placement type systems, reactive microservices, compiler correctness, and domain-specific scheduling. Recent Articles : Explored E-graphs for disequality reasoning (POPL 2025), array type duality in functional languages (ECOOP 2024), and formal verification of CRDTs (PLDI 2023). Committee Roles : Participated in program/steering committees for ECOOP, SPLASH, APLAS, and IEEE BigData conferences. Key Contributions : Developed the ScalaLoci language for multitier systems, proposed Propel for algebraic property verification, and introduced Dyno for static reasoning in dynamic placement scenarios.

• Programming Languages
• Multitier Programming
• Tierless Programming
• +۱۲ مورد دیگر

Gowtham Kaki is an Assistant Professor in the Department of Computer Science at the University of Colorado Boulder. His research focuses on the intersection of Programming Languages, Formal Methods, and Distributed Systems, with emphasis on automated verification techniques for concurrent and distributed programs. Education: Purdue University (PhD), BITS Pilani (Bachelors) Research Interests: Programming Languages, Formal Methods, Distributed Systems, Security, and AI Teaching: CSCI 3155 (Principles of Programming Languages), CSCI 7000 (Principles of Functional Programming), CSCI 5535 (Foundations of Programming Languages), and CSCI 7000 (Distributed Systems Verification) His work has produced 15 recent publications in verification techniques for distributed systems, including runtime-assisted convergence, CRDTs, and cryptographic secrecy. He has also received multiple awards including Google's PhD Fellowship and BITS Pilani's 30-under-30 recognition. He actively collaborates with the CUPLV research group and serves on program committees for OOPSLA, PLDI, and PaPoC conferences. His GitHub repositories demonstrate technical contributions in OCaml, taint analysis, and Z3 SMT integration.

• Programming Languages
• Formal Methods
• Distributed Systems
• +۴ مورد دیگر

José Orlando Pereira is an Associate Professor at the Department of Informatics, University of Minho, and Research Coordinator at INESC TEC (INESC Technology and Science). His primary research interests lie in dependable distributed systems, with a focus on data management, group communication protocols, and tools for distributed system evaluation. He leads the High-Assurance Software Laboratory (HASLab) , part of INESC TEC and the University of Minho. Roles: Academic supervisor, conference committee member (e.g., SRDS 2025 General Co-Chair), and grant recipient (e.g., ADAPQO funding from CMU Portugal 2024). Key Projects: Includes CYBERACTIONING (cybersecurity education), EUMaster4HPC (European HPC master's program), and AIDA (adaptive assurance platform). Research Themes: Database replication, georeplicated systems, consensus protocols, edge computing, and fault injection tools like LAZYFS. His work emphasizes practical applications, such as improving transactional performance in hybrid workloads (TiQuE) and designing scalable NoSQL middleware (CloudMdsQL). He has authored over 200 publications, including seminal contributions to gossip protocols (HyParView) and consensus algorithms. Awards: Honorable Mention at ACM SIGMOD 2025 for CRDV research. Active in organizing conferences such as SRDS, DSN, and EuroSys. Teaching: Offers advanced courses on distributed systems, database administration, and large-scale data replication at both undergraduate and graduate levels.

• Dependable Distributed Systems
• Data Management
• Database Replication
• +۷ مورد دیگر

Rogério António Pontes serves as an External Research Collaborator at INESC TEC's High-Assurance Software Centre (HASLab) since July 2014, contributing to cutting-edge research in computer security and data privacy. His work bridges academic innovation with industry-relevant solutions for secure data systems. He completed his Master's thesis on "Linear Algebra Approach to OLAP systems" and is currently pursuing his PhD through the MAP-i Doctoral programme, focusing on data privacy challenges in collaboration with the European SafeCloud-eu project. His educational trajectory demonstrates a clear progression from theoretical foundations to applied security research. Pontes' research centers on practical implementations of privacy-preserving technologies across distributed environments. His expertise spans cryptographic protocols for secure computation, oblivious database operations, and multi-cloud storage architectures. He addresses critical gaps in data security by developing systems that maintain confidentiality without sacrificing performance, with particular emphasis on real-world deployability in cloud and distributed infrastructures. His publication record reveals a consistent trajectory toward increasingly sophisticated secure system designs. Early work established foundations in secure file systems (SafeFS, 2017) and multi-cloud databases (d'Artagnan, 2019), evolving toward optimized oblivious search (CODBS, 2021) and general-purpose secure CRDTs (2023). This progression demonstrates mastery in combining cryptographic theory with systems engineering to solve concrete privacy challenges. As an integral member of HASLab at INESC TEC, Pontes collaborates within a high-assurance software research ecosystem focused on developing verifiable security solutions. His work directly impacts how sensitive data is processed in untrusted environments, contributing to Portugal's growing reputation in cybersecurity research through both theoretical contributions and open-source implementations.

• Data Privacy
• Secure Data Processing
• Cryptographic Protocols
• +۴ مورد دیگر

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. Her research focuses on programming languages, distributed systems, concurrency, parallelism, and software verification. Ph.D., Indiana University (2015) Research interests include: Programming-language-based approaches for concurrent/distributed systems Library-level choreographic programming (Haskell, Rust, TypeScript) Dependently-typed diagrams for inductive reasoning Causal message delivery with refinement types Key research projects: 2025: KameraBag (Kubernetes observability) 2024: Sender-side causal message protocol 2023: HasChor (Haskell choreographic programming) 2022: Liquid Haskell causal broadcast verification Scientific awards: NSF CAREER Award Stellar Development Foundation Grant Google Faculty Research Award Amazon Web Services gift Zulip in-kind sponsorship Teaching history includes courses on: Foundations of Programming Languages (CSE114A) Distributed Systems (CSE232/CSE138) SMT Solving and Solver-Aided Systems Programming Abstractions (Python) Service contributions: Co-founded !!Con and !!Con West Chaired: Choreographic Programming 2024, PLMW workshops, DSLDI, OBT ICFP/OOPSLA/PLDI program committee member Research group: CASL Group (Concurrency and Safety Lab) Languages, Systems, and Data (LSD) Lab Current members: 6 PhD students

• programming languages
• distributed computing
• concurrency
• +۵ مورد دیگر

Sérgio Duarte is an Assistant Professor at the Department of Informatics, Faculty of Sciences and Technology, Universidade Nova de Lisboa (FCT/UNL). His research focuses on distributed systems, cloud computing, and database management, particularly in consistency models and replication mechanisms. Research Interests: Distributed Systems, Cloud Computing, Conflict-free Replicated Data Types (CRDTs), Consistency Models, Geo-replication, Event-based Systems. Key Contributions: Work on causal consistency, invariant preservation in databases, and client-side fault tolerance in geo-replicated environments. Email: smd@fct.unl.pt

• Distributed Systems
• Cloud Computing
• Database Management
• +۳ مورد دیگر

Dr. Carla Ferreira is a Researcher at NOVA University Lisbon, Portugal. She actively contributes to academic communities as a committee member and session chair in conferences like POPL, ECOOP, and SPLASH. Her work bridges distributed systems, low-code development, and program verification. Researcher at NOVA University Lisbon Conference committee roles: POPL, ECOOP, SPLASH, MODELS, PLDI Research interests: distributed systems, low-code development, invariant verification Carla’s work focuses on ensuring correctness in distributed systems through coordination-free designs and replicated data types. She has explored low-code templates for safe application composition and automated scaling of sequential systems. Her recent contributions include consistency models for weakly consistent databases and educational approaches for teaching distributed verification with TLA+. She has authored key works on ECROs, OSTRICH, and VeriFx frameworks. Her publications span from 2016 to 2025, reflecting ongoing contributions to system design and verification. Carla Ferreira can be reached via her personal website at http://ctp.di.fct.unl.pt/~cf/ , though no direct email addresses are publicly listed in the scraped data.

• Distributed Systems
• Concurrency
• Low-code Development
• +۵ مورد دیگر

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

• Programming Languages
• Software Engineering
• Distributed Systems
• +۵ مورد دیگر