Francois Husson is a Full Professor at the French Higher Education Institution in Agriculture, Food, Horticultural and Landscape Sciences, affiliated with the Department of Statistics and Computer Science in Rennes, France. His research focuses on multivariate data analysis, missing data imputation, and sensory analysis. Key methodologies: Principal Component Analysis (PCA), Multiple Factor Analysis (MFA), Multiple Correspondence Analysis (MCA) Software contributions: FactoMineR, SensoMineR packages in R Recent work includes: Dementia detection using longitudinal data from SHARE surveys Missing value imputation via multilevel singular value decomposition and data depth Applications in sensory analysis of food products and clinical studies His publications span statistical theory, biomedical research, and food science, with a strong emphasis on computational methods and open-source tools.
Christopher Timperley is a Senior Systems Scientist in the Software and Societal Systems Department at Carnegie Mellon University, with additional appointments in the Robotics Institute and National Robotics Engineering Center within the School of Computer Science. His work is primarily conducted in the context of squaresLab. Timperley's research focuses on the intersection of software engineering, robotics, and program analysis, with particular emphasis on developing techniques for automatically detecting, locating, and repairing faults in large-scale software systems. His recent work has applied these techniques specifically to robotics systems, particularly autonomous vehicles. His research interests span search-based software engineering and testing, with applications in security and privacy, embedded systems security, formal methods for security, intrusion and anomaly detection, and security of AI and ML systems. His recent publications demonstrate a strong focus on robotics software systems, particularly those built using ROS (Robot Operating System). His work addresses critical challenges in robotics software development including architecture misconfigurations, behavioral modeling, test automation through simulation, and empirical studies of the robotics ecosystem. The publications reveal a consistent theme of applying software engineering principles to improve the reliability and security of robotics systems. Timperley received his Ph.D. in computer science from the University of York, UK, with a dissertation on search-based program repair under the supervision of Professor Susan Stepney. His work bridges theoretical advances in software engineering with practical applications in robotics, contributing significantly to the development of more robust and reliable robotics software systems.
Associate Professor Heiner Heimes serves as Chair of Production Engineering of E-Mobility Components at RWTH Aachen University . His work focuses on advanced manufacturing technologies for electric mobility, including battery systems, fuel cells, and sustainable production processes. Member of the Institute Management Contact: h.heimes@pem.rwth-aachen.de Research interests span battery technology , fuel cell systems , production engineering , and electric mobility solutions . His recent publications emphasize techno-economic models, defect detection, and process optimization in EV battery manufacturing. Key article trends include solid-state batteries , laser-based drying , automated disassembly , and AI-driven production , reflecting his contributions to scalable, sustainable e-mobility infrastructure. Scientific awards: As a collaborator in numerous studies, Heimes contributes to advancing dynamic capability models for electric mobility and optimizing hairpin stator production . His work addresses challenges in battery recycling, thermal management, and Industry 4.0 implementation.
Rui Silva Moreira is an Associate Professor at Universidade Fernando Pessoa with a PhD in Computer Science (Distributed Systems) from Lancaster University (2003). His research focuses on middleware for dynamic adaptation, mobile computing, and digital libraries. Academic Qualifications PhD, Computer Science (Distributed Systems), Lancaster University (2003) MSc, Electrical and Computer Engineering, FEUP (1995) BSc, Electrical and Computer Engineering, FEUP (1992) Research positions include: at INESC - Telecommunications Unit (1996-present) and CMUP - Multimedia Center (1993-1997). He has supervised numerous Master's and PhD students in topics related to smart healthcare spaces, usability for elderly users, and mobile systems. His publications focus on distributed systems architecture, reflective components, middleware solutions, and multimedia adaptation. Teaching areas include Distributed Systems, Mobile Computing, Programming Languages, and Multimedia. Email contacts: rmoreira@ufp.pt rjm@inescporto.pt
Daniel C. Côté serves as Full Professor in the Department of Physics, Physical Engineering and Optics at Laval University's Faculty of Science and Engineering. His research integrates laser physics, optical engineering, and neuroscience to develop cutting-edge imaging technologies for visualizing brain structure and function in health and disease, with particular focus on neurodegenerative conditions including multiple sclerosis, Alzheimer's, and Parkinson's disease. Professor Côté's research program centers on three interconnected objectives: developing novel optical contrast mechanisms for biological imaging, building specialized devices optimized for life science applications, and combining these technologies for innovative neuroscience research. His work leverages coherent Raman microscopy, polarization-sensitive optical coherence tomography, and fiber-based endoscopy to achieve cellular-resolution imaging of live neural tissue, enabling real-time observation of myelin deterioration and neuronal activity in neurodegenerative models. Recent publications (2023-2025) reveal a pronounced shift toward clinical translation, with 70% of his work now focused on surgical applications including deep brain stimulation guidance, intraoperative tissue classification, and retinal biomarker development for neurological disorders. His team consistently pioneers multimodal imaging approaches that combine spectroscopic, polarimetric, and structural analysis to solve complex diagnostic challenges in neurosurgery and neurology. Professor Côté has received significant recognition for his interdisciplinary contributions: Summa awards from Laval University's Faculty of Science and Engineering (2024) Brockhouse Canada Prize for Interdisciplinary Research in Science and Engineering (2018) He actively mentors graduate students including Damon DePaoli (winner of Best Overall Poster Presentation at the Canadian Neuromodulation Society meeting). His research is supported by competitive grants such as the 2024 FRQNT team award with Caroline Ménard for developing intelligent monitoring systems for anorexia models, demonstrating his expanding research portfolio across neurological and psychiatric conditions. Professor Côté directs the DCC Lab within the CERVO Brain Research Centre and Centre for Optics, Photonics and Lasers, fostering a collaborative environment where physicists, engineers, and neuroscientists jointly develop next-generation neuroimaging tools. The lab maintains strong partnerships with clinical researchers at Quebec's Institute of Neuroscience and Cognition, accelerating the translation of optical technologies from bench to bedside.
Dr.-Ing. Rainer Niekamp is a Researcher at the Department of Civil Engineering, Faculty of Engineering, University of Duisburg-Essen, where he has worked since 2016. He holds a diploma and doctorate in mathematics with a focus on computational mechanics and stochastic modeling. Studied mathematics and computer science at the University of Hannover (1986–1993) Doctoral degree in Civil Engineering from the University of Hannover (2000) Rainer Niekamp’s research spans computational mechanics, multiscale modeling, and stochastic methods. His work includes polynomial chaos expansion for data-driven modeling, partitioned systems for coupled simulations, and parallel software frameworks for large-scale problems. He specializes in model reduction , nonlinear dynamics , and component-based software engineering . His publications highlight multiphysics problems (e.g., thermo-mechanical coupling in steel processing, offshore wind energy converters) and software architecture for scientific computing. He has supervised numerous theses on topics like PeriDynamics simulations , multi-objective optimization , and heterogeneous network modeling .
Cláudia Nalon is a full professor at the Department of Computer Science at the University of Brasília, where she has established herself as a leading researcher in modal logic and automated reasoning. Her academic career spans over two decades with continuous contributions to theoretical foundations and practical implementations of reasoning systems. Research Profile Professor Nalon specializes in proof methods for combined modal logics, particularly those allowing interaction between different logical components. Her PhD work focused on resolution-based methods for interactions between linear-time temporal logic and multi-modal S5. She has developed tableau-based methods for temporal logics of knowledge with both no learning and perfect recall scenarios. Her expertise extends to the theoretical foundations and implementation of reasoning tools for normal modal logics, including systems with symmetry, reflexivity, seriality, transitivity, and Euclideaness. More recently, she has pioneered resolution methods for Coalition Logics, a non-normal modal logic for reasoning about cooperative agency. Publication Trends Analysis of her 15 most recent publications (2020-2024) reveals consistent focus on modal logic reasoning with particular emphasis on resolution methods, reduction techniques, and model construction. Her work demonstrates a strong connection between theoretical foundations and practical implementations, with numerous papers presenting evaluated theorem-proving techniques and their applications. The publications span major venues in automated reasoning including IJCAR, TABLEAUX, and CADE. Professional Service Editorial board of The IfCoLog Journal of Logics and their Applications (since 2015) Editorial board of Annals of Mathematics and Artificial Intelligence (2025-2027) Steering committee for LSFA (2018-2021), TABLEAUX (2016-2023), CADE (2021-2024) Executive committee of the Brazilian Logic Society (2017-2021) Program committees for over 30 international conferences from 2010 to 2025 Mentorship and Software Development Professor Nalon has supervised multiple student projects resulting in significant software implementations for modal logic reasoning. She has personally developed several theorem provers including ltl2snf (for temporal logic translation), KSP (for multimodal K), and CLProver (for Coalition Logic). Her mentorship has produced numerous student-led implementations that extend these systems, demonstrating her commitment to training the next generation of researchers in formal methods. Community Building Professor Nalon has been instrumental in establishing research communities focused on logic and automated reasoning in Brazil. She served as co-chair for TABLEAUX 2017 in Brasília and has organized multiple editions of the Brazilian Logic Workshop (WBL). Her work with the LSFA workshop series has fostered a strong international community of researchers in logical and semantic frameworks.
Julian Kalinowski is a researcher at the University of Hamburg's Department of Computer Science within the Faculty of Mathematics, Informatics, and Natural Sciences (MIN). His work focuses on distributed systems, blockchain technology, and middleware integration for mobile environments. Key projects include Jadex BDI Agent System and the cadeia initiative for distributed code execution in information markets. PhD candidate in Computer Science Email: kalinowski@informatik.uni-hamburg.de Room F510, Office hours by appointment Research interests span decentralized information markets, blockchain compliance (e.g., GDPR), and mobile middleware optimization. His 2015 best paper award at MATES conference highlights contributions to agent platform customization. Publications from 2012-2020 reveal trends in blockchain applications, smart grid optimization, and IoT security. Supervised 9 student theses covering decentralized billing, smart home systems, and localization technologies. Key awards: Best Paper Award (MATES-2015).
Gordon Blair is a Professor of Distributed Systems at the Lancaster University School of Computing and Communications , with an Adjunct Professor role at the University of Tromsø, Norway. He co-founded the ACM/IFIP/USENIX Middleware Conference and serves on its steering committee, alongside roles as Co-Editor-in-Chief of Springer's Journal of Internet Services and Applications. Ph.D. in Computer Science (Strathclyde, 1983) B.Sc. in Computer Science (Strathclyde, 1980, 1st Class Hons) His research spans distributed systems architecture , middleware , and model-driven engineering , with applications to environmental science through cloud computing and Internet of Things technologies. Recent work integrates environmental impact analysis with digital innovation, as highlighted in his EPSRC Senior Fellowship . Publications include foundational work on middleware interoperability and adaptive systems , alongside applied studies on digital sustainability and ecological data science . Awards include the EPSRC Senior Fellowship , and he mentors PhD students in areas like environmental informatics and runtime models . Labs & Groups Co-director, Centre of Excellence in Environmental Data Science (CEEDS) (Lancaster University + CEH) Theme Lead, Lancaster Data Science Institute (DSI) - Environment Theme Co-founder, HighWire CDT (Digital Economy Centre)
Honorary Senior Clinical Lecturer at the University of Aberdeen's School of Medicine, Medical Sciences and Nutrition with clinical practice in the Radiology Department at Aberdeen Royal Infirmary. Specializes in neuroradiology with expertise in stroke imaging, brain tumor diagnostics, and advanced MRI techniques including Fast Field Cycling MRI. Active researcher leading multiple clinical trials and maintaining strong ties between NHS Radiology and academic research. Educational background includes: BSc (Hons) in Medical Science MBChB medical degree Fellowship of the Royal College of Radiologists (FRCR) Fellowship of the Royal College of Physicians (FRCP) Research focuses on translational neuroimaging with particular emphasis on stroke pathophysiology, brain tumor characterization, and dementia biomarkers. Pioneering work in Fast Field Cycling MRI for brain lesion analysis and hippocampal atrophy measurement in aging populations. Research methodology spans advanced statistical analysis using R software, specialized imaging protocols in PACS systems, and multi-center clinical trial coordination. Current projects investigate biomarkers for traumatic brain injury and refine diagnostic pathways for cerebrovascular emergencies. Publications reveal strong concentration in cerebrovascular disorders (40%), neurodegenerative imaging (25%), and skull base pathology (15%), with growing interest in emergency department neurodiagnostics. Methodological expertise prominently features quantitative imaging analysis and biomarker validation. Professional recognition includes: Fellow of the Royal College of Radiologists Fellow of the Royal College of Physicians Teaching responsibilities encompass MBChB Year 2 neurovascular anatomy lectures, cerebral aneurysm instruction, stroke syndrome education, and serving as a neurosurgical tutor for Aberdeen's FRCS(Neurosurgery) viva course. Active supervision of medical students and radiology registrars on research projects including systematic reviews of meningioma recurrence and glioblastoma presentations. Principal Investigator for Fast Field Cycling MRI studies and named radiologist for major trials (DASH, DexEnceph, TWIST, TRIMETHS). Maintains active research collaboration through the Aberdeen White Matter Dissection Course and integrates clinical practice with academic innovation through NHS-university partnerships. Current work focuses on validating novel biomarkers for emergency neurodiagnostics and refining imaging protocols for early dementia detection.
Ebru Sayılgan is an Assistant Professor at the Mechatronics Engineering Department of the Faculty of Engineering , Izmir University of Economics . She has served as Vice Dean (2024–present) and Coordinator for ERASMUS Exchange Programs (2021–present). Education : BSc/MSc in Mechanical Engineering (2013/2016) from Karadeniz Technical University , PhD in Biomedical Technologies (2020) from Izmir Katip Celebi University . Research Interests include biomedical signal processing , deep learning , machine learning , biomechatronics , and medical device design . She focuses on Brain-Computer Interfaces (BCIs) using EEG/ERP methods and rehabilitation robotics (e.g., low-cost wrist rehabilitation robots, hip implants). Her work integrates machine learning and signal processing for clinical applications. Journal articles cover topics like SSVEP analysis , ICA for EEG classification , and finite element analysis in implant design . Thesis Advisor to Hezzal Küçükselbes and Mehmet Furkan Çolak . She managed TUBITAK-funded projects on BCI-controlled wrist rehabilitation robots and hip implant prototyping . Editorial Work : Editor for Journal of Intelligent Systems with Applications (2022–2023).
Marcin Luczkowski serves as an Associate Professor in the Department of Structural Engineering at the Norwegian University of Science and Technology (NTNU), Faculty of Engineering. His research focuses on developing form finding methods for shells and long span structures, with special emphasis on digital fabrication and mass customization. He is a key member of the Conceptual Structural Designing Group where he investigates new numerical methods to improve building processes and bridge the gap between design and manufacturing. His research interests include structural optimization, parametric design, building information modeling (BIM), and computational methods for structural engineering. Luczkowski's work centers on creating better numerical methods for form finding, improving building process quality, adapting parametric platforms for structural engineering according to manufacturing changes, and developing more effective usage of BIM and FEM for digital fabrication. His recent publications reveal a growing focus on sustainable construction practices, particularly circular economy principles applied to timber structures and material reuse. His research publications from 2016-2025 demonstrate consistent contributions to structural engineering, with increasing emphasis on interdisciplinary approaches combining architecture, engineering, and computational methods. Recent work shows significant interest in circular economy applications within structural engineering, particularly regarding timber construction and material reuse. His technical expertise spans from fundamental structural design to advanced computational tools development, including Grasshopper plugins for finite element analysis. Luczkowski has received recognition for his innovative approaches to structural design, particularly in the areas of timber gridshells, parametric detailing of structural connections, and the integration of architectural considerations into structural engineering education. His work on aluminum nodes for timber gridshells and matching algorithms for reclaimed building elements demonstrates practical applications of his research. As an educator, he teaches structural design courses and has participated in numerous academic lectures and conferences worldwide, presenting on topics ranging from parametric approaches to design to digital workflows for timber free-form structures. His teaching philosophy appears to emphasize the integration of architectural considerations into structural engineering education, as evidenced by his research on improving structural engineering curriculum through architectural inclusion.
Mohammad Ali Darvish is a Senior Lecturer in the Department of Computer Science at Johns Hopkins University , specializing in software engineering , software testing , and computer science education . He has held teaching positions since at least 2006 and currently works from Malone Hall in Baltimore, Maryland. Education PhD in Computer Science (2015), Iowa State University MSc in Software Engineering (2010), Chalmers University of Technology, Sweden His research focuses on improving software testing methodologies , particularly for graphical user interfaces , and developing automated testing frameworks . He also contributes to computer science education reform , most notably through the Gateway Computing curriculum for engineering majors. Recent publications demonstrate expertise in: GUI Testing (2014-2015) Health Informatics (2011) Software Verification (2010) AI Research Frameworks (2006) Contact: darvish@jhu.edu | Department Website | Google Scholar
Georg Weissenbacher is a Professor at Vienna University of Technology , affiliated with the Network Lab and the research area of Formal Methods in Systems Engineering . His academic work focuses on software verification , formal methods , and concurrent systems . University: Vienna University of Technology Research Area: Formal Methods in Systems Engineering Academic Rank: Professor Education: D.Phil. Univ.Prof. Dipl.-Ing. Research Interests : Weissenbacher's work centers on formal verification techniques for software and hardware systems. Key areas include: Hyperproperties : Analyzing properties of systems involving multiple execution traces, such as security and robustness. Model Checking : Applying bounded model checking to automotive software (e.g., AUTOSAR components) and concurrent systems. Symbolic Execution : Leveraging symbolic execution for bug detection in programs with complex behaviors like speculative execution. Concurrency Bugs : Formalizing heisenbugs and developing methods to extract safe thread schedules from incomplete model checking results. Automated Reasoning : Improving interpolation-based techniques and SAT solvers for program analysis and fault localization. Publication Trends : His recent articles (2024-2025) emphasize symbolic execution for hyperbug detection, machine learning in security verification, and automotive software validation. Earlier works (2023-2021) explore model checking , mutation testing , and concurrent system analysis . Projects : He leads initiatives such as: Abstraction-based Parameterized TLA Checker Bit-level Accurate Reasoning and Interpolation Tools for Concurrent and Distributed Systems LogiCs-Stipendien (Formal Methods in Computer-Aided Design) Collaboration and Supervision : Weissenbacher co-edits conference proceedings (e.g., FMCAD 2023 , CAV 2018 ) and supervises students in formal verification, including Andreas Fellner (model-based mutation testing), Emmanuel Pescosta (speculative non-interference), and Tobias Nießen (hyperproperty counterexamples).
Neil King, PhD , is an Associate Professor in the Department of Biochemistry at the University of Washington School of Medicine and Deputy Director of the Institute for Protein Design . His research focuses on computational protein design for creating self-assembling protein nanomaterials with applications in vaccine development , targeted drug delivery , and hybrid biomaterials . Education: PhD in Biochemistry (UCLA, Todd Yeates Lab) BS in Biomedical Engineering (Northwestern University) His research interests span: Developing atomic-level accurate nanomaterials using computational tools Next-generation structure-based vaccines for influenza and coronaviruses Membrane-interacting hybrid materials inspired by viral mechanisms Extending design capabilities to machine learning-driven platforms The article trends demonstrate a progression from foundational computational methods (Bale et al., 2016; Sheffler et al., 2023) to AI-enhanced vaccine platforms (2025 preprints) and hybrid biomaterials (Herpoldt et al., 2024; Butterfield et al., 2017). Key subfields include self-assembly algorithms , antigen presentation , membrane fusion systems , machine learning integration , malaria vaccine platforms , and deep mutational scanning . Neil leads a translational research group that combines de novo protein design with preclinical evaluation , supported by grants from the Open Philanthropy Project . His lab has mentored students like Priya (Distinguished Researcher award), Cameron Criswell (PhD graduate), and Cara Chao (PhD graduate).
