Jan Madsen is a Professor at DTU Compute, Technical University of Denmark, and Head of the Embedded Systems Engineering section. His research focuses on system-level modeling and design of embedded computing systems, particularly cyber-physical systems, microfluidic biochips, and synthetic biology applications. Develops design automation tools and methodologies for embedded systems Supervises numerous PhD students and leads major research projects Research Interests Key areas include: Embedded systems-on-a-chip Cyber-Physical Systems (Internet-of-Things) Microfluidic Lab-on-Chip devices Synthetic biology with molecular computing Design, modeling, and optimization of complex systems Scientific Awards DATE Fellow (2019) IEEE CEDA Outstanding Recognition (2019) DTU Scientific Advise Award (2013) Best Paper Awards at MECO (2013) and CASES (2009) Jorck’s Foundation Research Award (1995) Publications His 14+ journal papers and 115+ conference papers demonstrate expertise in: SystemC-based modeling frameworks Energy-aware sensor networks Self-healing eDNA architectures Microfluidic biochip synthesis RTOS modeling and MPSoC exploration
Nirupam Roy is an Assistant Professor at the Department of Computer Science, University of Maryland, College Park, and Director of the iCoSMoS research lab. His work bridges wireless networking, mobile computing, and acoustic sensing with applications in IoT, localization, healthcare, security, and wearables. Research Focus: Wireless Networking & Mobile Sensing Awards: Best paper award, MobiSys 2022 Best demo award, MobiSys 2021 CSL Ph.D. Thesis Award, UIUC 2019 Students: Nakul Garg, Yang Bai, Irtaza Shahid, Harshvardhan Takawale, Aritrik Ghosh, Ayushi Mishra, Sumbul Zehra, Justin Goodman Grants: NSF CAREER award (2023), Meta Research Award (2023)
Navid Azizan is the Alfred H. (1929) and Jean M. Hayes Career Development Assistant Professor at Massachusetts Institute of Technology (MIT), holding dual appointments in the Department of Mechanical Engineering (in Control, Instrumentation & Robotics) and the Schwarzman College of Computing's Institute for Data, Systems & Society (IDSS). He is also a Principal Investigator in the Laboratory for Information & Decision Systems (LIDS), and a faculty member of the MIT Statistics and Data Science Center, the Center for Computational Science and Engineering, and the Operations Research Center. Dr. Azizan received his PhD in Computing and Mathematical Sciences from the California Institute of Technology (Caltech) in 2020, his MSc in Electrical Engineering from the University of Southern California in 2015, and his BSc in Electrical Engineering with a minor in Physics from Sharif University of Technology in 2013. Prior to joining MIT, he completed a postdoc at Stanford University's Autonomous Systems Laboratory and was a research scientist intern at Google DeepMind. His research spans the intersection of machine learning, systems and control, mathematical optimization, and network science. Dr. Azizan's work focuses on developing principled learning and optimization algorithms for reliable intelligent systems, with applications to autonomy and sociotechnical systems. His research has significant implications for creating trustworthy AI systems that can operate effectively in complex, uncertain environments. Dr. Azizan's recent publications demonstrate a strong focus on uncertainty quantification, reliable AI systems, constrained optimization, and control-oriented learning. His work bridges theoretical foundations with practical applications, particularly in autonomous systems where safety and reliability are paramount. His research group has made notable contributions to areas including neural network verification, multi-agent reinforcement learning, and adaptive inference techniques for large language models, with several papers featured on MIT News and selected for oral presentations at top conferences. Alfred H. (1929) and Jean M. Hayes Career Development Professorship (2025-present) Frank E. Perkins Award for Excellence in Graduate Advising (2025) List of Outstanding Academic Leaders in Data from the CDO Magazine (2024, 2023) Amazon Science Hub Research Award (2023) Outstanding UROP Faculty Mentor (2023) Esther and Harold E. Edgerton (1927) Career Development Chair (2022-2025) Information Theory and Applications (ITA) Gold Graduation Award (2020) Dr. Azizan has been recognized for his excellence in graduate advising, receiving the Frank E. Perkins Award for Excellence in Graduate Advising in 2025. During the pandemic, he founded and co-organized the 'Control meets Learning' virtual seminar series, connecting researchers across disciplines. His work has attracted significant research funding from industry partners including Google, Amazon, and MathWorks, supporting both fundamental research and practical applications in reliable intelligent systems. The Azizan Lab at MIT brings together researchers from mechanical engineering, computer science, and applied mathematics to tackle challenges at the intersection of learning and control. The lab emphasizes both theoretical foundations and practical implementations, with a particular focus on developing algorithms that provide guarantees of performance and safety. Current research directions include uncertainty quantification in AI systems, constrained optimization for neural networks, and control-oriented learning for autonomous systems, with applications spanning robotics, transportation, and complex sociotechnical systems.
Richard Franz Löscher is a researcher at the Institute of Applied Mathematics specializing in numerical methods for optimal control problems. He holds a BSc, Diplom-Ingenieur (Dipl.-Ing.), and Doctorate in Technical Sciences (Dr.techn.), demonstrating extensive technical education and engineering expertise. His educational qualifications include: BSc Diploma in Engineering (Dipl.-Ing.) Doctorate in Technical Sciences (Dr.techn.) Löscher's research centers on numerical mathematics with deep specialization in finite element methodologies for distributed optimal control problems governed by partial differential equations. His work addresses elliptic, parabolic, and hyperbolic control systems through regularization techniques, adaptive mesh refinement, and robust solver development. Key innovations include variable energy regularization frameworks, mass-lumping discretizations, and complexity-optimal space-time finite element systems that significantly advance computational efficiency and error estimation in constrained control environments. Analysis of his 2024-2026 publications reveals a cohesive research trajectory focused on overcoming computational bottlenecks in optimal control. His work consistently bridges theoretical rigor with practical implementation, emphasizing discretization schemes that balance accuracy and computational cost while addressing state/control constraints across diverse PDE systems. No scientific awards or honors were documented in available sources. Löscher maintains active research collaborations with prominent figures including Ulrich Langer and Olaf Steinbach, evidenced by co-authored publications and peer-review activities for journals like Journal of Computational and Applied Mathematics. His external research engagement includes a July 2024 visit to Delft University of Technology, highlighting international academic partnerships.
Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.
Matthew Osman is an Assistant Professor of Climate Science in the Department of Geography at the University of Cambridge. He leads the Cambridge Computational Climate and PaleOceanography (C3PO) group and serves as a supervisor for the Cambridge NERC Doctoral Landscape Awards (DLA). Dr. Osman's research focuses on understanding climate dynamics across various timescales by integrating geochemical proxy records, modern observations, and climate model simulations. His work centers on: Developing quantitative tools to reconstruct past climates and constrain future projections Using data assimilation and modeling methods for key climate intervals (mid-Pliocene, Last Ice Age, interglacials) Creating probabilistic frameworks combining proxies with climate simulations Developing statistical proxy system models for ice cores and marine records Investigating cryosphere-climate feedbacks, particularly ice sheets and sea ice His research spans sub-seasonal to millennial time intervals, specializing in bridging climate proxies with global climate models. He works closely with the international PMIP/CMIP community on projects spanning Arctic sea ice sensitivity, AMOC weakening, and carbon cycle feedbacks. Dr. Osman actively supervises PhD students through the Department of Geography PhD Program and encourages students interested in quantitative climate science to develop projects in: Using paleo data to constrain future climate projections Developing fingerprinting techniques for proxy records Building probabilistic proxy system models Applying paleoclimate data assimilation during ice sheet collapse Climate risk modeling using physics-informed statistics The C3PO group maintains a strong commitment to diversity and inclusion, welcoming researchers from all backgrounds to address the climate crisis through quantitative, multidisciplinary approaches.
Hossam Hassanein is a Professor and Director of the School of Computing at Queen's University. He received his B.Sc. in Electrical Engineering from Kuwait University in 1984, M.Sc. in Computer Engineering from the University of Toronto in 1986, and Ph.D. in Computing Science from the University of Alberta in 1990. He joined Queen's University School of Computing in 1999 and has established himself as a leading researcher in telecommunications and networking. Dr. Hassanein's research interests span wireless sensor networks, mobile ad hoc networks, edge computing, Internet of Things (IoT), radio resource management, and data-centric networks. His seminal contributions include pioneering work on WSN planning, load-balanced routing protocols, and energy-efficient network designs. He has championed research in IoT, developing frameworks for smart spaces that use contextual information to enhance IoT applications in healthcare, transportation, and infrastructure. His recent publications (2023-2025) demonstrate a strong focus on cutting-edge areas including extreme edge computing, vehicular networks, and AI/ML integration in networking. Research trends show increasing emphasis on practical applications in telesurgery, digital twins, and industrial IoT, addressing challenges in resource allocation, task offloading, and real-time processing in constrained environments. Dr. Hassanein has received numerous recognitions for his work: Fellow of the IEEE Queen's University School of Graduate Studies Award for Excellence in Graduate Student Supervision (2015) Multiple best paper awards from top international conferences As founder and director of the Telecommunications Research Lab (TRL), Dr. Hassanein has supervised over 75 students who have made substantial contributions in academia and industry. The TRL is one of Queen's largest research groups with extensive international collaborations. Dr. Hassanein has successfully attracted significant research funding from government and industry sources in the competitive telecommunications field. The Telecommunications Research Lab has developed innovative platforms including SPROUTS, a rugged sensor platform used in mining, steel manufacturing, and smart-grid monitoring. TRL's work has had significant impact in WSN planning, data dissemination, and resource reuse in wireless networks, with contributions featured in IEEE Wireless Communications Magazine.
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Naresh R. Shanbhag is the Jack Kilby Professor in the Department of Electrical and Computer Engineering and the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign. He serves as Director of the Systems on Nanoscale Information fabriCs (SONIC) Center and held the D.J. Gandhi Distinguished Visiting Professorship at IIT Mumbai from 2015-2020. Previously, he was a visiting faculty member at National Taiwan University (2007) and Stanford University (2014). Dr. Shanbhag received his doctorate from the University of Minnesota (1993) in Electrical Engineering. From 1993 to 1995, he worked at AT&T Bell Laboratories as the lead chip architect for AT&T's 51.84 Mb/s transceiver chips over twisted-pair wiring for Asynchronous Transfer Mode (ATM)-LAN and very high-speed digital subscriber line (VDSL) chip-sets. His research focuses on the design of energy-efficient machine learning, communications, and signal processing systems on resource-constrained embedded platforms. He explores fundamental trade-offs between energy efficiency, latency and accuracy of decision-making systems implemented in nanoscale technologies, with applications to computer vision, biomedicine, automatic target recognition, and imaging. His work spans four primary focus areas: Resource-efficient Machine Learning for the Edge, In-memory Computing (IMC), Energy-efficient High Data Rate Communications, and Shannon-inspired Statistical Error Compensation (SEC). Analysis of his recent publications reveals a strong emphasis on in-memory computing architectures (SRAM, MRAM, RRAM) for machine learning acceleration. His work consistently addresses energy-accuracy trade-offs, with increasing attention to security aspects of hardware implementations and applications to MIMO signal processing and edge AI systems. His research demonstrates a progression from theoretical foundations to practical silicon implementations. 2024 Semiconductor Research Corporation Innovation Award 2018 Semiconductor Industry Association/Semiconductor Research Corporation University Researcher Award 2018 IEEE International Symposium on Circuits and Systems Best Paper Award 2006 IEEE Fellow 1996 National Science Foundation CAREER Award Professor Shanbhag has mentored over 50 graduate students who now work at leading technology companies including Qualcomm, Amazon, Nvidia, Intel, and Apple. His research has been generously supported by the National Science Foundation, DARPA, AFRL, Semiconductor Research Corporation, Texas Instruments, Sandia National Laboratories, and industry partners including IBM, GlobalFoundries, and Intel Corporation. He led the Alternative Computational Models research theme (2006-2012) and was the founding Director of the SONIC Center (2013-2017), a 5-year multi-university center funded by DARPA and SRC. Currently, he leads research themes in the SRC and DARPA funded JUMP 2.0 Program's Center for Co-Design of Cognitive Systems and the Center for Ubiquitous Connectivity, and in the NSF IUCRC Center for Advanced Semiconductor Chips with Accelerated Performance (ASAP). As Director of the Systems on Nanoscale Information fabriCs (SONIC) Center, Professor Shanbhag leads a multidisciplinary team exploring novel computing paradigms for the nanoscale era. His group has benchmarked an extensive collection of in-memory computing and digital accelerator IC designs, maintaining a publicly available IMC benchmarking repository of metrics extracted from published IC prototypes. His research philosophy integrates concepts from information theory, statistical signal processing, detection and estimation, VLSI architectures, and digital and analog integrated circuits to develop energy-efficient systems from algorithms to silicon implementations.
Ignacio Ojea Quintana serves as Assistant Professor at Ludwig Maximilian University of Munich's Faculty of Philosophy, Philosophy of Science and Religious Studies within the Chair of Philosophy of Science. He joined LMU in 2022 after a three-year research fellowship at the Australian National University's School of Philosophy. His academic foundation includes a PhD in Philosophy from Columbia University (2019), supervised by Philip Kitcher with focus on formal social epistemology, and prior Masters/BA degrees in Philosophical Logic from the University of Buenos Aires where he collaborated with the Buenos Aires Logic Group. Ojea Quintana's research employs formal methodologies to examine digital technologies' impact on knowledge organization across scientific and public spheres. His work intersects Social Epistemology , Philosophy of Data Science , and Autonomous Systems Ethics , with significant contributions to social media network analysis of controversial movements. Current projects analyze Twitter dynamics in racial justice movements, ethical constraints in AI decision systems, and consensus formation in scientific modeling. His 2021-2022 publications reveal an interdisciplinary trajectory bridging philosophy, computer science, and social sciences. Key trends include computational analysis of online discourse, formal modeling of group rationality under uncertainty, and ethical frameworks for AI systems. Works appear in high-impact venues including Nature Humanities and Social Sciences Communications and the AAAI/ACM Conference on AI, Ethics, and Society. Ojea Quintana maintains active collaborations with the "Humanising Machine Intelligence" initiative (formerly at ANU) and the Buenos Aires Logic Group. His research program demonstrates sustained engagement with technology's societal implications through formal modeling approaches and empirical digital trace analysis.
Prof. Dr. Melanie Zeilinger is an Associate Professor at the Department of Mechanical and Process Engineering at ETH Zurich, leading the Intelligent Control Systems group at the Institute for Dynamic Systems and Control. She holds a diploma in Engineering Cybernetics from the University of Stuttgart (2006) and a Ph.D. in Electrical Engineering from ETH Zurich (2011). Her postdoctoral research included stints at EPFL (2011–2012), a Marie Curie fellowship at UC Berkeley and the Max Planck Institute (2012–2015), and a professorship at the University of Freiburg (2018–2019). Her research focuses on learning-based control, distributed control systems, and robotics , with applications to medical devices (e.g., hydrocephalus shunts) and human-in-the-loop systems. She organizes the Conference on Learning for Dynamics and Control (L4DC) and contributes to initiatives like the "Algorithm on My Team" project. Her awards include the ETH Medal for her PhD thesis, a Marie-Curie IO Fellowship , and an SNF Assistant Professorship grant . She serves as an Associate Editor for IEEE Control Systems Letters and actively reviews for top journals/conferences like IEEE TAC, Automatica, and NeurIPS. Key projects include: VIEshunt: A smart ventricular shunt for hydrocephalus treatment, combining control systems and medical engineering. Autonomous Racing: Contextual tuning and safety-certified learning-based MPC for real-time obstacle avoidance. Data-Driven Control: Integrating Gaussian processes and state-space models into MPC frameworks for uncertain systems. Her work bridges control theory, machine learning, and robotics, addressing societal challenges such as healthcare and energy efficiency.
Dr. Euijin (Alley) Choo is an Assistant Professor in the Department of Computer Science at the University of Alberta, specializing in data-driven cybersecurity and big data analytics. Her research focuses on AI-based cybersecurity solutions, anomaly detection in network traffic, and adversarial attacks on federated learning systems. She holds a Ph.D. from North Carolina State University and has held roles at Qatar Computing Research Institute, Korea University, and the University of Missouri-Rolla. Education: Ph.D., Computer Science, North Carolina State University (2015) M.S., Computer Science & Engineering, Korea University (2008) B.S. Dual Degree in Computer Science & Mathematics, Korea University (2006) Research Interests: Security and big data analysis intersections Federated learning security and privacy Anomaly detection in network logs and enterprise systems Malware/phishing detection using graph inference AI-driven threat intelligence aggregation Recent Grants: Mitacs Accelerate Program Grant: Fraud Detection in Financial Graphs ($60,000, 2025) National CyberSecurity Consortium Grant: IntruderInsight ($2M, 2025-2027) NSERC Discovery Grant: Threat Detection Framework ($180,000, 2025-2031) Awards: Best Paper Award at DBSEC 2015 NSERC Early Career Researcher Award (2025) Provost Fellowship (NC State, 2009-2010) Labs/Teams: Leads the Data-driven Network and Cyber Security (DANS) Lab, focusing on federated learning defenses, compromised entity detection, and malicious domain analysis.
William Yang Wang serves as the Mellichamp Professor of Artificial Intelligence at the University of California, Santa Barbara (2019-present). He directs the UCSB Center for Responsible Machine Learning, the Mind and Machine Intelligence Initiative, and the UCSB NLP Group. His research focuses on theoretical foundations and practical algorithms for AI, particularly in NLP, LLMs, and neuro-symbolic reasoning. PhD in Computer Science from Carnegie Mellon University Active in AI theory and applications (2016-present) Research interests span multiple AI domains, with special emphasis on NLP and responsible machine learning. He has pioneered datasets like HybridQA, TabFact, and VaTeX, enabling advancements in multi-hop QA, fact verification, and video-language tasks. His work combines statistical relational learning with modern deep learning paradigms. Recent publications center around multimodal reasoning, knowledge graph integration, and responsible AI development. He has received numerous accolades including the IEEE SPS Pierre-Simon Laplace Award (2024) and NSF CAREER Award (2021). Karen Sparck Jones Award (2022) DARPA Young Faculty Award (2018) IBM Faculty Award Mentoring 15+ PhD and postdoc researchers who now hold positions at Microsoft Research, Amazon, Meta GenAI, and academic institutions like Arizona and Rutgers. His lab maintains active collaborations with industry partners through initiatives like ChipAgents.ai, which he founded as CEO.
Cong Shi, also known as Alex Shi, is a Professor of Management at the Miami Herbert Business School, University of Miami, since 2025. Previously, he served as Associate Professor at the University of Michigan (2019-2023) and Assistant Professor there (2012-2019). His academic journey began with a B.Sc. in Mathematics (First Class Honors) from the National University of Singapore (2007) and a Ph.D. in Operations Research from MIT (2012) under Professor Retsef Levi. Education : MIT (Ph.D.), NUS (B.Sc.) Current Role : Professor, Management, Miami Herbert Business School Prior Roles : Associate Professor (Tenured), University of Michigan; Assistant Professor, University of Michigan His research spans Revenue Management, Supply Chain Management, Healthcare Operations, Human-Robot Interaction, and Data-Driven Optimization. Recent publications focus on fairness-constrained inventory, sequential pricing, and trust-aware robotics. He has received prestigious awards including the Senior Research Award (2025) and Amazon Research Award (2021), alongside multiple INFORMS recognitions. The 15 most recent articles highlight advancements in inventory control with fairness constraints, sequential pricing algorithms, and trust propagation models in robotics. His work bridges theoretical rigor with practical applications in supply chains and human-robot collaboration. Scientific Awards : Senior Research Award, Miami Herbert Business School, 2025 Amazon Research Award, 2021 INFORMS Meritorious Service Awards (2018, 2019, 2021, 2023) IOE Graduate Course Professor of the Year, University of Michigan, 2019 He has advised 10 PhD students, many now in academia (e.g., UC Berkeley, Penn State) or tech roles (Meta, Amazon). Grants include NSF funding as PI and Co-PI.
Mi Zhang is an Associate Professor in the Department of Computer Science and Engineering at The Ohio State University and Director of the OSU AIoT and Machine Learning Systems Lab. He holds multiple affiliations including the Institute for Cybersecurity and Digital Trust, Translational Data Analytics Institute, and 5G and Broadband Connectivity Center. Dr. Zhang received his Ph.D. from University of Southern California and B.S. from Peking University, followed by a postdoctoral position at Cornell University. His academic journey previously included a position at Michigan State University before joining OSU. His research focuses on Empowering Billions of Everyday Devices with AI to realize the Artificial Intelligence of Things (AIoT) vision. His lab works across several interconnected domains including efficient generative AI (multimodal LLMs, diffusion models), edge AI for mobile/AR/wearables, systems for AI agents, spatial computing, foundation models for IoT, and human-centered mobile health applications. This interdisciplinary work draws from mobile/edge computing, AI/machine learning, distributed systems, computer networks, and human-centered computing. Analysis of his recent publications reveals a strong focus on making AI more efficient and accessible for resource-constrained devices. His research trajectory shows increasing emphasis on large language models and their optimization for edge deployment, alongside continued work in federated learning for IoT applications. The publications demonstrate both theoretical contributions and practical applications across healthcare, wireless networks, and human-computer interaction. Best Paper Award, IEEE Internet Computing Magazine (2024) University of Chicago Outstanding Educator Award (2024) Best Paper Award, ECCV'24 Workshop (2024) USC ECE SIPI Distinguished Alumni Award (2023) Multiple Best Paper Awards from ACM/IEEE conferences NSF CRII Award Facebook/Meta Faculty Research Award Amazon Research Award MSU Innovation of the Year Award (2020) Dr. Zhang actively mentors students at all levels, with a current group of Ph.D. students working on cutting-edge AI/ML systems. His lab has secured significant funding including Meta Reality Labs Faculty Awards, NVIDIA academic grants, and NSF grants. The OSU AIoT and Machine Learning Systems Lab serves as the central hub for his research activities, fostering collaboration across multiple disciplines to advance the field of AIoT.
