Professor Hong Hao is a John Curtin Distinguished Professor at Curtin University, affiliated with the School of Civil and Mechanical Engineering and the Curtin Research Centre for Infrastructural Monitoring & Protection. His expertise spans Structural Dynamics, Earthquake Engineering, Blast and Impact Engineering, and Structural Health Monitoring. He holds prestigious roles like Fellow of ATSE, ISEAM, and ASCE, and has led organizations such as the International Association of Protective Structures and the Australian Earthquake Engineering Society. Education: BE (Tianjin University, 1982), MSc (UC Berkeley, 1985), PhD (UC Berkeley, 1989). Awards include the Tan Chin Tuan Fellowship and multiple Ko Medals. He has authored over 200 journal articles, with recent work focusing on blast-resistant materials, seismic fragility, and AI-driven structural health monitoring. His research emphasizes resilient infrastructure, including metaconcrete structures, corrosion-resistant materials, and sensor-based damage detection. Ongoing projects involve smart tunnel safety under BLEVE explosions and modular building systems.
Christian Hilbes is a Lecturer at the School of Engineering of Zurich University of Applied Sciences (ZHAW). He serves as Deputy Head of the Institute for Applied Mathematics and Physics (IAMP) and co-leads the research focus on Safety-Critical Systems. Active projects include leadership roles in Autonomous Predictive Interlock Systems , Personnel Safety Systems , and Triggering Conditions for Autonomous Cars . He specializes in STPA (Systems-Theoretic Process Analysis) , UML-based modeling , and Dynamic Flowgraph Modeling for safety-critical applications. Email: christian.hilbes@zhaw.ch His research integrates safety analysis with emerging technologies like autonomous systems and nuclear facilities, contributing to publications at MIT STAMP Workshops and in journals like Nuclear Engineering and Design . He actively collaborates on European Spallation Source (ESS) safety frameworks and develops domain-specific languages for STPA.
Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute , Technical University of Denmark . Her work focuses on formal methods, railway control systems, and safety-critical software engineering. Founder and leader of the DTU Railway Verification Group Member of European Technical Working Group on Formal Methods in Railway Control Editorial board member for Springer Formal Aspects of Computing Journal Active in the Overture Language Board Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification. She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.
Dr. Kirsten Winter is an Honorary Senior Fellow at the University of Queensland's School of Electrical Engineering and Computer Science. Her research focuses on formal verification, concurrent programming, and weak memory models. She has contributed significantly to areas such as model checking, railway interlocking systems, and behavior trees. Her work spans theoretical foundations (e.g., linearizability, concurrency semantics) and practical applications in security and embedded systems. Recent projects include the Program Analysis Cell and BASIL: Boogie Analysis for Secure Information-Flow Logics. Winter has collaborated extensively with researchers like Graeme Smith and Robert Colvin. Her most recent publications address speculative execution vulnerabilities and compositional reasoning in weak memory architectures.
Prof. Dr. Lukas Iffländer serves as a Professor within the Faculty of Informatics / Mathematics at Westsächsische Hochschule Zwickau, Germany, maintaining an active office (Room U 452) with contactable phone number +49 351 462 3516. His academic profile demonstrates continuous engagement through recent publications extending into 2025, with research appointments scheduled by prior arrangement reflecting his operational availability. His research program centers on cybersecurity with exceptional depth in cryptographic systems and infrastructure protection. Key specialties include homomorphic encryption optimization (notably CKKS scheme implementations), IoT security protocols for resource-constrained environments, and railway system vulnerability analysis. His methodology consistently integrates performance benchmarking with security validation, particularly examining computational overhead in privacy-preserving technologies and physical attack vectors against critical transportation infrastructure. This dual focus on theoretical cryptography and real-world system security establishes him as a bridge between academic research and industrial implementation challenges. Analysis of his 15 most recent publications (2023-2025) reveals three dominant research trajectories: (1) Cryptographic performance evaluation, where he pioneers benchmarking frameworks for homomorphic and attribute-based encryption in practical scenarios like linear regression; (2) Railway security innovation, addressing digital interlocking systems and physical attack mitigation through technology forecasting; (3) IoT security optimization, developing multi-objective recommendation systems for group communication protocols. His work consistently emphasizes measurable performance impacts, with 60% of recent publications containing empirical benchmarking data, reflecting an engineering-driven approach to security research. No scientific awards were documented in the source materials. Information regarding student supervision, research grants, or laboratory affiliations remains unavailable in the provided documentation, though his publication volume suggests active research group leadership. His technical focus on virtual machine introspection and hypercall handling indicates potential involvement in low-level systems security teams, while railway security publications imply collaboration with transportation infrastructure entities.
Lars-Henrik Eriksson is a Senior Lecturer in the Department of Computer Science at Uppsala University, part of the Department of Information Technology. He holds a PhD and is recognized as an Excellent Teacher and educational mentor. He currently serves as the program director for the Master's program in Computer Science and has previously held leadership roles, including Head of the Department of Computer Science from 2004 to 2018. PhD in Computer Science Excellent Teacher Award Pedagogical Mentor at Uppsala University His research focuses on the applications of logic in computer science, particularly formal methods for software development. His work spans formal specification, verification, and synthesis, with strong emphasis on logic programming, interactive theorem proving, and logical frameworks. He has made significant contributions to the use of formal methods in safety-critical domains such as railway signaling. His current research includes modeling application domains within formal methods and formalizing concurrency theory using the Isabelle proof assistant. The recent publications reflect a sustained focus on modal logics for nominal transition systems, formal verification tools (e.g., GTO), and domain-specific applications of formal methods. These works demonstrate deep integration of theoretical logic and practical software engineering, especially in distributed and safety-critical systems. The recurring themes include concurrency, verification, and the use of domain models to enhance formal reasoning. Scientific Awards and Recognitions: Excellent Teacher Pedagogical Mentor Lars-Henrik Eriksson has advised numerous students through project supervision, thesis reviews, and course mentorship, though no formal list of advisees is provided. He has been involved in significant research management, including leading the department and directing a master’s program. He has also collaborated with industry, particularly in railway signaling, contributing to safety analysis and formal verification projects with Trafikverket and through companies he co-founded. He is a board member of Formal Methods Europe and served as program committee chair for the FME Symposium 2002 (part of FLoC’02). His work bridges academia and industry, especially in the application of formal methods to real-world engineering challenges.
Jan Peleska is a Professor at the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bremen. He is a member of the Bremen Institute of Safe Systems (BISS) and co-editor of the BISS Monographs series. His research focuses on the application of formal methods and model-based testing to safety-critical embedded systems in domains such as avionics, railways, and automotive engineering. Affiliation: University of Bremen, TZI (Center for Computing Technology), BISS (Bremen Institute of Safe Systems) Academic Role: Professor of Computer Science Research Interests Peleska’s work emphasizes formal methods for dependable systems, particularly distributed and reactive real-time systems. Key areas include: Formal methods (safety, reliability, availability, security) Development of fault-tolerant systems Test automation for reactive systems Tools development for formal methods Integration with software development standards His research is applied to industrial projects involving safety-critical embedded systems, such as avionic systems and railway control systems. A comprehensive overview is provided in his Habilitation Thesis: Formal Methods and the Development of Dependable Systems . Publication Trends Peleska’s recent publications (2012–2022) focus on model-based testing (e.g., symbolic finite state machines, CSP refinement), standardisation of autonomous train control, and tools for automated testing. His work addresses challenges in railway interlocking systems, avionic software verification, and hybrid system validation, often combining formal methods with practical industrial applications. Scientific Awards Best Paper Award at FORMS/FORMAT 2014 Best Paper Award at QA+Test 2007 Other Responsibilities Peleska co-manages the Post Graduate Programme Embedded Systems GESy and serves as a shareholder/consultant for Verified Systems International GmbH. He has delivered invited lectures on industrial verification, model-based testing, and formal methods at institutions like the University of Tunghai (2016) and workshops including CyPhyAssure Spring School (2019).
Dr. Peter J. Robinson is an Honorary Research Fellow at the School of Electrical Engineering & Computer Science, The University of Queensland. His academic career spans over three decades, focusing on foundational research in programming languages, formal methods, and distributed systems. His work includes contributions to Qu-Prolog, a multi-threaded Prolog implementation, and TeleoR, a robotic task programming framework. Research interests include agent-based systems, blockchain security for aerospace applications, software verification, concurrent programming, and education technology. Notable projects include the Pedro publish/subscribe server and MyPyTutor, an interactive Python learning tool. He has collaborated on railway safety protocols and spacecraft control systems using blockchain. Publications span journals like Formal Aspects of Computing and conferences such as IEEE Symposium on Computers and Communications. Technical reports include work on unification algorithms and multi-agent verification frameworks. He has advised on projects involving IoT architectures and swarm intelligence simulations.
Professor David P Connolly is a leading academic in Civil Engineering at the University of Leeds, serving as the Programme Leader for the 'Railway Engineering with Project Management' MSc. He holds a PhD and first-class honours in Civil Engineering from the University of Edinburgh, and is a chartered professional engineer with prestigious fellowships from the Institution of Civil Engineers (CEng FICE), Permanent Way Institution (FPWI), and Higher Education Academy (FHEA). His research focuses on transportation systems , climate resilience , artificial intelligence , computer vision , and geotechnical engineering . Notable projects include Hyperloop aerodynamics modeling, railway track dynamics under extreme conditions, and sustainable infrastructure design. He has secured significant industry and governmental grants, supervising numerous PhD and postdoctoral researchers. Key contributions include the development of InSAR and satellite monitoring for infrastructure health, energy harvesting systems for railways, and climate change mitigation strategies for built environments. His work bridges theoretical modeling (e.g., FEM/DEM simulations) with practical applications like geotextile analysis and railway transition zone optimization. Professor Connolly actively mentors international scholars, advising on CSC/ Commonwealth Scholarship applications and co-authoring Marie Skłodowska-Curie fellowship proposals. His research themes emphasize net zero and sustainability , with innovations in recycled materials for construction and smart sensing technologies.
Adjunct Professor Neil Robinson is affiliated with the School of Electrical Engineering & Computer Science at the University of Queensland. His research focuses on formal methods, railway systems engineering, and safety-critical systems. He has contributed to advancements in data refinement techniques, formal verification of railway control systems, and adaptation of CMMI for safety-critical applications. His work emphasizes practical implementations of formal methods in real-world systems. Education details are not explicitly stated in the provided text. His research interests include software engineering methodologies, formal specification tools, and railway signalling design automation. Notable contributions include the development of control table verification frameworks and incremental abstraction techniques for data refinements. Publications span formal verification applications in railway systems, process improvement methodologies for safety-critical software, and visualization tools for formal specifications. Collaborations include work with the Software Verification Research Center at the University of Queensland and industry partners in railway signaling design. No awards or grants are listed in the provided information. He has advised on multiple research projects related to railway systems and formal methods but no specific student names are recorded here.
Res.Asst.Dr. Yavuz Durgun is a Researcher in the Civil Engineering Department at Istanbul Technical University (ITU), specializing in Reinforced Concrete Structures, Earthquake Engineering, and Structural Dynamics. His work focuses on structural behavior under seismic loads, composite materials in transportation infrastructure, and experimental methods for evaluating structural systems. He has contributed to projects involving ballastless slab track systems, precast floor elements, and earthquake-resistant design algorithms. Education: PhD in Structural Engineering from ITU (1996), MSc and BSc in Civil Engineering from ITU (1991–1995). He has been a Research Assistant at ITU since 1997. Key research interests include seismic design optimization, full-scale laboratory testing of infrastructure components, and interfacial behavior in composite systems. His recent publications address fatigue evaluation of slab tracks, reinforcement effects on flexural performance, and innovative testing procedures for civil engineering applications. He has led projects such as software development for fiber-reinforced concrete analysis and investigations into structural coating concrete interlocking in prefabricated floor systems. His work aligns with sustainable development goals related to resilient infrastructure and disaster-resilient buildings.
Professor Faron Moller is a distinguished academic at Swansea University's Faculty of Science and Engineering, where he serves as a Professor of Computer Science within the School of Mathematics and Computer Science. He holds multiple leadership positions including Founding Head of the Swansea Railway Verification Group, Director of Technocamps (a pan-Wales schools and community outreach programme), Head of the Institute of Coding in Wales, and co-Lead of the Research Theme on Educational, Historical and Philosophical Foundations of Computer Science. His research interests span Concurrency Theory , Automata Theory , Modal and Temporal Logic , Verification , and Computer Science Education . Moller has made significant contributions to formal methods in railway systems verification and has pioneered approaches to integrating theoretical computer science concepts into educational settings from school level through to higher education. Analysis of his recent publications reveals a dual research trajectory: one strand focuses on formal methods for railway safety verification, while the other emphasizes innovative approaches to computer science education. His work demonstrates how theoretical computer science concepts can be made accessible to diverse audiences, from school children to professional developers. Recent publications show increasing integration of emerging technologies like generative AI into software development education and digital skills training. Moller actively supervises postgraduate research, including PhD and MSc students, with projects spanning GPGPU acceleration techniques and AI-generated educational resources. He has developed a strong track record in securing research funding for educational initiatives across Wales. He leads the Swansea Railway Verification Group and plays a pivotal role in Technocamps, which has hubs in every university in Wales. Through the Institute of Coding in Wales, he bridges academic research with industry needs, creating pathways for digital skills development across the Welsh economy.
Dr. Muhammad A B Fayyaz is a Lecturer in Applied AI and Data Analytics at Manchester Metropolitan University Business School. As the youngest Pakistani PhD holder (awarded at age 25), he possesses extensive technical expertise in computer vision, machine learning, and business analytics. He leads units in Data Analytics and Decision Support Systems while supervising postgraduate research in applied AI domains. His interdisciplinary research encompasses cybersecurity applications (encrypted traffic analysis, blockchain security), renewable energy optimization (PV system control), and intelligent systems design (humanoid personality assessment, building automation). Fayyaz maintains active industry collaborations through national and international projects, translating technical innovations into business solutions. Recent publications demonstrate Fayyaz's versatility across AI subfields, with consistent focus on explainable methodologies and real-world applications. His work integrates theoretical advances with practical implementations in energy, transportation, and cybersecurity domains.
Dr. Boksun Kim is an Associate Professor of Structural Engineering and Associate Head of School (Research) at the University of Plymouth’s School of Engineering, Computing and Mathematics. He specializes in sustainable construction materials, recycled aggregate concrete, and cold-formed steel structures. His research has secured over £1 million in grants from EU Horizon 2020, RAEng, and IStructE, focusing on innovations like graphene oxide concrete and plastic bottle houses. He leads the UoP Civil Engineering Professional Mentoring Advisory Committee and is a Fellow of the Institution of Civil Engineers. Education: Lecturer at University of Portsmouth (2002–2006) Lecturer at Robert Gordon University, Aberdeen (2000–2002) Research Interests: Kim’s work bridges structural engineering and sustainability, emphasizing recycled materials, eco-friendly construction, and advanced composites. He explores applications in both traditional (e.g., castellated beams) and innovative domains (e.g., bottle houses for affordable housing). Grants & Awards: RAEng Frontiers of Engineering Seed Funding for bottle house projects £1M+ in grants since 2014 Fellow of the Institution of Civil Engineers Advising & Mentoring: Supervised over 8 PhD students on topics like recycled aggregate behavior, castellated beams, and ionic transport in concrete. Established Plymouth’s Civil Engineering Mentoring Program linking students with industry professionals. Labs & Teams: Collaborates with industry partners on projects such as marine transport materials and floating offshore wind turbine foundations.
Professor David Thambiratnam is a distinguished academic and researcher in civil and environmental engineering at Queensland University of Technology (QUT), where he has held the position of Professor in the School of Civil and Environmental Engineering since 1996. With over 35 years of international experience, his expertise spans structural dynamics, new materials technology, structural health monitoring, and disaster mitigation under extreme loads such as impact, blast, and seismic events. Research Focus: Applications of advanced materials like Auxetics and FRP to enhance structural resilience against extreme loads. Structural health monitoring of bridges and buildings using vibration analysis and sensor technologies. Performance evaluation of structures under impact, blast, and seismic loadings, including retrofitting strategies for disaster mitigation. Vibration control in slender structures such as bridges, grandstands, and cooling towers. Grants and Funding: Total research grants exceeding AUD 15 million, including multiple ARC Discovery and Linkage grants. Notable projects include the AUD 1.4M ARC LIEF Grant for an advanced horizontal impact testing machine and AUD 415k for mitigating vehicular crashes into masonry buildings. Awards and Recognition: Recipient of the STEM Award for Outstanding HDR Supervision (2010) and multiple Vice-Chancellor’s Performance Awards. International Patent for an Innovative Road Safety Barrier System (2015). Commendations from the Prime Minister of Sri Lanka and Applied Research Corporation, Singapore. Labs and Teams: Leads research initiatives at QUT’s Centre for Data Science and collaborates with industry partners on projects like rail track infrastructure and bridge safety systems.
