Find Academic Supervisors

Mohsen LesaniView profile

Associate Professor

• Reliability of software systems
• Security of software systems
• Concurrent systems
• +12 more

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Heather MillerView profile

Assistant Professor

• Distributed Systems
• Concurrent Programming
• Programming Languages
• +4 more

Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.

Anargyros TsadimasView profile

Lecturer

• Modeling & Simulation of Systems
• Distributed Systems
• Enterprise Information Systems Engineering
• +3 more

Anargyros Tsadimas serves as a Teaching Associate and member of the Department of Informatics & Telematics at Harokopio University in Athens, Greece. He joined the university in 2004 as a research associate and currently holds a position in teaching laboratory staff. His academic background includes a BSc in Applied Informatics from the University of Macedonia (2002) and an MSc in Advanced Information Systems from the National and Kapodistrian University of Athens (2005). He earned his PhD in Information Systems from Harokopio University, focusing on model-based design of enterprise systems using SysML. His research interests span modeling and simulation of systems, distributed systems, enterprise information systems engineering, and cyber-physical systems. He has contributed over 25 publications in international conferences and journals, including work on SysML extensions for cost analysis, hybrid simulation platforms, and human-centric design of cyber-physical systems. Tsadimas has participated in EU and Greek government-funded R&D projects, with practical experience in startups as a Software Engineer, DevOps, and Technology Advisor. His recent research emphasizes integrating human factors into system design frameworks, exploring cloud pricing policies, and advancing simulation methodologies for complex systems. Notable contributions include developing declarative approaches for executable SysML models and applying systems engineering to transportation infrastructure challenges. No scientific awards are explicitly mentioned in the provided materials. His professional engagement includes advising on systems design projects and collaborating on interdisciplinary initiatives combining technical and human-centric perspectives.

Michael EichbergView profile

Professor

• Software Engineering
• Static Analysis
• Software Development Tools
• +3 more

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

Chatziantoniou DamianosView profile

Professor

• Big Data Systems
• Business Intelligence
• Large-Scale Analytics
• +5 more

Professor Chatziantoniou Damianos holds a position at the Athens University of Economics and Business (AUEB) within the Department of Management Science and Technology (DMST), School of Business. He earned a B.Sc. in Applied Mathematics from the National & Kapodistrian University of Athens (1991), M.Sc. from New York University's Courant Institute of Mathematical Sciences, and a Ph.D. from Columbia University. His research focuses on big data systems, business intelligence, query processing, and real-time data analysis, with contributions influencing commercial database systems like Microsoft SQL Server and Oracle. As Director of AUEB's Master’s program in Business Analytics and Big Data, he previously served as an Assistant Professor at Stevens Institute of Technology (1997–1999). His industry collaborations include co-founding Panakea Software and VoiceWeb SA, and consulting roles at Aster Data Systems (now Teradata). He leads big data projects for companies like Cosmote, Piraeus Bank, and HEDNO. His research has been published in top venues including VLDB, ICDE, and SIGMOD, emphasizing practical applications in large-scale analytics and OLAP systems. He advises on strategic partnerships for the MSc program and maintains an active role in academic administration, including steering committees and quality assurance initiatives.

Earl T. BarrView profile

Professor

• Software Engineering
• Program Analysis
• Type Systems
• +6 more

