Find Academic Supervisors

Don SannellaView profile

Professor

• Computer Science
• Formal Methods
• Algebraic Specification
• +5 more

Don Sannella is a Professor of Computer Science at the University of Edinburgh, affiliated with the Laboratory for Foundations of Computer Science (LFCS) within the School of Informatics. His research focuses on formal methods, algebraic specification (notably the CASL language), security, and theoretical computer science. He has contributed to foundational work in specification languages and their implementation, including the CoFI initiative. Sannella has authored influential books on formal software development and algebraic specifications. He holds the rank of Fellow of the Royal Society of Edinburgh. His work spans academic leadership, editorship of Theoretical Computer Science , and projects like Mobility and Security (MRG) and App Guarden for secure mobile applications. His teaching includes courses on functional programming, computability, and formal methods. He has advised students such as Nikita Samarin and collaborated on research grants, including those in resource analysis and concurrency. Sannella’s contributions integrate rigorous formal techniques with practical software development challenges, emphasizing modularity, correctness, and security.

Nobuko YoshidaView profile

Professor

• Programming Languages
• Concurrent and Distributed Systems
• Formal Verification
• +4 more

Prof. Nobuko Yoshida is the Christopher Strachey Chair of Computing at the University of Oxford's Department of Computer Science, leading the Programming Languages research theme. She joined Oxford in 2022 from Imperial College London, holding one of the oldest chairs in the department, previously held by Tony Hoare and Samson Abramsky. Her research focuses on session types , notably introducing Multiparty Session Types in 2008, which revolutionized protocol verification and earned the Most Influential POPL Paper Award (2018). Her work spans concurrent and distributed systems , formal verification, and industry collaborations with companies like Red Hat, Google, and EDF Energy. She holds EPSRC funding, is an Honorary Fellow at Glasgow University, and serves on editorial boards for leading journals like ACM Transactions on Programming Languages and Systems. Her research group develops tools such as Scribble for runtime monitoring, deployed in projects like the US Ocean Observatories Initiative. Awards include the British Computing Society Fellowship and EPSRC Established Career Fellowship. She mentors over 19 researchers who have secured academic and industry roles globally. Current students include Ari Hernawan, Kai Pischke, Jessica Richards, and Litu Zou.

Sangiorgi DavideView profile

Professor

• Computer Science
• Theory of Concurrent Systems
• Theory of Distributed Systems
• +2 more

Davide Sangiorgi is a Full Professor at the University of Bologna, Italy, with a distinguished career in computer science and theoretical concurrency. He has held significant roles as Director of Research at INRIA (2000), Researcher at INRIA (1995), and Research Fellow at the University of Edinburgh (1993). His work spans programming languages, distributed systems, and formal verification. Laurea (Master) in Computer Science, University of Pisa, 1987 PhD in Computer Science, University of Edinburgh, 1993 His research focuses on the theory of concurrent and distributed systems, with contributions to bisimulation, process calculi, and type systems. His publications highlight advancements in lock-freedom, environmental bisimulation, and behavioral equivalence, primarily in programming languages and concurrency theory. Key trends in his articles include the development of formal methods for concurrency, type systems for mobile processes, and the application of bisimulation in higher-order languages. His work bridges theoretical foundations with practical verification techniques in distributed systems and programming languages. Elected Chairman of IFIP Working Group 2.2 (FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS) in 2005 and re-elected in 2008 Member of the Council of the Italian Chapter of the European Association for Theoretical Computer Science (EATCS), re-elected 3 times Sangiorgi has supervised 10 PhD students across France and Italy, currently advising 3. He has led 3 large EU projects and bilateral initiatives (France-USA, France-Germany, France-Italy). He co-founded the joint INRIA-University of Bologna laboratory, the first of its kind for INRIA in a foreign institution.

• Concurrency
• Real-Time Systems
• Distributed Systems
• +3 more

Lukasz Ziarek is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, and serves as the Associate Dean for Academic Affairs in the School of Engineering and Applied Sciences. His research focuses on concurrency, real-time systems, distributed systems, and formal verification. He holds a PhD from Purdue University (2011) and a BS from the University of Chicago (2003). His research explores topics such as real-time Java implementations, session types for distributed protocols, and visual debugging techniques. Recent work includes formal models for secure multiparty computation, IoT device validation, and optimizing visual SLAM systems for robotics applications. He has contributed to frameworks like Juav (a Java-based UAV autopilot) and RTDroid (a real-time Android extension). Ziarek has received notable awards including the 2023 IEEE Technological Innovation Award, 2022 Meyerson Teaching Award, and 2018 NSF CAREER Award. His grants include collaborative research on UAV software infrastructure and real-time communication protocols. He actively develops tools like PTDETECTOR for JavaScript library analysis and Anodize for mixed-criticality systems. His work integrates formal methods with practical systems, addressing challenges in embedded systems security, compiler optimization, and real-time programming language design. He maintains a lab focused on advancing reliable software for autonomous systems and distributed computing environments.

