Rachel Bailey is a researcher at UT Southwestern with a focus on developing gene therapies for neurological disorders. She holds dual bachelor's degrees in Biology/Bioinformatics and Molecular Biology from Rensselaer Polytechnic Institute, a Ph.D. in Neuroscience from the University of Florida, and completed postdoctoral research at the University of North Carolina Chapel Hill. Education : Dual B.S. from Rensselaer Polytechnic Institute, Ph.D. in Neuroscience Her research spans gene therapy for monogenic and complex neurodegenerative diseases, including SLC13A5 epileptic encephalopathy , Giant Axonal Neuropathy , and tauopathies like Alzheimer’s disease. She employs AAV vector engineering for gene replacement and silencing, with expertise in preclinical development and IND-enabling studies . Recent publications highlight her work on tau protein phosphorylation in Parkinson’s disease, AAV9 gene therapy for GAN, and autonomic dysfunction in neurodegenerative models. Key collaboration networks include institutions like the NIH and Mayo Clinic.
Soufiene Djahel is a Professor at the Centre for Future Transport and Cities (CFTC) at Coventry University, UK. His research focuses on connected and autonomous vehicles (CAVs), unmanned aerial vehicles (UAVs), cyber security, and smart cities. He holds a PhD in Secure Routing and Medium Access Protocols from Université des Sciences et Technologies de Lille (2010), and has held academic positions including Senior Lecturer at the University of Huddersfield and Manchester Metropolitan University. His research interests include CAV coordination protocols, cyber-physical security solutions, and intelligent transportation systems. Djahel leads projects such as the £1.2M AeroPharma Logistics initiative and has secured funding from the Newton Fund and JSPS. He is a recipient of the 2021 JSPS Invitational Fellowship and has published extensively in IEEE journals and conferences. Current projects explore UAVs-as-a-service, digital twins for CAVs, and B5G/6G for smart infrastructure. He advises PhD students on topics like AI-based threat mitigation and transport electrification. Djahel also serves as an external examiner and editorial board member for journals like IEEE Transactions on Intelligent Transportation Systems.
Manxi Wu is an Assistant Professor in Cornell University's School of Operations Research and Information Engineering, specializing in societal networks and game-theoretic approaches to system design. Her research develops computational models for strategic learning and incentive mechanisms in socio-technical systems, with applications to transportation networks and digital platforms. Education: B.S. Applied Mathematics, Peking University (2015) M.S. Transportation, Massachusetts Institute of Technology (2017) Ph.D. Social and Engineering Systems, Massachusetts Institute of Technology (2021) Her research integrates game theory, optimization, and machine learning to address challenges in autonomous services, traffic management, and decentralized decision-making. Current investigations focus on adaptive incentive structures, spatial resource allocation, and equilibrium analysis in complex networked environments. Publication analysis reveals consistent emphasis on game-theoretic frameworks applied to urban mobility systems, with recent work exploring multi-agent reinforcement learning, congestion pricing equity, and electric fleet management. Methodological innovations include novel convergence proofs for decentralized algorithms and computational approaches to fairness constraints. Awards and Honors: Hammer Fellowship UTC Milton Pikarsky Memorial Award Siebel Scholarship EECS Rising Star recognition No information is currently available regarding student advising, research grants, or laboratory affiliations.
Prof. Sarthak Misra is a Full Professor in Medical Robotics at the University of Groningen’s Faculty of Medical Sciences, affiliated with the University Medical Center Groningen (UMCG). He leads research in the Robotics and image-guided minimally-invasive surgery (ROBOTICS) group and the Basic and Translational Research and Imaging Methodology Development in Groningen (BRIDGE) team. His work focuses on advancing medical robotics, microrobotics, and magnetic actuation technologies for surgical and biomedical applications. He holds an ORCID identifier and has published over 127 research outputs, including high-impact articles in journals like Advanced Materials Technologies and European Heart Journal . His research addresses challenges in minimally invasive surgery, soft robotics, and smart materials. Media engagements highlight his contributions to robotic surgery and addressing healthcare workforce shortages through automation. Research interests include: Microrobotics and fluidic systems Magnetic and acoustic actuation for medical devices Soft robotic systems for surgical applications Image-guided interventions 3D printing for biomedical robotics His recent articles emphasize innovations like MagNoFE3D printing and magnetic probes for endovascular interventions. Collaborations span global institutions, reflecting his interdisciplinary approach. No explicit awards are listed, but his extensive media coverage and 127+ publications underscore his impact. He is involved in grants, including OTP-funded projects, and mentors students in advanced robotics and medical engineering.
Liuping Wang is a Professor in the School of Electrical and Computer Engineering at RMIT University, Australia, since 2007. He serves as Head of Discipline for Electrical Energy and Control Systems since 2005 and teaches Advanced Control Systems (EEET 2100) and Real Time Estimation and Control (EEET 2221). Current academic rank: Professor Location: City Campus, Australia Industry collaborators: ANCA, Australian Power Academy, Advanced Manufacturing CRC His research interests span: Control Theory with applications to UAVs and industrial processes Development of Model Predictive Control systems System Identification using neural networks Robust Control for constrained systems Control of AC motors and power electronics Applications in biomedical research and food process monitoring The 15 most recent publications (2015-2025) demonstrate expertise in: UAV control systems with segmented surfaces Battery condition monitoring for electric vehicles Mult-agent robotics with coordination algorithms Smart grid security and electricity dispatch GPS-denied localization for mobile robots Disturbance observer control with input constraints As a supervisor, he oversees Masters Research and PhD projects but no specific student names are listed. His email is liuping.wang@rmit.edu.au for collaboration or supervision inquiries.
Professor Klaus McDonald-Maier is a full Professor in the School of Computer Science and Electronic Engineering (CSEE) at the University of Essex , where he leads the Embedded and Intelligent Systems (EIS) Research Laboratory and heads the Intelligent Embedded Systems and Environments Research Group . He is also Director of Impact , Visiting Professor at the University of Kent, and Visiting Research Affiliate at NASA Jet Propulsion Laboratory, California Institute of Technology. Education PhD in High-Performance Parallel Neural Network Architectures, Friedrich-Schiller-University Jena (Germany, 1999) Electronic Engineering studies, University of Ulm (Germany) Electronic Engineering studies, Cardiff University (Wales) Electronic Engineering studies, École Supérieur de Chimie Physique Électronique de Lyon (CPE-Lyon) (France) Research Interests Professor McDonald-Maier’s research integrates embedded systems , System-on-Chip (SoC) architectures , and AI-driven robotics . He pioneers visual place recognition techniques that remain robust under severe appearance and viewpoint changes, develops cybersecurity frameworks based on ICMetrics for autonomous vehicles and IoT, and designs approximate real-time computing solutions for energy-constrained multicore and FPGA platforms. His work on radiation-tolerant systems supports space and nuclear applications, while his bio-inspired algorithms enable lightweight, neuromorphic perception on resource-limited robots. Publication Trends Between 2022 and 2025 his output converges on FPGA-accelerated AI , secure edge intelligence , visual navigation for autonomous systems , and healthcare analytics . He repeatedly couples rigorous algorithmic innovation with practical hardware deployment, yielding energy-efficient, real-time systems validated in domains ranging from autonomous driving to post-stroke rehabilitation. Scientific Awards & Recognition Best Paper Award – IEEE Transactions on Sustainable Computing (2024) Best Paper Award – IEEE/ACM DATE (2024) Best Paper Award – IEEE Systems Journal (2022) Best Paper Award – IEEE Sensors Journal (2021) Best Paper Award – IEEE Access (2020) Research Grants & Industrial Collaboration He has secured major funding from EPSRC , EU Horizon 2020 , Innovate UK , and industry partners. Current projects span trustworthy autonomy, radiation-hardened edge AI, and AI-enhanced rehabilitation technologies. He is Chief Scientist of UltraSoC Technologies Ltd and CEO of Metrarc Ltd , commercialising University research in semiconductor debug and cybersecurity respectively. Laboratory & Team Leadership As Director of the Embedded and Intelligent Systems Laboratory (EIS Lab) , he oversees a multidisciplinary team of researchers and PhD students, providing state-of-the-art FPGA, robotics, and embedded-systems facilities. The lab collaborates closely with NASA JPL, UK Atomic Energy Authority, and leading semiconductor firms to translate fundamental research into high-impact industrial solutions.
Kaidi Xu is an Assistant Professor in the Department of Computer Science at Drexel University's College of Computing & Informatics. His research focuses on Trustworthy AI, with expertise in formal verification of neural networks, adversarial attacks (especially in the physical world), and certified defenses. He actively publishes in top-tier conferences including NeurIPS, ICML, ICLR, CVPR, and AAAI, and leads the award-winning research team 'alpha-beta-crown'. PhD in Computer Science, Northeastern University (2021) MS in Computer Science, University of Florida (2017) BS in Computer Science, Sichuan University (2015) Dr. Xu's research spans critical areas in AI security and robustness. He investigates formal methods to verify neural network behavior, develops techniques to defend against real-world adversarial manipulations (such as the famous 'Adversarial T-shirt'), and explores model compression and explainability. His work bridges theoretical guarantees with practical applications in healthcare, material science, and autonomous systems. His recent publications reflect a strong trend toward certified robustness, interdisciplinary applications, and formal verification across vision, language, and multimodal systems. He has consistently published at NeurIPS, ICML, CVPR, and ACL, demonstrating sustained impact in both machine learning and computer vision communities. Winner of VNN-COMP'21 with highest score Three-time VNN-COMP champion (2021–2023) with team alpha-beta-crown Faculty Research Excellence Award, CCI@Drexel (2024) Recipient of multiple Carleone Faculty Awards (2025) NSF grant recipient for projects on transit systems and material synthesis Dr. Xu advises PhD students, including Jinhao, and has secured significant external and internal funding, including multiple NSF grants and Drexel internal awards. He is actively recruiting motivated students with strong machine learning backgrounds. He also contributes to the academic community as an Area Chair for NeurIPS 2025, organizer of workshops like GenAI4Health@AAAI 2025, and frequent program committee member. He leads the 'alpha-beta-crown' research team, known for its leadership in neural network verification and repeated success in the VNN-COMP competitions. The team focuses on developing scalable, sound, and complete verification tools for deep learning models, pushing the frontier of AI safety and reliability.
Ronghua Xu is an Assistant Professor at the Department of Applied Computing, Michigan Technological University, specializing in blockchain, IoT, and edge computing. He is a member of the ICC Center for Cybersecurity. Ph.D. (2023), M.S. (2018) in Electrical and Computer Engineering, Binghamton University M.S. (2010) in Mechanical and Electrical Engineering, Nanjing University of Aeronautics & Astronautics B.S. (2007) in Mechanical Engineering, Nanjing University of Science & Technology His research focuses on decentralized security networks, NextG network intelligence, and blockchain applications in IoT systems. Key themes include scalability, interoperability, and resilience in smart vehicular and urban air mobility networks. Recent publications highlight blockchain-enabled architectures for secure data access, federated learning, and edge resource management. Awards include the Graduate Student Excellence Award (2023) and ICC Rapid Seeding Awards (2024). Ronghua Xu actively seeks self-motivated Ph.D. students for his research group. He previously worked at Siemens (2010–2016) on software development and system integration.
Sofie Haesaert is an Assistant Professor in the Control Systems group at the Department of Electrical Engineering, Eindhoven University of Technology. Her work focuses on formal verification and control synthesis methods for cyber-physical systems, particularly through stochastic simulation relations and temporal logic specifications. Education: BSc (cum laude) and MSc (cum laude) in Mechanical Engineering and Systems & Control from Delft University of Technology; PhD from Eindhoven University of Technology (2017) Experience: Postdoctoral researcher at Caltech (2017-2018), then returned to TU/e as Assistant Professor Her research interests include: Cyber-physical systems verification Stochastic control methods Temporal logic specification Markov decision processes Formal methods in control engineering Model abstractions and simulation relations Recent publications show strong focus on: Stochastic temporal logic control Robust and risk-aware control Multi-agent system verification Formal synthesis via simulation relations AI integration in control systems Software tools for formal control Scientific achievements: Veni Grant recipient (2020) Co-developer of the SySCoRe toolset for stochastic control synthesis Contributor to formal verification benchmarks through ARCH-COMP reports She contributes to education through courses on: Control principles for engineered systems Control challenges in autonomous racing Supervisory control of cyber-physical systems Haesaert collaborates across disciplines including computer science, applied mathematics, and robotics, with over 750 citations and significant contributions to formal control theory for stochastic systems. Her work bridges theoretical developments with practical applications in autonomous systems and complex control architectures.
Michael Hardt serves as Professor of Literature at Duke University and Professor of Philosophy at The European Graduate School (EGS). His academic career bridges political philosophy and literary theory, with primary affiliations in Duke's Department of Literature within Trinity College of Arts & Sciences. Research interests center on globalization , immaterial labor , communist theory , and biopolitical resistance . His work critically examines contemporary power structures through the lens of Empire, Multitude, and Commonwealth—the trilogy co-authored with Antonio Negri that redefined 21st-century leftist thought. Key contributions include theorizing affective labor, the commons, and horizontal political organization, particularly through analyses of movements like Occupy Wall Street. His publication trends reveal a consistent focus on challenging neoliberal capitalism and reimagining democratic structures . Early works engaged with Deleuze and Italian autonomism, while recent scholarship addresses crisis-era politics, education, and the reclamation of common resources. Articles demonstrate interdisciplinary reach across political philosophy, cultural studies, and critical theory. Hardt's academic journey began unconventionally: after a B.S. in Engineering from Swarthmore College (1983), he shifted to Comparative Literature (M.A. and Ph.D., University of Washington). His activism during the 1980s Sanctuary Movement and Central American solidarity work deeply informed his theoretical development. Collaborations with Negri since the 1990s produced foundational texts analyzing global power as a decentralized 'Empire' network rather than traditional imperialism. His advisory work and institutional contributions include directing EGS lecture programs and participating in transnational academic networks. Current projects focus on love as political ontology and the 'common' as an alternative to capitalist property relations, continuing his exploration of radical democratic potential within contemporary global systems.
Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), leading the Trustworthy and Secure Software (TSS) research group since 2001. His work focuses on automated program repair, software testing, security, and agentic AI. He is a Senior Advisor at SonarSource following the acquisition of his startup AutoCodeRover. He holds an ACM Fellowship and has received the ICSE Most Influential Paper Award for program repair research. Education: M.S. and Ph.D. in Computer Science from State University of New York at Stony Brook (1997-2000). Research interests include program analysis, software security, and AI-driven software engineering. His team has pioneered techniques like SemFix and Angelix for program repair, and AFLNet for protocol fuzzing. He has served as editor-in-chief of ACM TOSEM and conference chair for ICSE and FSE. Awards include the NUS Outstanding Graduate Mentor Award (inaugural recipient) and IEEE New Directions Award. His work bridges academia and industry, with contributions to projects like the DesCartes initiative for critical urban systems. Key collaborations include Microsoft on API repair and IBM on AI research centers. His recent focus includes agentic AI for software engineering, reflected in AutoCodeRover's acquisition by SonarSource.
Murat Arcak is a Professor of Electrical Engineering and Computer Sciences and Mechanical Engineering at the University of California, Berkeley, holding the Robert M. Saunders Endowed Chair in the College of Engineering. His research spans control theory, autonomous systems, and multi-agent systems with applications in transportation, energy, and biology. Dr. Arcak received his Ph.D. in Electrical Engineering from the University of California, Santa Barbara in 2000, following an M.S. from the same institution in 1997 and a B.S. from Bogazici University in Istanbul, Turkey in 1996. His research interests focus on developing scalable control design and verification methods for complex systems with many interconnected components, nonlinear dynamics, and learning capabilities. He has made significant contributions to control theory, particularly in areas like reachability analysis, dissipative systems, and compositional verification methods. His work bridges theoretical advances with practical applications in transportation systems, energy networks, and biological systems. A leading researcher in control systems, Dr. Arcak's recent publications demonstrate a strong focus on data-driven approaches for system verification, synthetic biology applications, and formal methods for traffic control. His research combines mathematical rigor with practical implementation, often developing novel theoretical frameworks that address real-world engineering challenges. CAREER Award from the National Science Foundation (2003) Donald P. Eckman Award from the American Automatic Control Council (2006) Control and Systems Theory Prize from SIAM (2007) Antonio Ruberti Young Researcher Prize from IEEE Control Systems Society (2014) Brockett-Willems Outstanding Paper Award (2021) IFAC Fellow (2020) IFAC Automatica Paper Prize (2020) CSS Transactions on Control of Network Systems Outstanding Paper Award (2017) Electrical Engineering Award for Outstanding Teaching (2014) CSS Antonio Ruberti Young Researcher Prize (2014) IEEE Fellow (2012) SIAM Activity Group Control and Systems Theory Prize (2007) Dr. Arcak has advised numerous graduate students and postdoctoral researchers, though specific names are not listed in the available information. His research has been supported by various grants from the National Science Foundation and other funding agencies, enabling his work on control theory and applications across multiple domains. He is affiliated with several research centers at UC Berkeley including the Berkeley Artificial Intelligence Research Lab (BAIR), Berkeley Deep Drive (BDD), the Center for the Theoretical Foundations of Learning, Inference, Information, Intelligence, Mathematics and Microeconomics at Berkeley (CLIMB), the Institute of Transportation Studies (ITS), and Partners for Advanced Transit and Highways (PATH).
Rémi Badonnel is a Professor in the Department of Computer Science at the University of Lorraine's Faculty of Science and Technology, affiliated with the LORIA research laboratory in France. With over 20 years of research experience, his work focuses on network security, cloud security, and network management systems. His research interests span multiple critical areas of cybersecurity including Network and cloud security architecture Internet of Things security frameworks Software-defined networking security Automated security configuration systems Cybersecurity education and workforce development His work often combines theoretical foundations with practical implementations, particularly in the areas of formal verification for security policies and machine learning applications for threat detection. Analysis of his recent publications (2021-2025) reveals a strong focus on cloud security challenges, particularly around service composition, migration security, and formal verification methods. His work increasingly incorporates AI/ML techniques for security automation while maintaining strong theoretical foundations in network management principles. His research shows consistent collaboration with European institutions, particularly in cybersecurity education initiatives. As an academic leader, he has supervised numerous researchers including Martín Barrère, Anthéa Mayzaud, Adrien Hemmer, and Nicolas Schnepf, who have co-authored multiple publications with him. His editorial roles for IEEE Transactions on Network and Service Management demonstrate his standing in the network security research community.
Dubravko Kicic is a Ph.D. Visitor (Faculty) at the Department of Neuroscience and Biomedical Engineering at Aalto University, specializing in advanced brain stimulation techniques and neuroengineering. His work primarily focuses on transcranial magnetic stimulation systems and their clinical applications. Education: Doctoral degree in Engineering and Technology from Helsinki University of Technology (awarded October 20, 2009) Master's degree in Engineering and Technology from Helsinki University of Technology (awarded June 14, 2005) Kicic's research centers on non-invasive brain stimulation technologies, particularly transcranial magnetic stimulation (TMS). His work spans neuroscience, biomedical engineering, and clinical applications for treating neurological and psychiatric conditions. He investigates how to optimize brain stimulation targeting, develop multi-locus TMS systems, and create robotic platforms for precise stimulation delivery. His fingerprint includes expertise in Transcranial Magnetic Stimulation, Behavioral Addiction, Magnetoencephalography, Neuromodulation, Pulse Rate analysis, and Signal Space engineering. Recent publications demonstrate a clear trend toward developing more precise and effective brain stimulation systems. Kicic's work focuses on multi-locus TMS for simultaneous stimulation of multiple brain areas, robotic targeting systems for improved accuracy, and real-time identification of brain states to optimize stimulation timing. His research bridges engineering innovation with clinical neuroscience applications, particularly for depression and pain treatment. Kicic has supervised at least one thesis and has been involved in media coverage regarding how magnetic brain stimulation can help patients with depression and pain. His collaborative work shows extensive international connections in the neuroscience and biomedical engineering fields. His research contributes to UN Sustainable Development Goals related to good health and well-being through developing advanced neurotechnologies for clinical applications.
Dr. Scott L. Nykl is a Professor in the Department of Computer Science at the Air Force Institute of Technology (AFIT), part of the Graduate School of Engineering & Management. He is a leading researcher in computer vision, real-time 3D graphics, and autonomous aerial systems, with a focus on automated aerial refueling and navigation in GPS-denied environments. Education: Ph.D. in Computer Science, Ohio University (2008–2013), Summa Cum Laude, GPA: 4.0/4.0 M.S. in Computer Science, Ohio University (2011–2012), Summa Cum Laude, GPA: 4.0/4.0 B.S. in Software Engineering, University of Wisconsin–Platteville (2002–2006), Summa Cum Laude, GPA: 3.94/4.0 Dr. Nykl's research interests include computer vision, sensor fusion, interactive virtual worlds, and real-time 3D graphics, with applications in aerospace and defense. His work bridges simulation and real-world deployment, particularly in autonomous aerial refueling using stereo and monocular vision. He has pioneered techniques in pose estimation, occlusion mitigation, and sim-to-real transfer learning. His recent publications and projects show a strong trend toward robust, vision-based navigation systems for unmanned and manned aircraft, with emphasis on reliability, accuracy, and real-time performance. His work frequently appears in IEEE, AIAA, and ION venues, reflecting its high technical and operational relevance. Scientific Awards and Recognitions: 2024 Harold Brown Award – Highest U.S. Air Force scientific honor 2024 General Bernard A. Schreiver Award 2025 AETC Airmen of the Year Multiple Air Force Outstanding Scientist/Engineer Awards (2017–2023) Best Paper Award, ACM SIGGRAPH i3D 2013 Forbes' The Greatest Young Inventors in America (2012) NSF GK-12 Fellow (2006) Dr. Nykl has advised numerous graduate students and collaborated extensively on projects involving automated aerial refueling, 3D reconstruction, and cyber education. He has secured significant research funding, including a $100,000 Ohio Third Frontier grant. His work has led to multiple patents and technology transfers. He leads research integrating virtual worlds, digital twins, and augmented reality for both research and pedagogy. Laboratories and Research Teams: His work is conducted within AFIT’s research ecosystem, involving collaborations with the Air Force Research Laboratory (AFRL), Boeing, and academic partners. He leads projects under the Aerial Refueling Systems Advisory Group (ARSAG) and presents regularly at ION, AIAA, and IEEE conferences.