Earl T. Barr is a Professor of Software Engineering at University College London (UCL), where he heads the System Software Engineering Group and is a member of the Centre for Research on Evolution, Search and Testing (CREST). His academic journey began with a Ph.D. in Computer Science from the University of California, Davis in 2009, after which he joined UCL as faculty. His research spans multiple domains within software engineering, with particular focus on program analysis, type systems, automated program repair, and the emerging field of dual channel analysis that examines the interplay between natural language and formal programming language in source code. Barr's work on the 'naturalness of software' has been influential in understanding how code differs from natural language while exhibiting statistical regularities. Barr's publication record shows a strong trend toward integrating machine learning with traditional software engineering techniques, particularly in type inference (Typilus), program repair, and code understanding. His recent work increasingly focuses on dual channel analysis, exploring how the natural language elements in code (identifiers, comments) interact with the formal programming language to create a richer communication channel for developers. MSR 2019 Most Influential Paper Award Multiple ACM SIGSOFT Distinguished Paper Awards Best Paper Award at IEEE Conference on E-Commerce Technology (2005) Barr actively supervises numerous Ph.D. students and postdocs, with current projects focusing on dual channel program analysis, AI for code, and software security applications. He has established long-term collaborations with researchers at institutions including Royal Holloway and the University of Luxembourg. His teaching portfolio at UCL includes core courses in Malware, Compilers, and Validation and Verification, reflecting his broad expertise across the software engineering spectrum. Barr leads the System Software Engineering Group at UCL, which focuses on practical applications of software engineering research with strong connections to industry problems. The group's work bridges theoretical foundations with real-world software development challenges, particularly in the areas of program analysis and automated software maintenance.

Angelos CharalambidisView profile

Assistant Professor

• Programming Languages and Software Systems
• Declarative Programming Languages
• Computational Logic
• +1 more

Angelos Charalambidis is an Assistant Professor at Harokopio University, affiliated with the Department of Informatics and Telematics. His academic and professional engagements focus on theoretical and applied aspects of computational logic and programming languages. Education: B.S. in Informatics, University of Athens (2005) M.S. in Computer Systems, University of Athens (2008) Ph.D. in Higher-Order Logic Programming, University of Athens (2014) His research interests include declarative programming languages, computational logic, and reasoning techniques, contributing to the broader field of Programming Languages and Software Systems. He has also explored applications in knowledge representation, preference modeling, and cloud-native systems. The trends in Angelos Charalambidis's publications highlight advancements in logic programming, including higher-order logic, fixpoint theory, ordered disjunction, and federated query processing. His work bridges theoretical foundations with practical implementations in formal methods and computational logic.

• Database Systems
• Virtual Reality Applications
• Digital Humanities
• +4 more

Yannis Ioannidis is a Professor at the Department of Informatics and Telecommunications of the National and Kapodistrian University of Athens. His research spans interdisciplinary areas including database systems, virtual reality applications, and cultural heritage technology. He leads projects integrating technology with education, art, and social sciences, such as VR environments for urban planning (ARSINOE VR) and AI-driven scientific discovery frameworks. His work emphasizes collaborative tools for digital storytelling and participatory cultural experiences. Ioannidis has contributed to advancements in database query optimization, text exploration through SQL extensions (DETEXA), and indexing techniques for data lakes. His recent focus includes exploring the intersection of tabletop role-playing games with historical education and ethical AI-human coevolution. He actively participates in initiatives like the EBRAINS infrastructure for brain research and the MagicARTS social VR project. Notable research trends in his publications include leveraging VR for immersive learning, designing hybrid museum kits, and applying AI to support UN Sustainable Development Goals. His work bridges technical innovation with societal impact, addressing challenges in education, art preservation, and ethical technology use.

• Functional Programming
• Logic Programming
• Programming Language Semantics
• +1 more

Rontogiannis Panagiotis is an Associate Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens. He has held academic positions since 1996, including roles at the University of Ioannina and the University of Victoria, Canada. His research focuses on theoretical computer science areas such as functional programming, logic programming, and declarative language compilation techniques. Education: Bachelor's in Computer Engineering (1989), University of Patras M.Sc. in Computer Science (1991), University of Victoria, Canada PhD in Computer Science (1994), University of Victoria, Canada Professional Career: 2008–Present: Associate Professor, University of Athens 2000–2008: Assistant Professor, University of Athens 1997–2000: Lecturer, University of Ioannina 1996–1997: Visiting Lecturer-Researcher, University of Ioannina 1990–1994: Research Fellow, University of Victoria, Canada He teaches courses on Principles of Programming Languages and Theory of Computation . No specific scientific awards or grants are explicitly mentioned in the provided text.

Amit K. ChopraView profile

Senior Lecturer

