Find Academic Supervisors

Todd MillsteinView profile

Professor

• Network Verification
• Programming Languages
• Probabilistic Programming
• +3 more

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.

Fei HeView profile

Associate Professor

• formal methods
• program analysis
• automated reasoning
• +2 more

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.

• Antenna Design
• Evolutionary Algorithms
• Wireless Communications
• +7 more

Sotirios K. Goudos is a Professor at the Department of Physics, Aristotle University of Thessaloniki (AUTH), Greece, and Director of the ELEDIA@AUTH lab within the ELEDIA Research Center Network. His research focuses on antenna design, evolutionary algorithms, wireless communications, machine learning, and IoT applications. He holds a B.Sc. in Physics (1991), M.Sc. in Electronics (1994), Ph.D. in Physics (2001), and additional qualifications in Information Systems and Electrical Engineering. Prof. Goudos is a Senior Member of IEEE and serves as Editor-in-Chief of the Telecom open access journal (MDPI) and Associate Editor for IEEE Transactions on Antennas and Propagation, IEEE Access, and IEEE Open Journal of the Communication Society. He has organized multiple special issues in journals like EURASIP Journal on Wireless Communications and Networking and has authored/edited books on antennas and AI in networks. His awards include multiple IEEE Access Outstanding Associate Editor recognitions (2019–2023) and inclusion in Stanford University's top 2% scientists list (2020–2024). He teaches courses on telecommunications, Java programming, and microwave systems, and has supervised over two dozen master's students since 2009. His work spans antenna optimization, AI-driven communications, and IoT security, with contributions to 5G/6G, RIS systems, and smart agriculture. Prof. Goudos actively contributes to IEEE Greece Section leadership roles, including Secretary (2022) and Vice-Chair (2023–2024). His labs and teams focus on ELEDIA's research in electromagnetics, optimization, and AI applications.

Sang Kil ChaView profile

Associate Professor

• Software Security
• Software Engineering
• Program Analysis
• +3 more

Sang Kil Cha is an Associate Professor at KAIST's Graduate School of Information Security and School of Computing, where he also serves as Director of the Cyber Security Research Center (CSRC). His research focuses at the intersection of computer security and software engineering, with emphasis on building and evaluating systems that analyze programs. Dr. Cha received his B.S. from Korea University, and both his M.S. and Ph.D. from Carnegie Mellon University (CMU). His educational background forms the foundation for his experimental approach to computer science research. His primary research interests include software security, software engineering, program analysis, binary code analysis, and fuzzing. Dr. Cha's work centers on developing practical security tools and methodologies that bridge theoretical concepts with real-world applications, particularly in program analysis and vulnerability detection. His research has significant implications for improving software reliability and security through advanced analysis techniques. Dr. Cha's publication record shows a strong focus on fuzzing techniques, binary analysis, and program understanding, with recent work expanding into blockchain security and decompilation. His research consistently appears in top-tier security and software engineering conferences including IEEE S&P, USENIX Security, and CCS. ACM Distinguished Paper Award (2024, 2022, 2014) USENIX Distinguished Paper Award (2023) IEEE Best Paper Award (2021) NDSS Best Paper Award (2019) As Director of CSRC and leader of SoftSec Lab at KAIST, Dr. Cha oversees multiple research projects focused on practical security solutions. His lab develops tools like B2R2 (a binary analysis framework) and OFuzz (a fuzzing platform), which have gained recognition in the security community. Dr. Cha actively contributes to the research community through program committee roles at major conferences including PLDI, ICSE, and ISSTA.

Nikos GiatrakosView profile

Assistant Professor

• Big Data Management
• Internet of Things (IoT)
• Distributed Systems
• +3 more

