Nina Balcan is a Professor at Carnegie Mellon University and holds the Cadence Design Systems Professorship in Computer Science. She is affiliated with the School of Computer Science, specifically the Machine Learning Department (MLD) and Computer Science Department (CSD). Her research spans foundational aspects of machine learning, artificial intelligence, theoretical computer science, algorithmic game theory, and interdisciplinary connections in learning theory. Machine Learning Artificial Intelligence Theoretical Computer Science Algorithmic Game Theory Multi-Agent Systems Data-Driven Algorithm Design Her recent work focuses on advancing algorithm design through machine learning, robustness in adversarial environments, and economic modeling. Key contributions include Learning to Branch (JACM 2024), Regret Minimization in Stackelberg Games (NeurIPS 2024), and Learning Accurate Decision Trees (UAI 2024, Outstanding Student Paper Award). She has pioneered novel approaches to data-driven optimization, semi-supervised learning, and privacy-preserving clustering. Nina has received prestigious accolades including ACM Fellow AAAI Fellow Simons Investigator 2019 ACM Grace Murray Hopper Award Her teaching at CMU includes graduate courses on machine learning, advanced machine learning, and specialized topics like algorithmic game theory.
Giorgio Grisetti is a Full Professor at Sapienza University of Rome within the Department of Systems and Computer Science, maintaining active research roles in the RoCoCo lab at Sapienza since November 2010 and the Autonomous Intelligent Systems Lab at Freiburg University where he previously served as a Post Doc under Wolfram Burgard starting in 2006. His educational background includes a M.Sc. in Computer Engineering from the University of Rome (2001) and a Ph.D. from Sapienza University of Rome's Intelligent Systems Lab (2006), supervised by Daniele Nardi. His doctoral thesis focused on SLAM using Rao-Blackwellized particle filters. Dr. Grisetti's research centers on mobile robotics with emphasis on robust solutions for autonomous navigation systems. His work spans theoretical and practical advancements in Simultaneous Localization and Mapping (SLAM), robot localization, path planning, and sensor fusion, particularly leveraging LiDAR and multi-sensor configurations. Recent publications demonstrate strong focus on optimization techniques, sensor calibration, and real-time performance for autonomous systems operating in complex environments. His publication trends reveal deep specialization in LiDAR-based SLAM (7 of 15 recent articles), bundle adjustment methods (4 articles), and sensor calibration/perception (3 articles), with consistent contributions to top robotics venues like IEEE Robotics and Automation Letters and ICRA. Key recognitions include: Nomination for the best IROS paper award (2010) Open Source achievement award from Willow Garage (2010) Best paper award at the International Conference and Exhibition on Unmanned Areal Vehicles (2010) Best Paper award at ICRA 2009 (2009) His research is conducted through the RoCoCo lab at Sapienza University of Rome and the Autonomous Intelligent Systems Lab at Freiburg University, focusing on developing foundational algorithms for mobile robot autonomy. Current projects emphasize robust perception systems, optimization frameworks for sensor fusion, and practical implementations for real-world navigation challenges.
Immanuel Trummer is a Professor of Computer Science at Cornell University, specializing in database systems, query optimization, and applications of large language models (LLMs) and quantum computing. He leads research projects such as DB-BERT, UDO, and SkinnerDB, focusing on automated database tuning, adaptive query processing, and leveraging LLMs for code synthesis and system optimization. His research interests span quantum computing for database optimization, cost-efficient LLM utilization, and voice-based data exploration. Key contributions include developing systems like CEDAR for claim verification, CodexDB for LLM-driven code generation, and ThalamusDB for multimodal data querying. Trummer has received prestigious awards, including the NSF CAREER Award (2023-2028) and the Best Demonstration Award at BDA 2020. His work has been funded by NSF, Google, Huawei, and others, supporting projects like quantum-index selection and misinformation detection. He advises graduate students in database systems and teaches advanced courses such as CS 6320 (Advanced Database Systems) and CS 7390 (Seminar in Database Systems). His research lab hosts open-source tools like JoinGym and maintains extensive collaborations in industry and academia.
Byron Boots is the Amazon Professor of Machine Learning in the Paul G. Allen School of Computer Science and Engineering at the University of Washington, where he directs the UW Robot Learning Laboratory. He also serves as a Principal Research Scientist in the Seattle Robotics Lab at NVIDIA Research and co-chairs the IEEE Robotics and Automation Society Technical Committee on Robot Learning. Dr. Boots received his Ph.D. from the Machine Learning Department in the School of Computer Science at Carnegie Mellon University, where he was a member of the Sense, Learn, Act (SELECT) Lab co-directed by Carlos Guestrin and his advisor Geoff Gordon. Prior to joining the University of Washington faculty, he was an Assistant Professor in the School of Interactive Computing within the College of Computing at Georgia Tech, and before that, he completed a post-doc in the Robotics and State Estimation Lab directed by Dieter Fox at the University of Washington. Professor Boots' research focuses on the intersection of machine learning, artificial intelligence, and robotics, with particular emphasis on developing theory and systems that tightly integrate perception, learning, and control. His work spans computer vision, state estimation, localization and mapping, high-speed navigation, motion planning, and robotic manipulation. His group develops algorithms drawing from deep learning and neural networks, nonparametric statistics, graphical models, nonconvex optimization, quantum physics, online learning, reinforcement learning, and optimal control. The research demonstrates a strong theoretical foundation while maintaining practical relevance to real-world robotic systems. His recent publications reveal a clear trend toward integrating advanced machine learning techniques with robotics, particularly in model predictive control, motion planning, and learning-based approaches to robot control. His work shows increasing focus on developing theoretically grounded methods that can handle the complex, nonlinear dynamics of real-world robotic systems while maintaining computational efficiency. The publications span top venues including ICRA, CoRL, IROS, and NeurIPS, demonstrating broad impact across multiple subfields of robotics and AI. Finalist for Best Systems Paper at Conference on Robot Learning (CoRL-2021) Multiple papers selected for oral presentations at top robotics conferences Work recognized for theoretical contributions and practical applications in robot learning As director of the UW Robot Learning Laboratory, Boots leads a vibrant research group focused on fundamental and applied research in robot learning. The lab maintains strong collaborations with NVIDIA Research and has produced numerous high-impact publications that bridge theory and practice. Professor Boots teaches courses in autonomous robotics, machine learning, and reinforcement learning, contributing to both undergraduate and graduate education at the University of Washington.
Kevin Leyton-Brown is a Professor of Computer Science at the University of British Columbia (UBC), holding a Canada CIFAR AI Chair at the Alberta Machine Intelligence Institute (Amii). He is also an Associate Member of the Vancouver School of Economics and a Fellow of the Royal Society of Canada, ACM, and AAAI. His research focuses on AI, machine learning, computational economics, and game theory, with notable contributions to algorithmic market design, heuristic algorithms, and large language models. He co-authored influential textbooks on multiagent systems and game theory, and his work has been recognized with prestigious awards including the INFORMS Franz Edelman Award and the Killam Teaching Prize. Education: PhD (Computer Science), Stanford University; MSc (Computer Science), Stanford University; BSc (Computer Science), McMaster University. Research Interests: Artificial Intelligence, Machine Learning, Game Theory, Computational Economics, Algorithmic Game Theory, Market Design, and Large Language Models. He has developed impactful tools like SATzilla, AutoWEKA, and Mechanical TA, and contributed to high-stakes projects such as spectrum auction design and Ugandan agricultural market platforms. Awards & Recognition: Royal Society of Canada Fellow (2023), ACM SIG-KDD Research Track Test of Time Award (2023), INFORMS Franz Edelman Award (2018), ACM Fellow (2020), AAAI Fellow (2018), Killam Teaching Prize (UBC), and numerous paper awards from top conferences like AAAI, ICML, and ACM-EC. Leadership & Affiliations: Director of UBC’s CAIDA and AIM-SI research clusters, former Chair of ACM SIG-Ecom, and advisor to companies like AI21 Labs and Auctionomics. He has held visiting roles at institutions including MIT, Harvard, and the Simons Institute.
Nguyen Dang is a Lecturer at the School of Computer Science, University of St Andrews, actively supervising PhD students and teaching AI-related modules including Artificial Intelligence (CS3105), Artificial Intelligence Practice (CS5011), Machine Learning (CS5014), and Uncertainty in Artificial Intelligence (CS5016). He leads the Centre for Interdisciplinary Research in Computational Algebra and maintains an active research profile with numerous publications in top conferences. University of St Andrews, School of Computer Science Lecturer (equivalent to assistant professor) Supervising PhD students including Tai Nguyen Teaching multiple AI and Machine Learning courses Dr. Dang's research focuses on the intersection of machine learning and optimization, particularly automated algorithm configuration and design. His work centers on leveraging machine learning techniques to automate the development of optimization algorithms, with special emphasis on deep reinforcement learning for Dynamic Algorithm Configuration and integrating machine learning into constraint programming. His research has significant applications across various domains, especially in automated constraint modeling. The publications reflect strong activity in combinatorial optimization, algorithm selection, and benchmark instance generation. His recent publications demonstrate consistent output in top venues including Artificial Intelligence Journal, GECCO, FOGA, and CP conferences, with notable achievements including Best Paper Awards at GECCO'2025 and GECCO'2022. The research spans theoretical foundations of parameter control, practical applications in constraint programming, and innovative approaches to algorithm configuration. Best paper award at GECCO'2025 Best paper award at GECCO'2022 Nomination for best paper award at FOGA'2023 Best paper award at GECCO'2017 Dr. Dang holds a Leverhulme Early Career Fellowship (2020-2023) worth £90,000 for his project on constraint-based automated generation of synthetic benchmark instances. He has secured additional funding including EPSRC High Performance Computing grants totaling over 2.2 million CPU hours and a COST Action grant. His research group actively develops tools and frameworks for automated algorithm configuration and benchmark instance generation, with several open-source datasets available on GitHub. He is involved with multiple research groups including the Centre for Interdisciplinary Research in Computational Algebra and collaborates extensively with researchers at University of St Andrews and internationally, including at Université de Paris I Panthéon-Sorbonne where he conducted visiting research.
Carlos R. Rivero is an Associate Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), located within the Golisano College of Computing and Information Sciences. His primary research focuses on graph theory applications in knowledge graphs, graph databases, and computer-aided program comprehension. He holds a PhD from the University of Seville (Spain), completed in 2012, with postdoctoral work at the University of Idaho (USA). His teaching responsibilities include courses such as Principles of Data Management, Data Mining, and Big Data exploration. Rivero has advised numerous PhD and Master’s students, contributing to research projects in link prediction, knowledge graph completion, and educational technology. He actively serves on program committees for conferences like The Web Conference and SIGKDD, and has reviewed for journals including the VLDB Journal and Communications of the ACM. His research emphasizes evaluating knowledge graph embeddings, improving link prediction methodologies, and developing tools for educational feedback in programming. He has contributed to projects like AYNEXT, which streamlines link prediction evaluation, and CAFE, a neighborhood-aware knowledge graph completion tool. Rivero’s work bridges theoretical advancements with practical applications in education and industry. Notable contributions include frameworks for automated feedback in programming courses and methodologies for assessing inference patterns in knowledge graphs. His grants and service roles reflect a commitment to advancing computational methods and fostering academic collaboration in data science and education.
Darko Marinov is a Professor at the Siebel School of Computing and Data Science and a member of the Information Trust Institute at the University of Illinois at Urbana-Champaign. His research focuses on software testing methodologies, particularly regression testing, flaky tests, and software reliability engineering. He has contributed to frameworks like Ekstazi for regression test selection and DeFlaker for identifying flaky tests. Marinov holds an NSF CAREER Award (2008) for his work in this domain. His research interests span testing techniques for modern software systems, including configuration testing, test prioritization, and fault localization. He has pioneered studies on the characteristics of flaky tests in large-scale projects and developed tools to improve software quality assurance processes. Marinov collaborates across academic and industrial settings, addressing challenges in continuous integration, reproducibility of computational experiments, and hardware-software co-design for resilience. His work bridges theory and practice, with applications in cloud computing, AI workloads, and cybersecurity. Awards: NSF CAREER Award (2008) Key Contributions: Ekstazi, DeFlaker, FastFlip, and Ctest4J frameworks Labs/Teams: Active member of the Information Trust Institute and leads software testing research groups at UIUC
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.
Edgar Weippl is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice Dean and Head of the Research Group Security and Privacy. His work spans cybersecurity, blockchain, and machine learning, with teaching roles in information security and software security courses. Current Positions: Vice Dean (Faculty of Computer Science), Head (Security and Privacy Research Group), Deputy Head (Neuroinformatics & Knowledge Engineering Groups) Research Interests: Cybersecurity, blockchain, IoT security, code obfuscation, privacy technologies, reinforcement learning, and socio-technical systems security Selected Publications: Focus on blockchain privacy, VoWiFi security, code obfuscation, and reinforcement learning applications
Akshay Narayan is a Senior Lecturer (Educator Track) at the School of Computing, National University of Singapore (NUS), where he teaches senior undergraduate and graduate-level courses in AI Planning and Decision Making, as well as introductory and intermediate-level Software Engineering courses. Education: Ph.D. in Computer Science from National University of Singapore (completed in 2020) M.Tech. in Information Technology from International Institute of Information Technology Bangalore, India B.E. in Computer Science & Engineering from Visveswaraya Technological University, India Research Interests: Dr. Narayan's research spans multiple domains within computer science with a primary focus on artificial intelligence and its applications. His current research centers on transfer learning in reinforcement learning, multi-agent decision making, and AI planning. He has also made significant contributions to cloud computing research, particularly in areas such as smart metering, chargeback systems, power-aware cloud metering, and workload analysis for virtual machine sizing. His work bridges theoretical foundations with practical applications, addressing real-world challenges in computing systems. He has recently expanded his research to include technology in education, exploring how AI can be integrated into teaching and learning processes. Publication Trends: Dr. Narayan's publication record demonstrates a clear evolution from foundational work in cloud computing to more recent explorations in reinforcement learning and AI education. His early work focused on practical applications in cloud systems, including smart metering and QoS monitoring. More recently, his research has shifted toward AI planning, decision making, and the educational applications of AI. This progression shows his ability to adapt to emerging fields while maintaining a strong foundation in systems research. Awards and Recognition: Teaching and Mentoring: Dr. Narayan teaches a variety of courses at NUS including CS2113 Software Engineering & Object-Oriented Programming, CS3219 Software Engineering Principles and Patterns, CS3268 Responsible AI: From Algorithms to Impact, and IT5100F Industry Readiness: Data Analytics and AI in Practice. He has also taught CS4246/CS5446 AI Planning and Decision Making. His teaching approach integrates his research expertise with practical applications, providing students with both theoretical foundations and hands-on experience. He has taught these courses across multiple academic years from AY-2013/14 through AY-2020/21. Research Groups and Collaborations: Dr. Narayan has collaborated with researchers across multiple institutions, including work with Prof. Tze Yun Leong at NUS (his PhD advisor), Shrisha Rao, Zhuoru Li, and others. His research has often involved interdisciplinary collaborations that bridge theoretical computer science with practical system implementations.
Ahmed Saeed is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology, specializing in scalable computer networks and systems. His research spans congestion control, operating systems, LEO satellite networks, and formal methods, with a strong record of publications and active mentorship. Education: PhD in Computer Science, Georgia Institute of Technology (2019) Bachelor's in Computer and Systems Engineering, Alexandria University (2010) Postdoctoral Associate, MIT (with Prof. Mohammad Alizadeh) Research Interests: Ahmed's work focuses on the theory, design, and implementation of scalable networked systems. Key themes include: Congestion control algorithms for datacenter and WAN traffic Overload control mechanisms for microsecond-scale RPCs Performance debugging tools for datacenter applications LEO satellite network modeling and policy analysis Formal verification of network protocols and resource schedulers Recent Publications Trend: His 2024-2025 papers emphasize LEO satellite resilience and datacenter performance , with contributions to emergency failover modeling, latency debugging tools, and congestion control protocols. These works combine empirical measurement, formal modeling, and policy recommendations. Awards & Funding: NSF CAREER Award (2024) – LEO satellite variability ($600k) NSF CNS Core Awards (2022) – Edge server stacks & formal verification (total $2.38M) Google Research Award (2022) – Scalable edge systems ($80k) DARPA Risers Top 5 Poster (2022) Spec Tech Award (2023) – Nanomodular electronics routing ($40k) Teaching & Service: He regularly teaches Computer Networking I (CS 3251) and Datacenter Networks & Systems (CS 8803) . Service includes PC roles for SIGCOMM, NSDI, CoNEXT, and Networking area co-chair for JSys. Lab & Students: Ahmed leads an active research group with PhD students Peidi Song, Bhaskar Pardeshi, Sherif Abdelrazek; MS students Dhyey Thummar, Pratyush Sahu, Sammy Kapoor; and undergraduate Demi Lei. Alumni have joined industry leaders like Juniper, Microsoft, and Snowflake.
Sara Shafiee is a Senior Researcher at the Department of Civil and Mechanical Engineering , Technical University of Denmark (DTU) . She specializes in product configuration systems, manufacturing engineering, and AI-driven innovation. Her work bridges technical systems with organizational agility, emphasizing sustainability and customer-centric design. External Roles: Founder & CEO of DivERS (Jan 2021–) External Lecturer at Copenhagen Business School (2022–2024) Senior Business Consultant at Haldor Topsoe AS (2017–2019) Research Focus: Her work addresses challenges in product configuration systems, generative AI applications, and sustainable construction. Key themes include: Optimal product design through recommendation systems Agile methodologies in knowledge-intensive development Environmental impact monitoring via configurators Publications Trends (2023–2025): Recent work explores AI-driven manufacturing optimization, consumer-centric innovation strategies, and the integration of environmental monitoring into design systems. High-impact areas include generative AI applications (13K+ downloads) and modular construction configurators. Awards: Agnes & Betzy Award (2025) Nordic Women in Tech Leadership Award (2022) Best Digital Startup (Venture Cup Denmark, 2021) Innovation Fund Denmark Role Model (2018) Advising & Grants: Supervised PhD projects on recommendation systems and configurator design. Lead PI of the RECODE project (DFF Grant DKK 10M+, 2024–2027) focusing on deep learning for engineer-to-order systems. Labs & Teams: Core member of DTU’s Design and Manufacturing Systems group, collaborating with industry partners like Haldor Topsoe and DivERS to develop scalable configurator solutions.
Adeel AHMAD is an active Associate Professor (Maître de Conférences) conducting cutting-edge research at the intersection of artificial intelligence, industrial applications, and business process management. His academic work demonstrates strong interdisciplinary connections between computer science, industrial engineering, and business informatics. Dr. AHMAD's research interests span Explainable Artificial Intelligence (XAI), Industrial Machine Learning, Business Process Management, Ontology-Based Reasoning, and Logistics Optimization. His work focuses on developing practical AI solutions for industrial contexts, particularly in Industry 4.0 environments where human-AI collaboration is essential. He has made significant contributions to meta-learning approaches for automated algorithm selection and configuration, with particular emphasis on making these systems transparent and interpretable for domain experts. His publication record shows a clear trajectory toward integrating explainability into industrial AI systems, with recent work focusing on conversational recommendation systems for cyber-physical environments. The research demonstrates consistent evolution from foundational work in business process analysis toward sophisticated AI applications in industrial settings. Active research leadership in Explainable AI for industrial applications Significant contributions to meta-learning frameworks for automated machine learning Interdisciplinary approach bridging computer science, industrial engineering, and business processes Strong publication record in top-tier conferences and journals Dr. AHMAD demonstrates strong collaborative research patterns, frequently working with colleagues including Mourad Bouneffa, Moncef Garouani, and other researchers in the French academic community. His work shows particular relevance to manufacturing, logistics, and cyber-physical systems where AI must work alongside human domain experts.
Erdinç Altuğ serves as a Professor in the Department of Mechanical Engineering at Istanbul Technical University, specializing in advanced aerial robotics and control systems. His work bridges theoretical control methodologies with practical UAV applications. Research interests focus on Unmanned Aerial Vehicle design and fault tolerance Quadcopter dynamics and vertical takeoff systems Adaptive control for parametric variations Rapid prototyping of hybrid VTOL platforms His recent publications demonstrate consistent innovation in autonomous flight systems, particularly in fault-tolerant operational modal analysis and modular multi-drone configurations. Current projects include: Hibrit İnsansız Hava Aracı Ile Otonom Teslimat Sistemi Geliştirilmesi (TUBITAK, 2020-2022) Mini Jet Motorlu Dikine Kalkıp İnebilen Otonom Taşıyıcı Robot Geliştirilmesi (TUBITAK, 2018-2021) Kampüs içi ve bina içi ortamlarda çalışacak otonom taşıma aracı algoritmaları (SRP, 2018-2021) Supervising 26 graduate works, his research impacts both academic and industrial UAV development.