• Decentralized systems
• Multiagent systems
• Software engineering
• +5 more

Amit K. Chopra is a Senior Lecturer (Associate Professor) in the School of Computing and Communications at Lancaster University. His research focuses on decentralized systems, multiagent systems, and software engineering, with particular interest in how autonomous agents can interact with maximal flexibility in sociotechnical settings where agents represent autonomous parties and their decisions have normative consequences. Dr. Chopra has developed a unique approach called Interaction-Oriented Programming (IOP) that constitutes a foundation for flexible interactions between decentralized agents. This framework has evolved to include world-leading languages for modeling multiagent interactions, both in terms of normative meaning and interaction protocols, along with approaches for verifying them and programming models for implementing intelligent agents. His work challenges conventional wisdom in fields such as software engineering, distributed systems, programming languages, and business processes. His research spans theoretical foundations to practical implementations, with applications in e-business, health, finance, and other domains. Recent publications show a strong focus on tools and frameworks including Fluid (social norms-based multiagent systems), Argus (programming with communication protocols), Kiko (programming agents to enact protocols), Mandrake (fault-tolerant decentralized applications), and Azorus (commitments over protocols for BDI agents). Senior Lecturer (Associate Professor), School of Computing and Communications, Lancaster University Research interests: Decentralized systems, Multiagent systems, Software engineering, Sociotechnical systems Developed Interaction-Oriented Programming (IOP) framework for flexible agent interactions Active contributor to major conferences including PLDI 2020 tutorial on 'Programming for Autonomy' Dr. Chopra's work bridges theoretical foundations with practical applications, addressing fundamental challenges in decentralized computing including asynchrony and concurrency - areas where computing has traditionally struggled. His approach to commitment protocols and interaction-oriented programming represents a significant contribution to the field of multiagent systems and decentralized computing.

Bernhard ScholzView profile

Professor

• Programming Languages
• Compilers
• Static Analysis
• +4 more

Bernhard Scholz is a Professor at the University of Sydney's School of Computer Science. His research focuses on programming languages, compilers, static analysis, and blockchain technologies, with significant contributions to Datalog optimization and smart contract security. He teaches COMP3109 Programming Languages and Paradigms and leads research in declarative programming frameworks. Scholz's primary research interests include: Development of Soufflé, a Datalog-based program analysis framework Ethereum smart contract security through tools like Ethainter and MadMax Parallel data structures for efficient Datalog evaluation Compiler optimizations for embedded systems and cloud environments His recent publications demonstrate a consistent focus on improving the efficiency and security of declarative programming systems, particularly through innovations in Datalog execution and smart contract analysis. This work bridges theoretical computer science with practical applications in blockchain and distributed systems. Scholz has secured research funding including an ARC Discovery Project on adaptive key-value stores and a Fantom Operations grant for smart contract toolchain development. He collaborates with international researchers on parallel computing and blockchain verification projects.

Yannis SmaragdakisView profile

Professor

• Programming Languages
• Software Engineering
• Static Program Analysis
• +5 more

Yannis Smaragdakis is a Professor at the Department of Informatics, University of Athens, with a 35%-time appointment and concurrent affiliation at Dedaub (a blockchain security company). His research spans programming languages, software engineering, static analysis, and distributed systems, with a current focus on Ethereum smart contract security and declarative program analysis. Notable contributions: Doop framework for Datalog-based program analysis, Gigahorse decompiler, Elipmoc for Ethereum contracts, and foundational work on points-to analysis Key research themes: Static analysis (soundness, precision, scalability), memory management algorithms (EELRU), declarative languages, and concurrency models Recent work emphasizes security analysis of blockchain programs, earning distinctions like the SIGPLAN Research Highlight (2019) and Distinguished Paper Awards . He has advised numerous Ph.D. students and received funding from the ERC and HFRI .

Stephen ChongView profile

Professor

• Programming languages
• Information security
• Language-based security
• +3 more