Nikos Giatrakos is an Assistant Professor at the School of Electronic & Computer Engineering, Technical University of Crete, and a core member of the Software Technology and Network Applications Lab (SoftNet) . His work bridges Big Data systems, IoT, and advanced analytics, with a focus on real-time processing and scalable architectures. Previously, he served as a postdoctoral researcher at the same laboratory. Education PhD in Computer Science, University of Piraeus (2012) Postgraduate Diploma in Information Systems, Athens University of Economics and Business (2008) BSc in Computer Science, University of Piraeus (2006) Research Focus : Nikos specializes in software architectures for Big Data streaming, including Distributed Big Data Processing , Federated Machine Learning , Cloud-to-Edge Data Management , and Approximate Query Processing . His work has also advanced Complex Event Processing and Outlier Detection in decentralized environments. Scientific Contributions : His research has led to the DAG* workflow optimizer for IoT, the SuBiTO framework for real-time neural learning, and the INFORE approach for cross-platform analytics. He received the Best System Demonstration Award at ACM CIKM 2020 for INforE. Academic Leadership : Nikos teaches Object-Oriented Programming, Data Science, and Distributed Systems. He has supervised numerous European and national grants as Principal Investigator and served on program committees for top-tier conferences like SIGMOD, VLDB, and DEBS.

Ioannis StamelosView profile

Professor

• Software Engineering
• Open Source Software
• Software Effort and Quality Estimation
• +7 more

Ioannis Stamelos is a Professor of Software Engineering at the School of Informatics, Aristotle University of Thessaloniki (since 2015, research/teaching staff since 1997). He serves as Director of the Postgraduate Master Course in Interactive Hardware & Software Technologies. Major Research Areas: Open Source Software, Software Effort/Quality Estimation, Agile Methods, Enterprise Information Systems Key Projects: Deep Blue/AUTH Research Hub (2018-2022), BlockAdemic (blockchain-based micro-credentials), European Commission Open Source Policy Studies Research Trends from recent publications include: Process mining in library information systems Reusability metrics for software assets Bayesian networks in software project management Impact of design patterns on gaming software defects Technical debt assessment via structural metrics Blockchain applications in supply chain management Scientific Awards: Best Paper Award at IEEE DEST’09 Best Student Paper Award at ICSR 2012 Best Paper Award at QUATIC2012 Education & Leadership: PhD in Computer Science (1988), Diploma in Electrical Engineering (1983). Led numerous EU-funded projects (IST, ERASMUS, FP7) and national initiatives (ΓΓΕΤ, ΕΠΕΑΕΚ). Supervised PhD/MSc students in software reuse, OSS quality, and agile practices.

Panagiotis HadjidoukasView profile

Associate Professor

• Parallel Computing
• Distributed Systems
• High Performance Computing
• +3 more

Panagiotis Hadjidoukas is an Associate Professor and Head of the Laboratory for Computing at the Computer Engineering and Informatics Department, University of Patras, within the School of Engineering. His work focuses on high-performance computing systems and parallel programming models. His research spans parallel and distributed computing , runtime support for parallel programming models , and automation of AI/ML workloads . Key contributions include developing the torc runtime system for task parallelism and pioneering work in extreme-scale scientific simulations. His interests bridge theoretical computer science with practical applications in scientific computing and AI acceleration. Notable achievements include the ACM Gordon Bell Prize Winner (2013) for 11 PFLOP/s cloud cavitation simulations and Finalist (2015) for in-silico lab-on-a-chip microfluidics. His software tools ( torc_lite , torcpy ) enable efficient parallelism across diverse architectures. Doctor of Philosophy (2003), University of Patras Master of Science (2001), University of Patras Diploma in Computer Engineering (1998), University of Patras As Head of the Laboratory for Computing, he leads infrastructure development while maintaining active research collaborations with IBM Research and ETH Zurich. His teaching portfolio includes graduate courses on high-performance computing for data sciences and parallel processing principles.

Michael CarbinView profile

Associate Professor

• Programming Systems
• Probabilistic Programming
• Quantum Computing
• +3 more

Michael Carbin is an Associate Professor at MIT in the Department of Electrical Engineering and Computer Science (EECS), where he leads the Programming Systems Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research centers on developing programming systems that handle uncertainty through probabilistic programming, quantum computing, and neural networks. Carbin's work spans programming languages, systems, and machine learning, with themes including uncertainty management, efficiency optimization, and formal verification. His publications demonstrate a strong focus on probabilistic inference methods, neural network optimization, and quantum programming frameworks. Awards and Honors: Sloan Research Fellowship (2020) Multiple Best Paper Awards (OOPSLA 2013, 2014; ICLR 2019) NSF CAREER Award (2018) Google Faculty Research Award (2018) As the head of the Programming Systems Group, he advises 10+ graduate students and postdocs, focusing on cutting-edge systems research. He has secured grants including Facebook Research Awards and NSF funding.

