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).
Vira Ivanivna Shmyrko is an Associate Professor at Zaporizhzhia Polytechnic National University with over 30 years of academic experience since 1991. She holds a Candidate of Technical Sciences degree and specializes in two distinct yet complementary fields: materials science for gas turbine engineering and psychophysiological safety. Zaporizhzhia Machine-Building Institute named after V.Ya. Chubar (1990), Engineering and Physics faculty Candidate's thesis in Materials Science (2001): "Evaluation and prediction of corrosion-mechanical and strength properties of materials of working blades under conditions of aggressive influence of gas turbine fuel" Her research spans two primary domains with increasing integration in recent years. Initially focused on materials science for gas turbine components, her work examined corrosion-mechanical properties and durability prediction of turbine blades under aggressive conditions. Since approximately 2015, her research has expanded significantly into occupational safety, psychophysiological safety, and emergency situation management, with particular emphasis on educational settings and wartime conditions. Her recent publications (2023-2025) demonstrate a sophisticated integration of these domains, especially in assessing psycho-emotional states of university students in frontline regions as a tool for labor protection. Her publication record shows consistent scholarly output with 30 scientific works including 2 patents. The most recent articles (2023-2025) reveal a strong focus on wartime safety challenges, particularly the psycho-emotional conditions of students in conflict zones, while maintaining her technical expertise in gas turbine materials. This dual focus reflects her ability to address both technical engineering challenges and human factors in safety management. Chest Sign "For Impeccable Work" III degree from Zaporizhzhia Polytechnic University (2020) Associated Member of the European Community for Occupational Safety and Health (ESOSH), registration No. 13823000217 (June 16, 2023) Professor Shmyrko actively contributes to academic development through participation in international scientific and pedagogical internships, including the VI International Scientific Congress "Society of Ambient Intelligence" (2023) and the International Scientific and Practical Conference "Business Ecosystems: Sustainable Development 2025" (February 2025). She teaches "Safety of life of a specialist with the basics of labor protection" and "Labor Protection in the Industry," connecting theoretical knowledge with practical safety applications. Her recent professional development includes specialized training in legislative acts on labor protection, occupational hygiene, first aid, electrical safety, and fire safety (March 2024). Based in classroom 22a at Zaporizhzhia Polytechnic National University (Zhukovsky Street, 64), Professor Shmyrko maintains an active research program that bridges traditional engineering materials science with contemporary psychosocial safety challenges, particularly relevant in Ukraine's current context.
Prof. Dr. Danijela Milošević is a Full Professor at the Department of Information Technologies, Faculty of Technical Sciences in Čačak, University of Kragujevac, Serbia. With a career spanning over two decades, she specializes in ontologies, intelligent educational systems, and e-learning. PhD in Intelligent Tutoring Systems (2007, Faculty of Organizational Sciences, Belgrade) Master's in Knowledge-Based Systems (1996, School of Electrical Engineering, Belgrade) Academician at the Military Technical Faculty in Zagreb (1991) Her research focuses on ontological engineering , adaptive learning environments , and AI-driven educational systems . She has led international projects like DL@WEB (2010-2013) and OP4L (2010-2012), and contributed to key publications including her monograph Ontološko inženjerstvo u inteligentnim tutorskim sistemima (2008). Notable contributions include: Developing LeMONT ontology-based learner modeling system Advancing e-learning standards for adaptive content delivery Pioneering cognitive approaches to web-based education She has collaborated with institutions in Greece, England, Romania, and Austria, and published over 70 scientific papers.
Dr. Ana Tatović is an Assistant Professor at the Faculty of Technical Sciences in Čačak , University of Kragujevac, Serbia. She specializes in Microwave Engineering and Filter Design , with a focus on Memristor Technology and Planar Technology . Education B.Sc. and M.Sc. in Microwave Engineering , University of Belgrade (2012–2013) Ph.D. in Electrical Engineering , University of Kragujevac (2019) Research Interests Dr. Tatović’s research centers on Microwave Filter Design , particularly compact and reconfigurable filters using dual-mode resonators and memristor-based switches. She explores applications in Telecommunications and Planar Technology for circuit optimization. Scientific Contributions Her recent work includes advancements in Dual-band Filters (2024), multilayer filter models (2017), and memristor-integrated microwave circuits (2016). Trends in her publications highlight miniaturization techniques, reconfigurable designs, and resonator technology. Scientific Awards ICT COST Action IC1401 participant (2014–2018), focusing on memristor applications in circuits. Advising and Labs She teaches Telecommunications Foundations , Microwave Techniques , and Circuit Theory . She is affiliated with the Computer Science Laboratory and Electrical Machines Lab at the Faculty of Technical Sciences in Čačak.
Dr. Jonas Peeck is a researcher at the Institute of Computer and Network Engineering (IDA), Braunschweig University of Technology. He teaches courses such as Introduction to Electronic Systems and Technische Informatik II for Bachelor students. His research focuses on time-critical communication processing of large data objects in safety-critical systems, with applications to autonomous systems, industrial automation, and robotics. Education PhD (Dr.-Ing.) in Computer and Network Engineering, TU Braunschweig, 2023 M.Sc. in Computer Science, TU Braunschweig, 2018 B.Sc. in Computer Science, TU Braunschweig, 2015 Jonas Peeck’s work examines sensor-to-actuator chains, prioritizing wireless communication reliability under resource constraints. His publications address real-time Ethernet protocols (TSN), CNN acceleration on multi-core processors, and error-resilient V2X data transmission. Key trends include data-centric communication, synchronization mechanisms, and resource-efficient middleware for autonomous systems. His research has been published in journals like ACM Transactions on Embedded Computing Systems and IEEE Transactions on Vehicular Technology , alongside conference papers at IEEE COMPSAC, RTSS, and IECON. Jonas Peeck’s work bridges theoretical analysis with practical implementations in mobility and industrial automation contexts.
Gregory NAIN is a researcher at INRIA Rennes, affiliated with the TRISKELL Team and Rennes 1 University. His work focuses on software engineering for home automation, middleware development, and adaptive systems. He has contributed to projects like S-Cube (a European network of excellence) and IDA (Innovation Domicile Autonomie), aiming to improve home control systems for dependent individuals. Projects: S-Cube, IDA, Kevoree Key Technologies: Middleware, Component-Based Applications, Model-Driven Engineering His publications span topics such as dynamic software product lines, fuzzy logic in touch-sensitive interfaces, and user interface adaptation. Gregory is also involved in teaching Java, embedded computing, and software modeling at the Master and Licence levels.