Stephen Chong is a Gordon McKay Professor of Computer Science in the Harvard John A. Paulson School of Engineering and Applied Sciences, where he serves as Co-Director of Undergraduate Studies for Computer Science. His academic career spans over a decade of teaching and research at Harvard, where he has made significant contributions to programming languages and information security. Chong received his PhD from Cornell University under the guidance of Andrew Myers, and a bachelor's degree from Victoria University of Wellington, New Zealand. Prior to graduate school, he worked as a consultant and contractor in the software industry, bringing practical experience to his academic research. Professor Chong's research focuses on language-based information security, using programming language techniques to provide information security assurance. His work bridges the gap between theoretical foundations and practical applications, developing tools and frameworks that help programmers write trustworthy programs. His research has evolved to address increasingly complex security challenges in modern computing environments, from web applications to cyber-physical systems. His recent publications reveal a strong trend toward integrating advanced programming language techniques with security analysis, particularly through the use of Datalog, SMT solvers, and program synthesis. His work on Formulog has been particularly influential, extending Datalog with mechanisms to construct and reason about SMT formulas for static analysis. His research has expanded to address security challenges in cyber-physical systems, where sensor attacks pose unique threats to safety-critical infrastructure. Chong has received numerous prestigious awards including an NSF CAREER award, an AFOSR Young Investigator award, and a Sloan Research Fellowship. He has also served in leadership roles for major conferences including CSF 2012-2013, PLMW @ PLDI 2021, and as SIGPLAN-M Chair for 2025-2026. As an educator, Chong has mentored numerous students through Harvard's undergraduate research programs and has served as a thesis advisor. His teaching portfolio includes foundational courses like CS51, systems courses like CS61, and advanced topics in programming languages (CS152) and compilers (CS1530). He has been instrumental in shaping Harvard's computer science curriculum, particularly in security and programming languages. Chong leads a research group focused on language-based security, with projects including Formulog (for SMT-based static analysis), PRINCESS (for autonomous adaptation of software), and work on secure shell scripting (Shill). His group collaborates with researchers across Harvard and other institutions to tackle challenging problems at the intersection of programming languages and security.

Anil MadhavapeddyView profile

Professor

• Planetary Computing
• Computer Systems
• Programming Languages
• +7 more

Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory, where he co-leads the Energy & Environment Group and is a member of the Systems Research Group. He is also a Fellow at Pembroke College where he serves as Director of Studies in Computer Science. Madhavapeddy completed his PhD from the University of Cambridge in 2003 and his BEng in Information Systems Engineering from Imperial College in 1999. He holds a JM Keynes Fellowship since 2022 for his work combining computer science with economics, and serves on the management committee of the Cambridge Conservation Initiative where he co-directs 4C (Cambridge Centre for Carbon Credits) and the Centre for Earth Observation. His research spans computer systems and programming languages with a strong focus on applying these technologies to global conservation, biodiversity, and climate change challenges. He leads the OCaml Labs group and has made significant contributions to open-source projects including OCaml, Docker, Xen, and OpenBSD. His work often bridges computer science with environmental science, developing computational approaches to address planetary-scale challenges. Madhavapeddy's recent publications demonstrate a clear trajectory toward integrating programming language research with environmental monitoring and conservation. His work spans from foundational programming language techniques to applied geospatial computing systems, with increasing emphasis on biodiversity measurement, carbon credit systems, and planetary-scale environmental monitoring. JM Keynes Fellowship (2022-present) As an educator, Madhavapeddy teaches undergraduate courses including Foundations of Computer Science, Software & Security Engineering, and Cloud Computing. He mentors MPhil and PhD students and co-founded the award-winning book 'Real World OCaml' (2nd Edition, 2022). He has co-founded several companies including Unikernel Systems, High Energy Magic, Segfault, and Tarides to translate research into real-world impact. Madhavapeddy leads the OCaml Labs group at Cambridge and works closely with the Energy & Environment Group, collaborating with colleagues from Plant Sciences, Zoology, Economics, and NGOs including UNEP-WCMC and the IUCN. His current efforts are primarily focused on conservation technology through partnerships with organizations like Canopy PACT.