معرفی
James Riely is a Professor in the School of Computing at DePaul University, United States. His research focuses on Programming Languages, Concurrency, and Formal Methods, particularly in modeling Relaxed Memory and Security in distributed systems. He has contributed to leading conferences like POPL, SPLASH, and VMCAI, addressing topics such as Concurrent Programming, Event Structures, and Security Automata.
- Education: PhD in Computer Science from University of North Carolina at Chapel Hill (1999).
Research Trends: His work spans Relaxed Memory Models, Software Verification, and Security Protocols, often integrating Formal Verification and Concurrency Theory. Key contributions include modeling Speculative Execution Attacks and designing Security Automata for enforceable policies.
Conference Involvement: Active in program committees for POPL, VMCAI, and PPoPP, with session chair roles in tracks like Separation Logic and SLE.