Danijela TadićView profile

Professor

• Production Engineering
• Industrial Engineering
• Decision-Making Models
• +5 more

Danijela Tadić is a Professor at the Department of Production Engineering, Faculty of Engineering, University of Kragujevac, Serbia. Her primary research focuses on decision-making models under uncertainty, manufacturing process optimization, failure mode analysis, and sustainable recycling technologies in the automotive and industrial sectors. She holds a leadership role in the Faculty of Engineering, contributing to academic governance and curriculum development. Her scientific work integrates fuzzy logic systems, multi-criteria decision-making (MCDM), and optimization algorithms to address complex engineering challenges. Notable areas include risk management in supply chains, quality improvement in manufacturing processes, and environmental impact assessment of recycling equipment. She has collaborated on projects evaluating organizational resilience, strategic failure management, and resource planning in SMEs. Prof. Tadić’s publications emphasize practical industrial applications, such as PFMEA integration with fuzzy decision tools, cloud platform selection frameworks, and electric vehicle evaluation models. Her work bridges theoretical advancements in fuzzy set theory with real-world manufacturing and environmental sustainability problems. She actively participates in academic and professional networks, contributing to conferences and journals in production engineering and industrial systems. Her expertise spans project lifecycle management, lean manufacturing, and the evaluation of recycling technologies for end-of-life vehicles (ELVs).

Edon KelmendiView profile

Lecturer

• Dynamical Systems
• Logics in Computer Science
• Game Theory
• +3 more

Dr. Edon Kelmendi is a Lecturer in Computer Science at Queen Mary University of London. He holds a doctorate from Laboratoire Bordelais de Recherche en Informatique and completed postdoctoral research at the University of Warsaw, University of Oxford, and Max Planck Institute. His research focuses on theoretical computer science, particularly dynamical systems, logics in CS, and game theory. Kelmendi's work examines algorithmic verification of dynamical systems, automata theory, and game-theoretic models. His recent publications demonstrate strong focus on linear dynamical systems and injective piecewise affine maps. He received the Distinguished Paper Award at LICS 2022 for his computational contributions to linear recurrence sequences.

Savvas G. LoizouView profile

Professor

• Control Theory
• Robotics
• Autonomous Systems
• +7 more

Savvas G. Loizou is a faculty member at the Cyprus University of Technology , affiliated with the Department of Mechanical and Materials Science and Engineering . He established the Robotics, Control, and Decision Systems Laboratory (RCDS Laboratory) in 2011. Education: PhD in Mechanical Engineering (2005) and Eng. Diploma (2000) from National Technical University of Athens (NTUA). Postdoctoral Experience: GRASP Laboratory, University of Pennsylvania (2005–2007). His research focuses on control theory for autonomous robotic systems , with applications in underwater, aerial, ground, and micro-robotics . Key areas include multi-agent coordination , human-robot interaction , task planning , and sensor-based navigation . Recent work emphasizes logistics automation , UAV hardware platforms , and bounded control algorithms . Dr. Loizou has contributed to multi-agent formation control , underwater vision systems , and nonlinear model predictive control for electric vehicles. He is active in control system design and navigation transformations for complex environments. His laboratory, RCDS , serves as a hub for research in autonomous systems and decision-making algorithms.

Amélie MarianView profile

Professor

• Data Management
• Algorithms
• Accountability of Decision-making Systems
• +7 more