• Operations Research
• Theoretical Operations Research
• Applied Operations Research
• +8 more

Evangelos F. Magirou is a Professor of Operations Research at the Department of Informatics, School of Information Sciences and Technology, Athens University of Economics and Business (AUEB), where he has served since 1986. His academic career includes significant administrative roles including Chairman of the Faculty Union at AUEB since 1994, Deputy Chairman of the Department of Informatics since 2003, and Member of the Governing Board of the Public Power Corporation since 2004. His educational background includes: PhD in Decision and Control Sciences, Harvard University (1972-76) MS in Decision and Control Sciences, Harvard University (1971-72) BS in Electrical Engineering, Princeton University (1967-71) Professor Magirou's research spans theoretical and applied operations research with particular emphasis on applications to Greek business environment challenges. His work demonstrates consistent focus on finance, shipping, and production systems, with fundamental contributions to optimization, probabilistic models, and quantitative methods. His research trajectory shows evolution from early theoretical work in control systems and game theory to applied research in shipping economics and financial mathematics, with recent work addressing contemporary challenges including infectious disease response and American option pricing. His publication record reveals a strong interdisciplinary approach, bridging operations research with computer science, economics, and maritime transport. The 15 most recent publications indicate continued research productivity with applications spanning finance (option pricing algorithms), public health (infectious disease response), shipping (vessel positioning), and computer security (spam modeling). Professor Magirou has held numerous leadership positions including: Chairman of the Executive Committee for the MSc Program in Business Mathematics Chairman of the Hellenic Procurement Institute (1994-97) Vice Chairman of the Energy Coordination Committee (1993-95) Member of the National Energy Council's Scientific Secretariat (1977-85) He has been actively involved with professional organizations including INFORMS (Institute for Operations Research and the Management Sciences) and the Technical Chamber of Greece. His teaching responsibilities include courses in Elementary and Intermediate Mathematics of Finance, Operations Research, Game Theory, and Decision Theory, for which he has developed extensive teaching materials available in Greek.

• Actuarial Mathematics
• Applied Probability
• Mathematical Statistics
• +4 more

Professor Efstathios Hadjikonstantinides is affiliated with the University of Piraeus , where he has served in the Department of Statistics and Actuarial Science since 1990. His academic journey began at Aristotle University of Thessaloniki, earning a PhD in Mathematics (1990) and a BSc in Mathematics (1985) , both with Excellent grades. Research Interests His work spans Risk Theory , Bankruptcy Theory , Collective Risk Models , and Reliability Theory , with a focus on stochastic processes and actuarial risk modeling . Recent publications emphasize compound Poisson models , dividend strategies , and Markov-dependent trials , contributing to Risk Management and Insurance Mathematics . Academic Contributions Supervised two PhD students Published 15+ papers in Insurance: Mathematics and Economics , Scandinavian Actuarial Journal , and Journal of Computational and Applied Mathematics Active in national and international conferences (17th European Meeting of Statisticians, Panhellenic Congresses, etc.) Administrative Roles Chairman of Department (2007-2009) Director of Postgraduate Program Actuarial Science & Risk Management (2007-2011) Member of University Senate and Research Committees

• Operations Research
• Management Science
• Optimization
• +5 more

