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
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.
John Baillieul is Distinguished Professor at Boston University with joint appointments in Mechanical Engineering, Systems Engineering and Electrical & Computer Engineering. He directs experimental laboratories for real-time control of lightweight robotic systems and applies nonlinear control theory to complex multi-body, networked, and bio-inspired systems. Education: Ph.D., Harvard University Research Interests: Baillieul’s work spans robotics, nonlinear control, and networked systems. Early contributions resolved motion-planning for kinematically redundant manipulators; current themes include neuromimetic learning, vision-based navigation, and resilience of infrastructure networks such as power grids. His group couples rigorous geometric control with real-time hardware to create lightweight, high-performance robots and to uncover fundamental information limits in feedback systems. Recent Publication Trends (2021-2025): Over the past five years his output has concentrated on three synergistic directions: (i) neuromimetic and Koopman-based data-driven methods for estimating and controlling nonlinear systems, (ii) vision-based guidance and sparse optical-flow primitives for agile autonomous flight, and (iii) network-theoretic decomposition and information-rate studies for resilient operation of power grids and collective dynamics. Honors & Awards: IEEE Fellow 2025 Roger W. Brockett Control Systems Award Former Editor-in-Chief, IEEE Transactions on Automatic Control Affiliations & Service: He is a member of Boston University’s Center for Information and Systems Engineering (CISE), has served as Editor-in-Chief of IEEE Transactions on Automatic Control, and remains active in editorial and organizational roles across the IEEE control systems community.
Furkan Alaca is an Assistant Professor at Queen's University's School of Computing, part of the Faculty of Arts and Science. His research focuses on user authentication systems, addressing security and usability challenges. He holds a Ph.D. (2018) in Computer Science from Carleton University, an M.A.Sc. (2012) in Electrical and Computer Engineering, and a B.Eng. (2010) in Communications Engineering, all from Carleton University. His academic career includes teaching roles at Queen's University and the University of Toronto Mississauga, where he taught courses such as Cryptography, Cybersecurity, and Discrete Mathematics. He is affiliated with Queen's Security Research Group and Computer Security Research Lab. Research interests include computer and internet security, usable security, authentication mechanisms, and systems security. He has contributed to advancements in web authentication frameworks, malware analysis, and privacy-preserving technologies. His work spans conferences like IEEE and ACM, with notable publications in cybersecurity, machine learning, and network efficiency. Current teaching includes CISC 447 (Introduction to Cybersecurity) and CISC 468 (Cryptography). He has advised on courses ranging from undergraduate programming to graduate-level security topics.
Nabil Alshurafa is an Associate Professor at Northwestern University, holding joint appointments in the McCormick School of Engineering (Computer Science and Electrical and Computer Engineering) and the Feinberg School of Medicine (Preventive Medicine). He directs the HABits Lab, which focuses on developing mHealth systems to address health behaviors such as overeating, stress, and UV exposure. His work integrates wearable sensors, machine learning, and behavioral science to create passive sensing solutions. Education: PhD in Computer Science and Wireless Health (UCLA), MS and BS in Computer Science (UCLA). Research Interests: Body sensor networks, activity recognition, embedded systems, and health informatics. His lab designs wearable devices (e.g., neck-worn sensors, UV patches) and AI frameworks to detect behaviors like eating patterns and stress levels. Collaborations include domain experts in medicine and engineering to translate technical innovations into clinical interventions. Recent Projects: Developing systems for stress monitoring via ECG-PPG patches, UV exposure tracking, and just-in-time interventions for overeating. The lab emphasizes ethical design, privacy preservation, and user-centered technology. Students and Lab Team: Supervises PhD, MS, and undergraduate researchers in areas like machine learning, embedded systems, and health data analytics. Notable advisees include Rawan Alharbi (PhD candidate), Shibo Zhang (PhD student), and Wilson Wang (MS student). Labs/Teams: HABits Lab collaborates with experts in Preventive Medicine, Psychiatry, and Dermatology to advance interdisciplinary health research. Current projects include predictive analytics for weight loss and interventions targeting maternal stress during pregnancy.
Professor Yan (Lindsay) Sun is a faculty member at the University of Rhode Island in the College of Engineering under the Department of Electrical, Computer and Biomedical Engineering . She is the founding director of the Center for Cyber-Physical Intelligence and Security (CYPHER) and an IEEE Fellow . Her research focuses on cyber-physical systems security , power grid security , network security , and trustworthy social computing , with a particular emphasis on trust modeling and management in complex systems. Her publications span smart grid security , microgrid control , machine learning applications in power systems, and blockchain-based security mechanisms . The work often explores adversarial threats , resilient control strategies , and data augmentation techniques for improved grid monitoring. NSF CAREER Award (2007) IET Wireless Sensor Systems Premium Award (2018) EURASIP Best Paper Award (2015) IEEE Fellow (2019) URI College of Engineering Outstanding Research Award (2022) She actively leads interdisciplinary CYPHER Lab initiatives involving cyber-physical system resilience , network security , and smart grid analysis , collaborating with government and industry partners.
Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.
Tamer Başar is a Maybelle Leland Swanlund Endowed Chair Emeritus and Professor Emeritus of Electrical and Computer Engineering at the University of Illinois' College of Engineering. He leads research in game theory, control systems, and networked systems through the Coordinated Science Lab. His work focuses on stochastic processes, multi-agent systems, and optimization under uncertainty. Research interests include Nash equilibrium analysis, mean-field theory, and reinforcement learning applications in dynamic systems. Recent publications explore strategic incentives in large population games, nonstationary reinforcement learning, and coupled bi-virus models. Notable honors include the IEEE Control Systems Award (2014), American Academy of Arts and Sciences Membership (2023), and honorary doctorates from multiple institutions. His work bridges theoretical foundations with practical applications in socio-technical networks and edge computing systems. Basar's contributions span over 900 publications, focusing on distributed control algorithms, network security, and strategic information design. His research lab at Illinois addresses challenges in timely computation, resilient systems, and decentralized decision-making frameworks.
Ying Cai is an Associate Professor in the Department of Computer Science at Iowa State University, joining in 2003 after earning his Ph.D. in Computer Science from the University of Central Florida (2002). His research focuses on AI, machine learning, data science, cybersecurity, privacy protection, and database systems. He leads projects funded by the Air Force Research Laboratory, including work on authentication data structures for rank-aware queries, requiring U.S. citizenship and expertise in linear algebra/cryptography. Dr. Cai’s work spans cybersecurity (e.g., adversarial example defense, secure secret sharing), spatio-temporal systems (e.g., traffic risk prediction, check-in time modeling), and healthcare AI (e.g., cervical spine diagnosis with transformers). His publications emphasize practical applications of ML in privacy, security, and distributed systems. Professional roles include Associate Editor for Multimedia Tools and Applications (since 2009), Co-chair for COMPSAC TAIN/NCIW symposium (2014–2017), and TPC Chair for Mobilware 2010. His service includes contributions to INFOCOM, ICDCS, and MDM conferences. Current research opportunities exist for graduate students with strong programming/math skills, particularly in cryptography and linear algebra. He emphasizes interdisciplinary work, such as bridging AI with social sciences via large language models.
Zhong-Ping Jiang is an Institute Professor at New York University Tandon School of Engineering, affiliated with the Department of Electrical and Computer Engineering, and holds cross appointments in Civil and Urban Engineering. He leads the Control and Network (CAN) Lab and contributes to research centers like the Center for Advanced Technology in Telecommunications (CATT) and C2SMARTER. His work focuses on nonlinear control, adaptive dynamic programming, and learning-based control with applications to autonomous systems, urban mobility, and computational neuroscience. He serves as Deputy Editor-in-Chief of the IEEE/CAA Journal of Automatica Sinica and has held editorial roles in multiple journals. Research interests include model-based and learning-based control for network systems, with emphasis on robotics, connected vehicles, and urban infrastructure. His contributions to nonlinear small-gain theory and robust reinforcement learning have advanced control methodologies for complex systems. Recent publications highlight trends in resilient control under cyberattacks, data-driven optimal control, and reinforcement learning applications in traffic signal optimization and autonomous driving. His work bridges theoretical advancements with real-world challenges in transportation and cyber-physical systems. Awards: Elected to the European Academy of Sciences and Arts (2024). Grants/Projects: Includes RAPID-funded studies on high-resolution agent-based modeling of epidemic spread and NSF-supported research on urban traffic networks. Labs/Teams: CAN Lab (focusing on control theory and networked systems), CATT (telecommunications innovations), and C2SMARTER (urban mobility solutions).
Ahmad Al-Dabbagh is an Assistant Professor in Manufacturing Engineering and holds a Principal's Research Chair in Control Systems (Tier 2) with the School of Engineering at The University of British Columbia. As a Senior Member of IEEE and ISA, he contributes significantly to the field of resilient automation and control systems through research, teaching, and professional service. His academic journey includes postdoctoral fellowships at Imperial College London, the University of Toronto, and the University of Alberta, where he also earned his PhD in Electrical and Computer Engineering. Dr. Al-Dabbagh's research focuses on designing resilient automation and control systems by addressing critical challenges in fault diagnosis, cyber security, and alarm management. His work spans theoretical foundations and practical applications in industrial control systems, with particular emphasis on detection and isolation of faults and cyber attacks, control reconfiguration, event-triggered control, remote state estimation, and alarm systems design. His research interests also extend to causality analysis, prediction methods, and root cause analysis for industrial processes. His extensive publication record demonstrates consistent contributions to control systems security and reliability, with recent work focusing on sophisticated methods for detecting false data injection attacks, analyzing alarm correlations using advanced machine learning techniques, and developing recommender systems for human operators in industrial environments. The trajectory of his research shows an evolution from foundational control theory toward increasingly complex applications in cyber-physical security and human-system interaction in industrial settings. NSERC Postdoctoral Fellowship NSERC Alexander Graham Bell Canada Graduate Scholarship (CGS – D3) Queen Elizabeth II Graduate Scholarship Governor General's Academic Medal (Gold) As a graduate student supervisor, Dr. Al-Dabbagh mentors the next generation of control systems engineers while maintaining an active research program. He serves as an Associate Editor on the IEEE Control Systems Society Conference Editorial Board and is a licensed Professional Engineer in British Columbia and Ontario. His teaching portfolio includes courses such as System Identification, Digital Enterprise, Systems and Control, and Internet of Things, reflecting the breadth of his expertise. Dr. Al-Dabbagh leads the Okanagan Laboratory for Control Systems Research, where his team develops innovative approaches to enhance the security and reliability of industrial automation systems. The laboratory serves as a hub for interdisciplinary research that bridges theoretical control engineering with practical industrial applications, particularly in the energy, manufacturing, and process industries.
Dr. Silvia Baiocco serves as Assistant Professor at University of Rome Tor Vergata, teaching entrepreneurship, tourism management, and marketing courses across Bachelor and Master programs including 'Creation of Enterprises and Entrepreneurship' (Master), 'Fundamentals of Service Management' (Bachelor), and 'Tourism and Cultural Management for Sustainability' (Bachelor). Her institutional affiliation centers on Business Economics (sector ECON-07/A) with research rooted in co-evolutionary theory. Her research critically examines sustainable business model innovation through three interconnected lenses: (1) tourism-destination co-evolution in historic villages and Alberghi Diffusi, (2) university-industry knowledge exchange for sustainable spin-offs via PNICube Observatory frameworks, and (3) technology integration in smart tourism through AI-driven destination management. She emphasizes context-specific adaptation in both high-income (Italy) and low/middle-income settings (Ghana), with strong focus on social impact and heritage preservation. Analysis of her 2023-2025 publications reveals accelerating focus on digital tourism transformation (AI applications, smart city integration) and resilience-building in accommodation firms. Her work consistently applies co-evolutionary frameworks to decode organizational adaptation, particularly in sustainable entrepreneurship contexts. The PNICube Observatory reports highlight her policy-relevant contributions to university research valorization. As educator, Dr. Baiocco actively shapes future business leaders through courses spanning startup creation to sustainable destination management. Her research trajectory indicates deepening engagement with technology-mediated sustainability solutions and cross-sectoral innovation ecosystems, particularly through ongoing PNICube Observatory initiatives.
Dr. Jay Pujara is a Research Associate Professor of Computer Science at the University of Southern California (USC) and Director of the Center on Knowledge Graphs. He is also a Principal Scientist at the Information Sciences Institute (ISI) and leads research teams in data science and AI. Ph.D., University of Maryland, College Park (2016) M.S. and B.S. in Computer Science, Carnegie Mellon University Research Interests include artificial intelligence, probabilistic models, knowledge graph construction, statistical relational learning, NLP, and streaming inference. His work focuses on scalable algorithms for big data and uncertainty modeling in dynamic environments. Recent Publications highlight advancements in knowledge graphs, LLM reasoning, and table understanding. Notable topics include non-verbal abstract reasoning , faithful conversational datasets , and KGQA re-ranking . Scientific Awards : SWSA Ten-Year Award (2023), Outstanding Paper (IUI 2019), Top Reviewer (NeurIPS 2018), Best Paper (SRL Workshop 2016) Advising & Grants : Mentored 12+ graduate students, including Ph.D. advisees on topics like causal modeling and neuro-symbolic tasks. Secured NSF funding for table understanding in paleoclimate studies.
Remus Teodorescu is a Professor at AAU Energy , Aalborg University , specializing in Power Electronics System Integration and Materials . His work bridges Lithium-Ion Batteries , Modular Multilevel Converters , and Smart Battery Systems . Education : Not explicitly mentioned in the text. Research Interests focus on Battery Management Systems , AI-Driven Energy Optimization , and Power Electronics for renewable energy integration. Key projects include Digital Twin for Lithium-Ion Batteries and BMS-DC for Data Centers . Recent Publications (2025) emphasize Finite Set MPC , Gradient Descent Optimization , and AI in Battery Parameter Estimation . His 2024 work explores Physics-Informed Neural Networks and Fault-Tolerant Converters . Scientific Awards : Villum Foundation Grant (313 million kroner, 2021) Named world's best in electrical engineering (2023) Advising includes supervising PhD projects on AI-Accelerated Battery Twins and Data-Driven SOH Estimation . Collaborations span Energy Cluster Denmark and Villum Fonden .
Kyojin Choo is a Tenure Track Assistant Professor at the Swiss Federal Institute of Technology Lausanne (EPFL) in the School of Engineering , affiliated with the Mixed-Signal Integrated Circuits Lab (MSIC-LAB). He also holds teaching roles in Microengineering and Electrical and Electronics Engineering at EPFL. B.S. and M.S. in Electrical Engineering from Seoul National University (2007, 2009) Ph.D. in Electrical Engineering from the University of Michigan (2018) His research focuses on charge-domain analog/mixed-signal circuits , low-power sensor interfaces , and compact ADCs for IoT, wearables, and millimeter-scale systems. He has pioneered charge-injection cell techniques for energy-efficient circuits in energy management, sensor front-ends, and communication. His work emphasizes reducing power consumption to nanowatt levels while enabling ultra-compact designs. His recent publications highlight advancements in compact SAR ADCs , low-power MEMS accelerometers , millimeter-scale imaging systems , and ultra-low-power timing generators . His research integrates charge-domain circuit design with sensor interface optimization , energy harvesting , and high-speed link architectures . He holds over 20 US patents and has taught courses in Microengineering and Electrical Engineering at EPFL. His group (MSIC-LAB) addresses challenges in battery-free sensor design, power-constrained system scaling, and commercialization of wearables with unconventional form factors.