Amélie Marian is a Professor in the Department of Computer Science at Rutgers University. She maintains an active research program with numerous recent publications and research projects. Her office is located in CoRE 324 on the Busch Campus, and she can be reached at amelie.marian@rutgers.edu or by phone at (848) 445-8324. Dr. Marian's primary research interests focus on Data Management and Algorithms, with specific emphasis on Accountability and Transparency of Algorithms for Decision-Making, Explainable Rankings, Personal Information Management, Data Integration, and Data Corroboration. Her work bridges theoretical computer science with practical applications in decision systems, personal data management, and privacy-preserving technologies. She leads several major research initiatives including YourDigitalSelf (connecting, searching, and understanding personal digital traces), Explainable Rankings (toward transparent ranking functions), and Decentralized Collaborative Filtering (privacy-aware personal recommendations). Analyzing her recent publications reveals a clear trajectory toward increasingly important societal challenges in algorithmic transparency and accountability. Her work spans technical aspects of database systems and information retrieval while addressing critical social implications of algorithmic decision-making. The research shows strong interdisciplinary connections between computer science, social choice theory, human-computer interaction, and public policy. Microsoft Live Labs Award (2006) Google Research Awards (2008, 2010, 2012) NSF CAREER award (2009) NSF MCA Grant Award for Transparent and Accountable Decision Systems (2022) Multiple Google Research Awards for projects including Remembrance of Data Past and PERSEUS Dr. Marian actively mentors graduate students including PhD candidates Yehuda Gale and Shuchang Liu, and MS student Shuyuan Xu. Her research has been supported by significant grants including multiple NSF awards (NSF-SES 2218975, NSF-IIS 0844935, BCS-CDI-Type I 1027801), Google Research Awards, and Microsoft funding. She leads the YourDigitalSelf research group focused on personal information management systems and has established collaborative projects with researchers across multiple institutions.

Eric MatsonView profile

Professor

• Multiagent Systems
• Robotics
• Software Engineering
• +3 more

Eric T. Matson is a Professor in the Department of Computer and Information Technology at Purdue University's Purdue Polytechnic Institute. He also holds a non-tenure-track Professorship at Dongguk University's Department of Computer Science and Engineering in Seoul, South Korea, and serves as an International Faculty Scholar at Kyung Hee University. His roles include directing the RICE Research Center and co-founding the M2M Lab. Education: PhD (Computer Science), University of Cincinnati (2008) MSE (Software Engineering), Kansas State University (2002) MBA (Operations Management), Ohio State University (1993) BS (Computer Science), Kansas State University (1988) Research Interests: Dr. Matson focuses on Multiagent Systems, Robotics, Software Engineering, and STEM Education. His work emphasizes organizational models for autonomous systems and outreach to underserved communities. Recent projects include sensor networks, cooperative robotics for search and rescue, and global academic collaborations through programs like the Korean Square Initiative. Publications: His research spans agent coordination, organizational transition algorithms, and robotics education, with notable contributions to journals like Autonomous Agents and Multiagent Systems and conferences such as AAMAS and SPIE. Awards: Ho Award for Outstanding Undergraduate Teaching (2010, 2011) 2024 Outstanding Leadership in Globalization Award Grants & Collaboration: Leads initiatives like the Purdue-Dongguk Korean Square Program and the POSTECH Graduate Degree Collaboration. Engages in global partnerships to advance AI and robotics education. Labs/Teams: Director of the RICE Research Center and co-founder of the M2M Lab, focusing on multiagent systems and robotic applications.

• Formal Verification
• Logic
• Cryptography
• +3 more

Rajeev Gore is a Professor in the Department of Data Science & AI at Monash University. His research focuses on formal verification, automated theorem proving, and logic systems. He has contributed significantly to areas including modal logics, voting system verification, and cryptographic protocols. Gore has been actively involved in developing verified decision procedures for modal logics and exploring applications in electronic voting systems. His work bridges theoretical computer science and practical applications, with a particular emphasis on ensuring correctness through formal methods. Key contributions include the N-PAT nested model-checker and verified verifiability frameworks for voting systems like BeleniosVS and ElectionGuard. His research also addresses trust domains and cryptographic applications, reflecting a deep engagement with both foundational and applied aspects of logic and computation. Gore's publications span over two decades, demonstrating sustained contributions in formal systems, automated reasoning, and security-critical applications. His work often combines rigorous mathematical foundations with practical tool development, emphasizing trustworthiness and verifiability in complex systems.

• Fuzzy Set Theory
• Fractional Calculus
• Mathematical Inequalities
• +6 more