Evangelos F. Mageirou serves as Professor of Operations Research at the Department of Informatics, School of Information Sciences and Technology, Athens University of Economics and Business (AUEB), a position held continuously since 1986. Previously, he worked at the Scientific Secretariat of the National Energy Council under Greece's Ministries of Coordination, Industry and Energy from 1977-1986. His academic credentials include: PhD in Decision and Control Sciences, Harvard University (1972-1976), Thesis: 'Topics in the Analysis of Interconnected Systems' MS in Decision and Control Sciences, Harvard University (1971-1972) BS in Electrical Engineering, Princeton University (1967-1971) Mageirou's research centers on Theoretical and Applied Operations Research with significant applications to the Greek business environment, particularly in finance, shipping logistics, and production systems. His foundational work spans optimization theory, probabilistic modeling, and quantitative methods development. The consistent publication record through 2020 demonstrates enduring scholarly productivity in his core domains. Analysis of recent publications reveals three dominant research trajectories: maritime logistics optimization (vessel speed/positioning studies), game-theoretic security applications (spam email modeling), and control theory extensions (policy iteration algorithms). These threads demonstrate methodological continuity from his early work on interconnected systems to contemporary applications in financial mathematics and pandemic response modeling.

Michael F. P. O'BoyleView profile

Professor

• Optimizing compilation
• Machine learning
• Heterogeneous systems
• +3 more

Michael F. P. O'Boyle is a Professor of Computer Science at the University of Edinburgh's School of Informatics. He is a leading researcher in compiler technology, specializing in optimizing compilation, machine learning for compilation, and heterogeneous systems. His work addresses the critical challenges of compiling software for increasingly diverse hardware architectures in the post-Moore's Law era. Professor O'Boyle's research interests focus on: Optimizing compilation techniques Machine learning applications in compilation Heterogeneous computing systems Program synthesis Neural machine translation for code Hardware/software co-design His recent publications demonstrate a strong focus on tensor optimization, compiler infrastructure for heterogeneous systems, and machine learning applications in program analysis and transformation. O'Boyle's work bridges traditional compiler techniques with modern AI-driven approaches to code optimization, addressing the growing complexity of hardware-software interfaces. Professor O'Boyle has received several notable honors and awards: ACM CGO Test of Time award (2017) Senior EPSRC Research Fellow Fellow of the British Computer Society (BCS) He holds significant leadership roles including Director of the ARM Research Centre of Excellence at Edinburgh and Director of the EPSRC Centre for Doctoral Training in Pervasive Parallelism. O'Boyle is also a founding member of HiPEAC, a European network for high-performance and embedded architecture and compilation, and has delivered keynote addresses at major conferences including PPoPP 2019 where he presented his vision for "Rethinking Compilation in a Heterogeneous World."

• Parallel & Distributed Systems
• Parallel Programming
• Systems Software
• +3 more

Vassilios V. Dimakopoulos is a Professor of Parallel Processing at the Department of Computer Science and Engineering, University of Ioannina, Greece. He has been affiliated with the university since 1998, initially as an adjunct professor and later as a regular faculty member. Currently, he serves as the Dean of the School of Engineering and Chairman of the Technical Council of the University of Ioannina. His academic journey includes a Diploma in Computer Engineering from the University of Patras (1990), and M.A.Sc. and Ph.D. degrees in Electrical and Computer Engineering from the University of Victoria, Canada (1992 and 1996, respectively). His research focuses on parallel and distributed systems, parallel programming models, systems software, computer architecture, embedded systems, and performance analysis. He has held administrative roles such as Deputy Chairman of the Department (2014–2017) and Director of Graduate Studies (2016–2020). His contributions include pioneering work on OpenMP runtime systems, adaptive scheduling for embedded multicore architectures, and probabilistic search protocols in dynamic networks. Dimakopoulos is a member of the IEEE and the Technical Chamber of Greece. His work emphasizes bridging compiler design, runtime systems, and hardware constraints to optimize parallel computing efficiency. Recent research trends include hybrid OpenMP-MPI offloading strategies, adaptive task scheduling in heterogeneous environments, and fog computing cost modeling. His administrative leadership spans multiple institutional committees, reflecting his dual role as an academic leader and researcher. His research group collaborates on projects involving high-performance numerical optimization, task-based global optimization for protein folding, and embedded systems integration.

Isambo KaraliView profile

Assistant Professor

• Knowledge Representation and Reasoning with Uncertainty
• Artificial intelligence
• Logic Programming
• +10 more

