Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.
Dr. Huadong Mo is a Senior Lecturer at the School of Systems and Computing, University of New South Wales (UNSW) Canberra, Australia. He holds a B.E. degree in automation from the University of Science and Technology of China (2012) and a Ph.D. in systems engineering and engineering management from the City University of Hong Kong (2016). Prior to his current position, he was a research associate at ETH Zurich's Reliability and Risk Engineering Lab (2016-2019) and a Lecturer at UNSW Canberra (2019-2021). Dr. Mo's educational background includes a strong foundation in systems engineering with international experience across China, Switzerland, and Australia. His career trajectory demonstrates a progression from academic research to faculty positions with increasing responsibilities in teaching and research leadership. His research focuses on enhancing the resilience, performance, and security of complex systems using learning-based algorithms, primarily in power and energy systems, cyber-physical systems, and manufacturing systems. He applies data analytics to understand system evolution under uncertainties, with particular emphasis on prognostics and health management, sustainable transportation, robust operation of power systems under extreme events, and reinforcement learning-based asset management. His work bridges theoretical advances with practical applications in critical infrastructure. Analysis of Dr. Mo's recent publications reveals a strong focus on energy systems, particularly in the integration of machine learning with power grid management, battery storage systems, and resilience against cyber threats. His research shows a clear trajectory toward increasingly complex system integration, with growing emphasis on multi-vector energy communities, cross-domain prediction, and uncertainty-aware energy management. The interdisciplinary nature of his work spans electrical engineering, computer science, and operations research. 2024 IEEE SMC Early Career Award 2023 Visiting Research Fellowship (Jean d'Alembert Pour Fellowship) Gold Medal in 2024 China International College Student Innovation Competition (as supervisor) Arc PGC Supervisor Award (2021) IEEE SMC Outstanding Chapter Award (2021) Alumni Achievement Award from City University of Hong Kong (2019) Dr. Mo actively supervises numerous HDR students working on cutting-edge research topics including battery health monitoring, quantum control, reinforcement learning for power systems, and explainable AI for energy management. He leads multiple significant research grants totaling over 3 million AUD, including projects funded by ARC, Energy Innovation Fund, and international collaborations with institutions like ETH Zurich, Cambridge, and Tsinghua University. His research group maintains strong international connections, facilitating student exchanges and collaborative research. As Postgraduate Course Coordinator of Systems Engineering and Chair of IEEE SMC ACT Chapter, Dr. Mo plays a significant role in academic leadership and professional community building. His research team collaborates with industry partners on practical implementations of their theoretical work, particularly in the energy sector.
Alberto Macii is a Full Professor in the Department of Control and Computer Science (DAUIN) at Polytechnic University of Turin. He is also a member of the Interdepartmental Center IAM@PoliTo - Integrated Additive Manufacturing and serves on two colleges: College of Computer, Film and Mechatronics Engineering and College of Mechanical, Aerospace and Automotive Engineering. His research interests include: Digital circuits and systems Electronic systems, modeling, and simulation Energy-efficient circuits and systems Energy management and battery systems Embedded systems and cyber-physical systems Low energy building technologies His work aligns with several Sustainable Development Goals including affordable and clean energy (Goal 7), industry innovation and infrastructure (Goal 9), and sustainable cities and communities (Goal 11). His publication record shows a consistent focus on energy efficiency in electronic systems spanning over two decades, with particular emphasis on battery modeling and power management. Recent work has expanded into environmental applications with transformer neural networks for flood forecasting, demonstrating the evolution of his research into new application domains while maintaining core expertise in energy optimization. His scientific awards include: Best paper award ACM/IEEE Great Lakes Symposium on VLSI (2008) IEEE Fellow (2007-) Senior Member IEEE He has served as Editor-in-Chief for the Journal of Embedded Computing (2005) and as Program Chair for EUC2005: Embedded & Ubiquitous Computing. Professor Macii has advised PhD students including Alberto Bocca (2019-2023) whose thesis focused on compact modeling techniques for energy analysis and optimization of complex systems. He has led numerous research projects including CANP (2018-2020), R3-PowerUP (2017-2021), SERENA (2017-2020), AMable (2017-2021), and STAMP (2016-2019), demonstrating sustained research leadership across multiple funding mechanisms. He is active in the EDA - Electronic Design Automation research group and LAB 4 research laboratory at DAUIN, with research spanning VLSI-CAD, Smart City technologies, and Industry 4.0 applications. His work bridges theoretical computer engineering with practical applications in energy conservation across multiple domains.
Professor Jim Haseloff is a faculty member at the University of Cambridge, serving as Head of the Synthetic Biology for Engineering Plant Growth Group within the Department of Plant Sciences, School of Biological Sciences. His research focuses on applying engineering principles to construct new genetic systems in plants, with particular emphasis on using Marchantia polymorpha as a model system for understanding and engineering plant growth and development. Professor Haseloff's research interests span synthetic biology, genetic circuit design, plant transformation technologies, and the development of low-cost tools for biological research. His laboratory develops novel DNA tools and imaging techniques for visualizing, manipulating, and modeling genetic interactions and morphogenesis in plants. His work bridges the gap between fundamental plant biology and applied engineering approaches to reprogram plant development and physiology. The lab has established Marchantia polymorpha as a simplified model system with a streamlined genome, haploid genetics, and an open form of development ideal for quantitative analysis. Analysis of Professor Haseloff's recent publications reveals a strong focus on advancing the Marchantia model system for synthetic biology applications. His work spans genetic tool development, chloroplast engineering, plant sensing technologies, and fundamental developmental processes. Notably, his research increasingly integrates low-cost sensing technologies with traditional plant biology, reflecting his commitment to making synthetic biology more accessible worldwide. Professor Haseloff is actively involved in several major initiatives including OpenPlant (promoting open technologies for plant synthetic biology), Biomaker (funding construction of low-cost devices for biology), and the Engineering Biology IRC. He has taught undergraduate courses on Plant and Microbial Sciences (NST PMS 1B), Plant Development (NST CDB 1B), and Synthetic Biology (NST PS 2), with extensive teaching materials publicly available online. His laboratory has pioneered techniques for cell-free expression systems that are 200-400 times cheaper than commercial versions, low-cost microreactors using 3D-printed components, and innovative in vivo plant sensing devices. The group has developed extensive resources for the plant synthetic biology community, including standardized DNA parts, microscopy techniques, and educational materials for no-code programming in biology.
Dr. Lilianna Wojtynek is a Lecturer at the Department of Logistics, Faculty of Production Engineering and Logistics, Opole University of Technology. Her academic career focuses on logistics, production engineering, and industrial safety. Current Position: Lecturer in Logistics Department: Logistics School: Faculty of Production Engineering and Logistics University: Opole University of Technology Research interests span logistics systems, quality management, and transportation safety. Key themes include: Lean methodologies (5S, supply chain optimization) Industry 4.0 applications in logistics Risk analysis in transportation and logistics Production process planning and decision modeling Articles trends emphasize industrial safety, logistics efficiency, and technology integration in transportation. Notable subfields include dynamic forklift testing, BRT systems, and hazardous material storage.
Prof. Dr.-Ing. Udo Fiedler is a faculty member at the Technical University of Central Hesse (THM), Department of Business Administration and Economics, where he serves as Head of the Production Engineering Laboratory and Member of the Senate. His academic work focuses on manufacturing engineering with specialization in high-speed machining, production processes, and machine tools. His research interests include: High-Speed Machining (HSC) and precision manufacturing Green machining of sintered parts in the green state Process optimization using statistical experimental design Machine tool technology and NC programming Industry 4.0 applications in manufacturing education Process monitoring and control for increased manufacturing safety Prof. Fiedler's publication record demonstrates an evolution from fundamental machining processes toward integrating AI with traditional manufacturing. His recent work shows strong emphasis on applying artificial intelligence to quality prediction, optimizing green machining processes, and implementing Industry 4.0 concepts through learning factory approaches, bridging traditional manufacturing engineering with modern digital technologies. His significant scientific contributions include: Development of methods for NC programming of complex workpieces Research on stability lobe diagrams for milling processes Studies comparing different production methods including HSC, EDM, and generative processes Work on mechatronic tool holders for process monitoring Applications in the ophthalmic industry for precision machining of spectacle lenses Prof. Fiedler teaches multiple courses at THM including Factory Planning/Ergonomics, Handling and Assembly Technology, Innovative Manufacturing Processes, and Machine Tools at the bachelor's level, and Learning Factory 1 and 2 at the master's level. He leads current research projects including Klag-Robotics (2023-2025), Loewe Project OST (2018-2021), and GrünSpan (2014-2015), demonstrating sustained research activity across multiple manufacturing domains.
Nuno Miguel Fonseca Ferreira is a Full Professor at the Instituto Superior de Engenharia de Coimbra (ISEC), part of the Polytechnic of Coimbra, where he currently serves as President of the Scientific Council. His academic career spans over 25 years at ISEC, progressing from Assistant to Professor Coordenador Principal. He has held significant leadership positions including Vice-President of ISEC (2001-2005), Pro-President of the Polytechnic of Coimbra (2009-2010), President of ISEC (2010-2013), and Vice-President of the Polytechnic of Coimbra (2013-2017), where he was responsible for internationalization initiatives. His educational background includes a degree in Electrical Engineering from the University of Porto (1996), a Doctorate in Electrical Engineering from the University of Trás-os-Montes and Alto Douro (2006), and a Habilitation Title (Aggregation) from the same institution (2020). His research focuses on Robotic Systems, with specialization in cooperative robotic systems as evidenced by his Habilitation work. Professor Ferreira's research spans multiple domains of robotics and intelligent systems, with particular emphasis on multi-robot coordination, environmental applications, and medical robotics. His work bridges theoretical control systems with practical applications across diverse fields including forestry, healthcare, manufacturing, and education. He has developed innovative approaches to robotic manipulation, sensor integration, and human-robot interaction, often incorporating advanced techniques from artificial intelligence and machine learning. His recent publications demonstrate a strong trend toward practical applications of robotics in real-world environments, particularly in forestry maintenance, industrial automation, and medical applications. The research shows progression from theoretical control systems to applied robotics in challenging environments, with increasing integration of computer vision, deep learning, and collaborative systems. His work spans both fundamental robotics research and immediate industrial applications, reflecting a balance between academic inquiry and practical implementation. Professor Ferreira has supervised two doctoral theses and participated in numerous research projects with substantial funding. His leadership extends to coordinating 15 of the 33 national and international R&D projects he has participated in, demonstrating significant grant acquisition and management capabilities. His international collaborations through Erasmus+ and other European programs highlight his role in fostering global research partnerships. He is an integrated member of GECAD (Research Group in Engineering and Intelligent Computing for Innovation and Advanced Development), a Portuguese R&D unit classified as Excellent by the Portuguese Science and Technology Foundation. Additionally, he is a member of LASI (Associated Laboratory for Intelligent Systems), the Portuguese laboratory associated with Artificial Intelligence, connecting him to a broader national research ecosystem.
Prof. Dr.-Ing. Maria Francesca Spadea serves as Director of the Institute of Biomedical Engineering (IBT) at Karlsruhe Institute of Technology (KIT), part of the Helmholtz Association. Her leadership role includes overseeing research initiatives, teaching activities, and administrative responsibilities within the institute. Located in space 512, she maintains regular consultation hours on Wednesdays from 10:30-11:30 am by appointment. Professor Spadea's research spans several cutting-edge areas in biomedical engineering, with particular focus on medical image processing, artificial intelligence applications in healthcare, and radiomics. Her work bridges computational techniques with clinical applications, emphasizing practical solutions for medical imaging challenges. She has pioneered approaches in federated learning for medical image translation, particularly in CT/MRI synthesis for radiation therapy applications. Her research also extends to cancer cell analysis, vascular biomechanics, and medical robotics, demonstrating a broad yet cohesive research portfolio that addresses critical challenges in modern healthcare. Analysis of Professor Spadea's recent publications reveals a strong emphasis on AI-driven medical imaging solutions, particularly in the translation between different imaging modalities (like MRI-to-CT) using federated learning approaches that preserve patient privacy. Her work demonstrates growing specialization in radiation therapy applications, with multiple publications addressing synthetic CT generation for treatment planning. There's also a clear trajectory toward multi-institutional collaboration, as evidenced by her involvement in projects spanning multiple research centers across Europe. Professor Spadea actively mentors numerous students, including M. Krohmer Zabaleta, N. Skupien, and M. Destito, who have completed bachelor's and master's theses under her supervision. Her research group appears well-integrated within the broader Institute of Biomedical Engineering, collaborating extensively with colleagues like P. Zaffino and C.B. Raggio on multiple projects. The group maintains strong connections with clinical partners, as evidenced by publications addressing real-world medical challenges in radiation therapy, cardiology, and neurosurgery. The research activities of Professor Spadea's team are centered within the Institute of Biomedical Engineering at KIT, with particular focus on medical imaging processing and AI applications. Her laboratory appears to specialize in developing computational tools for medical image analysis, with recent work emphasizing privacy-preserving federated learning frameworks that enable multi-institutional collaboration without sharing sensitive patient data. The team maintains active collaborations with clinical departments, particularly in radiation oncology, as evidenced by numerous publications addressing CT synthesis for radiation therapy planning.
Dr. Elaine Chen serves as Senior Lecturer in Business Analytics and Course Leader for the MSc Business Analytics and Artificial Intelligence at Nottingham Business School, Nottingham Trent University. Her teaching emphasizes practical applications of data and AI technologies for business decision-making, with dedicated focus on accessibility for diverse student backgrounds across technical and strategic domains. Her academic credentials include: PhD in Computing Science MSc in Business Information Technology Postgraduate Certificate in Academic Practice BTech (Hons) in Business Information Systems Chen's research bridges educational and business contexts through data-AI integration: Generative AI adoption in higher education, particularly for neurodivergent/disabled students Human-AI collaboration frameworks in organizational settings SME applications for AI-driven efficiency and competitiveness Workforce analytics and talent management systems Her work consistently connects technical AI capabilities with real-world implementation challenges. Publication analysis (2023-2025) reveals accelerating focus on generative AI's educational impact and business strategy integration, evolving from her foundational work in social recommender systems (2014-2020) which established methodologies now applied to contemporary AI challenges in business contexts. Her professional recognition includes: Senior Fellow of the Higher Education Academy (HEA) Chen actively supervises PhD candidates in AI education, human-AI collaboration, and workforce analytics domains. Her pedagogy leadership includes designing accredited business analytics curricula and securing teaching innovation projects with documented outcomes in student engagement metrics. Prior industry experience as an automation engineer at Intel informs her practical approach to AI implementation. Current initiatives focus on generative AI ethics frameworks and longitudinal SME adoption studies, extending her established research trajectory into emerging business technology challenges.
Joergen Kornfeld is a researcher at the University of Cambridge, affiliated with the MRC Laboratory of Molecular Biology (LMB) in the Connectomics of Learned Behaviour group. His work focuses on understanding how learned behaviors are encoded in neural circuits through connectomic analysis. Institution: University of Cambridge Role: Connectomics Researcher Research Interests: • Connectomics and synaptic connectivity mapping • High-throughput 3D electron microscopy • Deep learning applications in neural network analysis • Behavioral memory storage mechanisms • Comparative neuroanatomy of learned behaviors • Computational modeling of neural circuits. Recent publications highlight his expertise in developing deep learning tools (e.g., DeepFocus, SyConn2) for connectomic reconstruction, with applications in zebra finch song learning and larval zebrafish neural circuits. His work bridges advanced imaging techniques, computational methods, and behavioral neuroscience. Techniques: High-throughput 3D electron microscopy, flood-filling networks Model Systems: Zebra finch, larval zebrafish
Prof. Dr. Mehmet Reşit Tolun is a full-time Professor in the Department of Software Engineering at Çankaya University (Turkey) since 2022. Previously held full-time professor positions at Konya Food and Agriculture University (2020-2022), Aksaray University (2013-2017), and TED University (2011-2013), along with a part-time professorship at Başkent University (2017-2020). Specializes in Artificial Intelligence , Machine Learning , and Data Mining , with a focus on deep learning applications in aerospace, biomedical data analysis, and software process improvement. PhD in Computer Science (University of Kent, 1985) MSc in Computer Science (University of Kent, 1982) BSc in Physics and Computer Science (University of Kent, 1981) Research Interests span deep learning frameworks, hybrid expert systems, software engineering methodologies, and biomedical signal processing. Publications emphasize practical implementations in medical diagnostics, robotics, and agricultural pest detection. Scientific Awards include the IEEE Third Millenium Medal (2000). Supervised over 55 graduate students, including Burak Çetin, Uğur Özotuk, and Mahinur Doğan. Collaborated with researchers from Orta Doğu Teknik Üniversitesi , Çankaya University , and Aksaray University .
Lyndia Wu is an Assistant Professor in the Department of Mechanical Engineering at the University of British Columbia's Faculty of Applied Science, where she holds the prestigious Canada Research Chair in Wearable Brain Injury Sensing. She leads the SimPL (Sensing in Biomechanical Processes Lab) and maintains an active research program focused on biomechanics and medical device development. Her educational background includes: B.A.Sc. from the University of Toronto M.S. from Stanford University Ph.D. from Stanford University Postdoctoral Fellowship from Stanford University Dr. Wu's research program centers on developing novel sensing and data analytics technologies to study human biomechanics in health and disease states. Her primary research areas encompass brain injury or concussion biomechanics using advanced sensing, modeling, and machine learning approaches, as well as the development of innovative sensors and algorithms for studying sleep disorders like obstructive sleep apnea. She specializes in wearable sensors for brain health monitoring, traumatic brain injury mechanisms, and AI applications in healthcare settings. Analysis of her recent publications reveals a strong focus on sports-related head impacts (particularly in soccer), EEG monitoring following impacts, and sleep monitoring after concussions. Her work demonstrates interdisciplinary collaboration across biomechanical engineering, neuroscience, and clinical medicine, with publications spanning biomechanics, neurotrauma, biomedical instrumentation, and signal processing domains. Dr. Wu has received significant recognition for her work, including: Scholar Award from the Michael Smith Foundation for Health Research (2019) Junior Faculty Teaching Award from UBC Mechanical Engineering (2022) She actively supervises graduate students in Mechanical Engineering programs (MASc and PhD) and collaborates extensively across disciplines. Dr. Wu is affiliated with multiple research centers including the Institute for Computing, Information and Cognitive Systems (ICICS), Origins of Balance Deficits and Falls, and SmarT Innovations for Technology Connected Health (STITCH), reflecting her interdisciplinary approach to solving complex biomedical challenges. As director of the SimPL lab, she leads a research team developing cutting-edge sensing solutions for biomechanical processes with particular emphasis on brain injury prevention, monitoring, and recovery assessment through innovative engineering approaches.
Professor Jonathan Erichsen serves as Professor of Visual Neuroscience and Deputy Head of School within the School of Optometry and Vision Sciences at Cardiff University. With a distinguished career spanning several decades, he has established himself as a leading researcher in visual neuroscience and eye movement disorders. Professor Erichsen's research has evolved from early work on central near response pathways in the brain, including vergence and the pupillary light reflex, to a broader focus on eye movement disorders. His primary research interests include the control of visuomotor behavior, eye movement abnormalities in neurodegenerative conditions, and visual function assessment in individuals with nystagmus. He has pioneered innovative methodologies including stereotaxic surgery, immunohistochemistry, neural pathway tracing, and microstimulation in his investigations. His recent publications demonstrate a clear trend toward clinical applications of eye movement research, particularly in developing better assessment tools for visual function in nystagmus patients. The research spans from fundamental neuroanatomy to practical clinical tools, with significant contributions to understanding infantile nystagmus, Huntington's disease-related eye movement abnormalities, and visual function in children. His work increasingly integrates advanced eye tracking technologies with clinical applications. Professor Erichsen founded the Cardiff Research Unit for Nystagmus (RUN) approximately twenty years ago, establishing a large cohort of volunteers with infantile nystagmus to study how environmental factors like stress affect visual performance. More recently, he established the Eye Movement Experimental Research Group (EMERG) to expand research into eye movement abnormalities associated with neurodegenerative conditions including Huntington's disease, schizophrenia risk, and dystonia. His research has demonstrated that traditional measures of visual performance, such as visual acuity, are not significantly affected by changes in eye movements of individuals with nystagmus, suggesting the need for developing better outcome measures in clinical practice. Professor Erichsen remains actively involved in postgraduate supervision and continues to produce high-impact research in visual neuroscience.
Ebru Turanoglu Bekar is a Senior Lecturer at the Department of Industrial and Materials Science, Chalmers University of Technology, specializing in Smart Maintenance and Production Systems. She contributes to the Production Service Systems & Maintenance research group. Research Interests: Total Productive Maintenance (TPM), Artificial Intelligence applications in manufacturing, Multi-Criteria Decision Making, Performance Measurement systems Recent Focus: Development of data-driven algorithms for predictive maintenance, integration of digital twins in industrial contexts Key Projects: Factory SensAI (2025–2028) - Data integration for AI in manufacturing Trustworthy Predictive Maintenance TPdM (2022–2025)
Janet Smith is a Research Professor at the Life Sciences Institute, University of Michigan , specializing in structural biology and biochemical mechanisms. She has made seminal contributions to understanding protein structures in natural product biosynthesis, plant peptide macrocyclization, and viral RNA degradation pathways. Ph.D. in Biochemistry from University of Wisconsin-Madison Postdoctoral work with Wayne Hendrickson at Naval Research Laboratory Former Purdue Professor of Biological Sciences Visiting Scientist at European Molecular Biology Laboratory Her research focuses on: Structural analysis of enzymes in polyketide and ribosomal peptide biosynthesis Development of synchrotron-based methods for protein crystallography Mechanistic understanding of zinc-finger antiviral protein complexes Evolutionary control of enzymatic stereoselectivity Recent publications highlight her work on: New plant protein folds enabling cyclic peptide biosynthesis (2024 Nature Chemical Biology) Structural basis for macrolactone formation in antibiotics (2024 ACS Catalysis) High-resolution bacterial carbonic anhydrase structure (2025 Acta Crystallographica) Scientific recognition includes: National Research Council Research Fellowship (postdoctoral) Collaborative leadership in structural biology facilities at GM/CA@APS beamlines She contributes to international education through lectures on structural biology and synchrotron radiation. Her collaborative work with the Ohi Lab on KHNYN-ZAP complexes reveals novel viral RNA degradation mechanisms (2024 PNAS).