Muhammad Bilal Khan is an Assistant Professor at the Department of Electronics and Power Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Pakistan. His research spans mathematical theory and practical applications in wireless communication sensing technology. His primary research interests include Fuzzy Set Theory , Fractional Calculus , Mathematical Inequalities , and RF Sensing Applications in healthcare. His theoretical work focuses on developing new mathematical frameworks for fuzzy-number valued functions, particularly exploring pre-invexity, harmonic convexity, and related integral inequalities. On the applied side, he has made significant contributions to non-contact health monitoring systems using software-defined radio technology for detecting conditions like text neck syndrome, spinal curvature disorders, and breathing abnormalities. Analysis of his 15 most recent publications reveals a dual research trajectory: approximately 60% focus on theoretical mathematical contributions in fuzzy analysis and integral inequalities, while 40% address practical applications of wireless sensing in healthcare. His mathematical work frequently appears in journals like Axioms and Symmetry , while his applied research is published in venues including IEEE Access and Sensors . His notable scientific contributions include developing novel frameworks for (q 1 , q 2 )-Linear Diophantine Fuzzy Sets and advancing the theory of Diamond Intuitionistic Fuzzy Sets. His healthcare applications research has pioneered non-invasive monitoring techniques using RF sensing for elderly fall detection, text neck syndrome diagnosis, and breathing pattern analysis. Dr. Khan maintains active collaborations with researchers across multiple institutions, particularly working with Mohamed S. Soliman (13 joint publications), Muhammad Aslam Noor (12 publications), and Savin Treanta (8 publications) on mathematical theory, while collaborating with Najah AbuAli, Mubashir Rehman, and Xiaodong Yang on healthcare sensing applications.

• Quantum Computing
• Quantum Machine Learning
• Quantum Simulations
• +3 more

Marco Russo is a PhD Student in Computer and Systems Engineering (38th cycle, 2022-2025) at the Department of Automatic Control and Computer Science (DAUIN) of the Polytechnic University of Turin. He serves as an external teacher/teaching assistant in DAUIN and holds a Contract Professor position at the Center for Autonomous Management of the Interfaculty University School of Strategic Sciences (SUISS) from November 2023 to October 2024. His research focuses on Quantum Computing, Quantum Machine Learning, and Quantum Simulations, with ERC sectors emphasizing machine learning and quantum computing formal methods. He teaches Computer Architecture courses for Computer Engineering Master's students. Russo's recent publications explore cutting-edge applications in quantum control, embedded systems integration with quantum algorithms, quantum security protocols, and neural-symbolic AI for puzzles. His work bridges theoretical advancements in quantum computing with practical implementations across gaming, communications, and aerospace domains. His academic roles include collaboration with PhD guardians Bartholomew Montrucchio and Olivier the Third. While no formal awards are listed, his contributions span interdisciplinary research areas at the intersection of quantum technologies and classical engineering systems.

Paige Randall NorthView profile

Assistant Professor

• Category Theory
• Homotopy Theory
• Functional Programming
• +3 more

Paige Randall North is an Assistant Professor at Utrecht University, holding dual appointments in Mathematics and Information and Computing Sciences. She is also an Honorary Research Fellow at the University of Birmingham and a Guest Researcher at Delft University of Technology. Her research focuses on applying category theory and topology to computer science, particularly in functional programming and homotopy theory. North earned her PhD in Mathematics from the University of Cambridge (supervised by Martin Hyland) and a BS from the University of Chicago. She has held postdoctoral positions at the University of Pennsylvania and Ohio State University. Her research explores connections between type theory and higher category theory, including the univalence principle and categorical diffusion. Recent activities include organizing conferences like TYPES and DutchCATS, serving on program committees for LICS and POPL, and teaching advanced courses on homotopy type theory and interactive theorem provers. Funding has come from the AFOSR (2021-2024). Her work emphasizes formalization in proof assistants like UniMath and Coq, with contributions to categorical semantics and bicategorical type theory.

• Legal Evidence
• Cognitive Bias in Legal Decision Making
• Bayesian Evidence Models
• +3 more

Christian Dahlman is a Professor in the Department of Law at Lund University, serving as Research Coordinator for the Law, Evidence and Cognition (LEVIC) research group. His work focuses on legal evidence, cognitive biases in legal decision-making, and Bayesian models of evidence evaluation. He contributes to UN Sustainable Development Goals related to justice and governance. Dahlman is actively involved in interdisciplinary research at the intersection of law, psychology, and artificial intelligence. Research interests include probabilistic reasoning in legal contexts, cognitive biases affecting judicial fact-finding, and the application of Bayesian networks to forensic evidence analysis. His work critiques common legal fallacies and proposes methods to debias legal decision-making processes. Recent activities include organizing the NORTH SEA GROUP legal evidence seminars and delivering invited lectures on topics like 'Against Plausibility' (2024). He supervises doctoral research in areas such as decisional privacy and legal cognition. Dahlman's projects address preventing miscarriages of justice and improving evidence evaluation frameworks. He leads the long-running Law, Evidence and Cognition research initiative (2010–present) and has coordinated international collaborations across Europe. Dahlman's contributions span legal education, historical legal case analyses, and policy recommendations for judicial reform.

• Systems
• Concurrency
• Memory Management
• +5 more

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.