Isambo Karali is an Assistant Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, a position she has held since November 2007. Prior to this, she served as a Lecturer at the same department from September 1999 to November 2007. Her academic career spans over three decades with significant contributions to knowledge representation, uncertainty reasoning, and semantic web technologies. Dr. Karali's educational background includes: PhD in Informatics (1995) from the University of Athens MSc in Computer Science (1988) from University College, University of London Bachelor of Mathematics (1986) from the Department of Mathematics, University of Athens Dr. Karali's research focuses on Knowledge Representation and Reasoning with Uncertainty, Artificial Intelligence, Logic Programming, and Object-Oriented Programming. She has made significant contributions to applying Dempster-Shafer theory for handling uncertainty in Semantic Web applications. Her work bridges theoretical foundations of logic programming with practical applications in knowledge representation, particularly in distributed and heterogeneous environments. She has supervised numerous PhD and master's theses in these areas. Her recent publications demonstrate a strong trend toward integrating uncertainty reasoning with Semantic Web technologies, particularly using Dempster-Shafer theory and fuzzy logic. Her work addresses challenges in managing imprecise and uncertain information in large-scale knowledge systems, with applications in recommendation systems, news analysis, and semantic search. The interdisciplinary nature of her research connects artificial intelligence, knowledge representation, and web technologies to solve complex information management problems. Dr. Karali has been actively involved in research funding and collaboration: Principal Investigator for "Handling uncertainty in data intensive applications on a distributed computing environment (cloud computing)" under the "Thalis" Program Scientific Responsible for "Artificial Intelligence and Logic Programming Techniques for Knowledge on the World Wide Web" at the National and Kapodistrian University of Athens Scientific Responsible for "Semantic Web and Logic Programming - Application to Guided Search" at the National and Kapodistrian University of Athens Participant in multiple EU research projects including MISSION, COSMOS, ADDSIA, PARACHUTE, APPLAUSE, and EDS As an educator, Dr. Karali has taught core undergraduate courses including Object-Oriented Programming and Logic Programming, as well as graduate courses on Knowledge Technologies and Artificial Intelligence. She has supervised numerous PhD and master's students, with a focus on uncertainty reasoning, semantic web technologies, and logic programming applications. Her mentorship extends to student competitions, including guiding the Department's team in the Microsoft ImagineCup 2009. Dr. Karali has also contributed to the academic community through service activities, including membership on program committees for conferences like IEEE ICTAI, reviewer for prestigious journals, and organizational roles in academic events. From 2000 to 2012, she was responsible for the Department's website, contributing to its architecture design and system development.

• Network and telecommunications economics
• Broadband network service charging models
• Regulatory policy and auction design
• +7 more

Professor Kourkoubetis Konstantinos is a faculty member at the Department of Informatics, School of Information Sciences and Technology, Athens University of Economics and Business (AUEB). He holds a Ph.D. in Electrical Engineering and Computer Science from the University of California, Berkeley, following his Master's degree from the same institution and undergraduate degree from the National Technical University of Athens. His research focuses on network economics and telecommunications, with particular expertise in peer-to-peer systems, network pricing models, and high-speed network technologies. His work bridges theoretical computer science with practical telecommunications applications, developing mathematical models for network resource allocation and economic incentives. His publication record demonstrates consistent contributions to top networking conferences and journals, with a notable book Pricing Communication Networks: Economics, Technology and Modeling (Wiley, 2003) serving as a key reference in the field. His research shows a clear progression from theoretical network models to practical economic applications in telecommunications infrastructure. Professor Kourkoubetis has led significant research projects including MMAPS (Economic models for peer-to-peer systems) and M3I (Internet billing systems), and has contributed to major initiatives like the EuroNGI Network of Excellence. His work with the Energy Regulatory Authority on power import rights auctions demonstrates real-world impact of his theoretical research. Scientific Director of Communications and Networks Center, University of Crete (1996-2000) Head of Telecommunications and Networks Department, Institute of Informatics, FORTH (1990-1999) Head of Laboratory of Economics and Systems Theory, AUEB (2000-present) Member of National Research Council (2002-2003) Board Member of Information Society SA (2003-2004) His leadership extends to program committees for major conferences including INFOCOM and ICQT, reflecting his standing in the international networking research community. His dual expertise in theoretical computer science and economic modeling has positioned him as a key contributor to the development of economic frameworks for modern network infrastructure.