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

Andrés A. Aristizábal P.مشاهده پروفایل

مدرس

• Theoretical Computer Science
• Process Calculi
• Security
• +۴ مورد دیگر

Andrés A. Aristizábal P. is currently a Lecturer and researcher at Pontifical Xavierian University at Cali, Colombia. He obtained his PhD from Laboratoire d'Informatique de l'Ecole Polytechnique (LIX) under the supervision of Catuscia Palamidessi and Frank Valencia. Email: aaaristizabal@javerianacali.edu.co, andresaristi@lix.polytechnique.fr, andresaristi82@gmail.com Phone: +57-2 3218200 Address: Grupo Avispa, Pontifical Xavierian University at Cali, Calle 18 No. 118-250, Cali, Colombia Website: Personal Site , Old Website Research Interests: Dr. Aristizábal focuses on theoretical computer science, particularly Process Calculi , and their applications to Security , Concurrency Theory , Formal Methods , Reactive Systems , and Bisimulation .

• Concurrency Theory
• Formal Methods
• Privacy Policy Analysis
• +۳ مورد دیگر

Anna Filippou is a Professor at the Department of Computer Science of the University of Cyprus. She holds a B.A. in Mathematics and Computation from the University of Oxford (1992) and a Ph.D. in Computer Science from the University of Warwick (1996). Her research focuses on Concurrency Theory, Formal Methods, Privacy Policy Analysis, and Algorithmic Game Theory. She has served as General Chair for major conferences such as ETAPS 2010 and FM 2016, and her work is funded by the Foundation for Research and Innovation and the European Commission. Her research applies formal frameworks like Process Calculi, Petri Nets, and Type Systems to design and analyze concurrent, distributed, and real-time systems. Recent work includes modeling Reversible Computation and developing privacy policy enforcement mechanisms in π-calculus. She has published extensively in top venues including TACAS, ETAPS, and Algorithmica. Anna has held academic positions at the University of Cyprus since 2002 and previously worked at the University of Pennsylvania (1997-1998). She is a member of the Laboratory for Foundations of Computing Systems and Theoretical Computer Science. Her technical roles include managing the HSF Controller Network design and formal verification of distributed systems using tools like UPPAAL. Key contributions include formalizing privacy policies using typed π-calculus systems, analyzing network security games, and developing resource-aware process algebra models for real-time systems. Current projects explore GDPR compliance frameworks and algorithmic game theory applications in network defense mechanisms.

• Concurrency Theory
• Formal Methods
• Algorithmic Game Theory
• +۵ مورد دیگر

Anna Philippou is a Professor in the Department of Computer Science at the University of Cyprus. Her research focuses on Concurrency Theory, Formal Methods, Algorithmic Game Theory, and Privacy-Preserving Systems. She holds a PhD in Computer Science from the University of Warwick, UK (1996), and has held academic positions at the University of Pennsylvania (1997–1998). Her work emphasizes formal verification of concurrent systems, GDPR compliance frameworks, and reversible computing models using Petri Nets. Education: B.A. in Mathematics and Computation (University of Oxford, 1992), M.Sc. in Parallel Computers and Computation (University of Warwick, 1993), PhD in Computer Science (University of Warwick, 1996). Research Interests: Her studies address specification and verification of concurrent systems, formal methods for safety-critical systems, and applications of Petri Nets in reversible computing. Recent work explores GDPR compliance in software design and fault-tolerant networking protocols. Advising/Grants: No explicit student or grant details provided in text. Active in organizing conferences like FORTE and DisCoTec, and has contributed to tool development for formal verification (e.g., Diálogop). Labs/Teams: Not explicitly mentioned, but her research aligns with formal methods and distributed systems groups at the University of Cyprus.