Brian Broll is a Vanderbilt University researcher in the College of Engineering with a focus on computer science education , distributed computing , and machine learning accessibility . He has collaborated extensively with Dr. Ákos Lédeczi and other researchers to develop educational tools like NetsBlox and DeepForge for K-12 and higher education contexts.
Martin Schörner is a Researcher at the Institute for Software & Systems Engineering within the Faculty of Applied Computer Science at the University of Augsburg, Germany, where he has been affiliated with the Chair of Software Engineering since 2019. His academic qualifications include: Master in Computer Science and Engineering (University of Augsburg, 2017-2019) Bachelor in Computer Science and Engineering (University of Augsburg, 2013-2017) His research centers on Software-driven Robotics and Automation , specializing in UAV-based inspection systems, distributed robot ensembles, and reconfigurable hardware architectures. His work bridges theoretical software engineering with practical robotics applications, focusing on autonomous navigation, emergency control systems, and semantic integration for industrial automation. Analysis of his 2020-2023 publications reveals a concentrated research trajectory in UAV inspection methodologies, featuring advancements in offline/online path planning, ROS 2 interfaces, and plug-and-play systems. Key thematic clusters include real-time route optimization for large-component inspection, emergency control architectures for UAV swarms, and semantic frameworks for hardware reconfiguration. No formal scientific awards or fellowships are documented in the available sources. While no student advisement records or specific grant funding details are publicly listed, his collaborative work with Prof. Wolfgang Reif and colleagues indicates active participation in institutional research initiatives. Current projects emphasize industrial automation through UAV ensembles and reconfigurable systems. He operates within the Software Engineering team at the Institute for Software & Systems Engineering (ISSE), which conducts fundamental and applied research under Prof. Reif's direction. The institute focuses on robotics software engineering, with applications in industrial inspection and autonomous systems development.
Nicola Bosso is a Full Professor at the Department of Mechanical and Aerospace Engineering (DIMEAS) at the Polytechnic University of Turin, Italy. He serves as a member of the College of Mechanical, Aerospace and Automotive Engineering and has been continuously involved in the PhD program in Mechanical Engineering for multiple cycles from 2015/2016 through 2024/2025. His academic career spans over a decade of teaching and research in mechanical engineering with a strong emphasis on railway systems and multibody dynamics. Research Focus: Professor Bosso specializes in experimental mechanics and multibody dynamics with particular expertise in railway dynamics, monitoring systems, and vehicle dynamics. His research encompasses roller rig testing methodologies, wear analysis of materials, and wheel-rail contact mechanics. His work aligns with several Sustainable Development Goals including Industry, Innovation and Infrastructure (Goal 9), Sustainable Cities and Communities (Goal 11), Responsible Consumption and Production (Goal 12), and Climate Action (Goal 13). His research integrates computational engineering with experimental validation to address complex railway engineering challenges. Publication Trends: Recent publications demonstrate a strong focus on digital twin technology for freight wagon monitoring, advanced wear simulation algorithms, and thermo-mechanical interactions in braking systems. His work increasingly combines AI techniques with traditional engineering approaches, reflecting the evolving nature of railway engineering research. The publications span conference proceedings and journal articles in high-impact railway engineering venues. Advising and Research Leadership: Professor Bosso has supervised PhD students including Matteo Magelli (35th cycle, 2019-2023), whose thesis focused on numerical and experimental tools for train braking simulations. He leads numerous research projects including AI4FREIGHT (2025-2029), a Railway Freight Wagon Monitoring System based on Digital Twins, and various consulting projects with railway industry partners. His research portfolio spans competitive national grants, regional innovation centers funding, and commercial contracts with railway technology companies. Research Infrastructure: He is affiliated with the Design and experimentation of industrial and railway systems and microsystems (DIMEAS) research group, where he contributes to the development of testing methodologies and simulation tools for railway applications. His work involves close collaboration with industry partners on practical railway engineering challenges, including derailment prevention, vehicle dynamics optimization, and innovative testing equipment development.
Biagio Cosenza is an Associate Professor at the Department of Computer Science, University of Salerno, Italy. He leads research in high-performance computing, compiler technology, and software optimization. Previously, he was a Senior Researcher at TU Berlin (2015-2019) and a Post-Doctoral Researcher at the University of Innsbruck, Austria (2011-2015). His educational background includes: Ph.D. from University of Salerno (2011), supervised by Prof. Vittorio Scarano Dr. Cosenza's research focuses on creating efficient programming models for heterogeneous computing systems. His work spans compiler technology, automatic performance tuning, and energy-efficient computing approaches. He has made significant contributions to SYCL-based programming models and MPI implementations, with emphasis on portability across diverse hardware platforms including GPUs and accelerators. His research often bridges theoretical computer science with practical applications in scientific computing and bioinformatics. His recent publications demonstrate a strong trend toward heterogeneous and distributed computing, with particular emphasis on energy efficiency, performance portability, and SYCL-based programming models. Many papers focus on applications in drug discovery and scientific simulations, showing how his theoretical work translates to real-world scientific problems. Dr. Cosenza has received several prestigious recognitions: Best Paper Award at the 14th BenchCouncil International Symposium (2022) Elevated to Senior Member of the IEEE (2022) Recognized as ACM Senior Member (2022) He leads multiple significant research projects including the PRIN 2022 project "LibreRT" and the EuroHPC project "LIGATE." His work has secured substantial funding from sources including the German Research Foundation (DFG), the Italian Ministry of Education, University and Research, and EuroHPC. He actively mentors students and collaborators on advanced topics in high-performance computing. Dr. Cosenza is a member of the ISIS Lab at the University of Salerno and contributes to open standards through his work with the Khronos Group and SYCL Working Group. His research group develops tools like CELERITY, a C++ SYCL-based programming model for accelerator clusters, and EMPI, an enhanced message passing interface in modern C++.
Sören Totzauer is a Lecturer (Lehrkraft für besondere Aufgaben) at the Faculty of Digital Transformation at HTWK Leipzig, where he teaches courses in computer science, including Algorithms and Data Structures, Database Management Systems, and Big Data Management. He serves as Deputy Liaison Lecturer and is a member of the IKM study commission, actively contributing to academic governance and curriculum development. His research interests span Human-Computer Interaction (HCI) , Internet of Things (IoT) , Participatory Design , E-Learning , and Game Theory . His work emphasizes user-centered and ethical approaches to technology design, particularly in domestic environments. His recent publications, presented at premier venues like CHI, DIS, and NordiCHI, reveal a consistent focus on how people interact with and make sense of sensor data in smart homes, the design of tangible interactive devices, and innovative methods for co-creation and research. His research often employs participatory and creative methods, such as probe-based studies, multisensory prototyping, and playful design tools like 'Loaded Dice'. He is actively involved in research projects such as Miteinander (2016–2020) and ZKProSachs (2009–2012), and his work has been recognized through peer review for major conferences. His commitment to teaching is further demonstrated by his certification from the Saxony University Teaching Center and his role in developing and delivering preparatory courses and e-learning modules. His academic contributions are current and ongoing, with publications and activities documented up to 2023 and 2025, respectively.
Christopher Pulte serves as a Royal Society University Research Fellow and Affiliated Lecturer in the Computer Laboratory at the University of Cambridge, where his work bridges theoretical computer science and practical systems verification. His research specifically targets the verification challenges of low-level systems software where hardware concurrency models complicate correctness proofs. His educational foundation includes: PhD in Computer Science from University of Cambridge (supervised by Peter Sewell) Master's degree from University of Cambridge Undergraduate studies at Technical University Dortmund Pulte's research program focuses on developing formal methods for systems software verification, particularly through programming language semantics and type systems. He investigates how to reason about concurrent systems under relaxed memory models (ARM, RISC-V), creating frameworks that make verification tractable for security-critical components like hypervisors. His approach combines executable semantics with refinement typing to handle real-world complexity while maintaining mathematical rigor. Analysis of his publication trajectory reveals consistent innovation in formalizing processor memory architectures and building verification tools that scale to production systems. His work demonstrates increasing emphasis on practical applications, notably through verification of Google's pKVM hypervisor components, while maintaining strong theoretical foundations in separation logic and concurrency semantics. His scientific recognition includes: Royal Society University Research Fellowship Pulte actively contributes to Cambridge's academic mission through teaching core computer science courses including 'Hoare Logic and Model Checking' for Part II students and guest lectures on 'Multicore Semantics and Programming'. He leads development of practical verification tools like CN (for C systems verification) and rmem (for memory architecture modeling), which have gained adoption in both academic and industrial research contexts through open-source distribution. As part of the Computer Laboratory's Systems Research Group, he collaborates extensively with Peter Sewell's team on the REMS project, focusing on executable specifications for hardware/software interfaces. His current work extends these foundations to emerging architectures while improving the usability of verification frameworks for systems developers.
Bo Peterson serves as a Senior Lecturer and Head of the Department of Computer Science at Blekinge Institute of Technology (BTH) in Karlskrona, Sweden, with his primary academic appointment residing within the Department of Computer Science where he oversees both teaching and departmental administration. He earned his Doctor of Philosophy (Ph.D.) in Electrical Engineering from Lund Institute of Technology, Sweden, establishing a foundation for his cross-disciplinary work that bridges engineering principles with computing disciplines. Dr. Peterson's research exhibits significant breadth across technical and human-centered domains, specifically focusing on the design and control of electrical machines alongside user interaction methodologies. This unique intersection of computer science and electrical engineering enables innovative approaches to industrial automation systems and user experience design, demonstrating practical applications where hardware control interfaces meet software-driven user environments. His work represents a valuable synthesis of theoretical engineering concepts with real-world usability considerations. No scientific awards or honors were documented in the available institutional records. Available sources provide no details regarding graduate student supervision or research grant funding under Dr. Peterson's leadership, indicating either unreported activities or primary focus on administrative and teaching responsibilities. The provided information does not reference any dedicated research laboratories, specialized teams, or collaborative research groups associated with Dr. Peterson's current academic position.
Rebecca Colclasure is a PhD Researcher at the Cambridge Institute for Music Therapy Research , affiliated with the Faculty of Arts, Humanities, Education and Social Sciences at Anglia Ruskin University . Her work bridges music technology , music therapy , and user experience (UX) design , focusing on adaptive technologies for disabled musicians and stroke rehabilitation. Educational Background: PhD (submitted), Anglia Ruskin University MA Music Education, University College London (UCL) PGCE Secondary Education, Middlesex University Associated Professional in Neurological Music Therapy, NMT Academy Her research explores the intersection of disability access and digital music production , including projects like Fused Music and adaptive DDR rhythm games for post-stroke rehabilitation. She has presented at international conferences such as the European Research and Innovation Conference and Music Tech Fest . Rebecca's technical expertise spans eyegaze interfaces , soundbeam systems , and custom game controllers , with applications in special education needs (SEN) and neurological rehabilitation . She combines music production , human-computer interaction , and clinical research to create inclusive musical experiences.
Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His academic career spans positions as a Visiting Researcher at Microsoft Research Redmond, a Postdoctoral Research Fellow at the University of Oxford, a Research Engineer at Codeplay Software Ltd., and PhD studies at the University of Glasgow. Notably, he served as Director of GraphicsFuzz, an Imperial College spinout acquired by Google in 2018, demonstrating significant industry impact from his academic research. Donaldson's research focuses on Programming Languages, Compilers, Verification, Testing, and Multicore Programming, with particular expertise in randomized testing methodologies for compilers and program analyzers. His work bridges theoretical computer science with practical software engineering applications, developing innovative techniques like metamorphic testing for graphics shader compilers and systematic approaches for testing memory persistency models. His research output shows consistent progression toward increasingly sophisticated testing frameworks for verification-aware languages and GPU programming interfaces. Analysis of his 15 most recent publications reveals a strong trend toward applying fuzzing and randomized testing techniques to increasingly complex systems, including zero-knowledge proof circuits, large language models for code generation, and WebGPU APIs. His work consistently addresses the challenge of verifying correctness in systems where traditional testing approaches fall short, with growing emphasis on industrial deployment of compiler testing techniques. Throughout his career, Donaldson has maintained exceptional service to the academic community, serving on program committees and as chair for numerous prestigious conferences including SPLASH, PLDI, POPL, ECOOP, and ISSTA. His leadership roles have included Program Chair for ECOOP and General Chair for PLDI, reflecting his standing within the programming languages research community. As an advisor and mentor, Donaldson has contributed to the PLMW (Programming Languages Mentoring Workshop) with talks on 'The Lean Researcher' and 'Hacks to Compensate for Lack of Novelty in Programming Languages Research,' demonstrating his commitment to nurturing the next generation of researchers. His work on integrating compiler fuzzing into continuous integration pipelines represents significant practical impact on software development practices.
Mauro Velardocchia is a Full Professor at the Polytechnic University of Turin , affiliated with the Department of Mechanical and Aerospace Engineering (DIMEAS) . With over 20 years of academic leadership, he specializes in automated vehicles, connected mobility systems, and advanced powertrain engineering . Research focus on vehicle dynamics, magnetic transmission systems, and energy-efficient automotive technologies Active in European and national research projects including OWHEEL, EFFEREST, and CliMAFlux Teaching contributions to Mechanical Engineering programs since 2000 His recent publications analyze autonomous off-road navigation, tracked vehicle dynamics, and digital twin technologies . Current research projects emphasize sustainable mobility (Goal 9), climate action (Goal 13), and engineering education (Goal 4). Key technical expertise in nonlinear vehicle modeling Leadership in EU-funded MSCA and Horizon Europe projects
Dr. Kok Chiang Liang is a Lecturer and Program Coordinator for Electrical and Electronic Engineering at the School of Engineering , part of the College of Engineering, Science and Environment at Newcastle Australia Institute of Higher Education (NAIHE). He previously worked at DSO National Laboratories and SUSS, receiving multiple awards including the Design Innovation Award and Teaching Excellence Gold Awards . He holds a PhD and BEng (Honours) from Nanyang Technological University (NTU). Education PhD, Electrical & Electronic Engineering, NTU (2014) BEng (Honours), Electrical & Electronic Engineering, NTU As a researcher, Dr. Kok focuses on ASIC design for power management , robotics , artificial intelligence , and energy harvesting applications . His work bridges IoT and sustainable engineering, with over 50 publications in Q1/Q2 journals and conferences. Notably, he has pioneered innovations in medical device design, urban sustainability, and educational technology. His recent articles highlight trends in sustainable electronics and AI integration across domains. He has received significant recognition, including two Best Paper Awards and substantial research seed funding (over S$260,000). Dr. Kok also contributes to community service as a District Councillor and Grassroots Volunteer in Singapore, and serves on the STEM Industrial Advisory Board and IEEE committees . Scientific Awards Design Innovation Award (Individual), DSO National Laboratories (2018) Teaching Excellence Gold Award, SUSS (2020, 2025) Best Paper Award, 3rd ICESA (2021) Best Paper Award, 6th ICPEE (2024) Dr. Kok’s leadership extends to research grants as Principal Investigator and Co-PI, and to policy advisory roles for Singapore’s Ministry of Education. His interdisciplinary approach combines technical innovation with societal impact, reflected in his roles at People’s Action Party Meet-the-People Sessions and Ang Mo Kio Town Council .
Professor Rolf Drechsler is affiliated with the Department of Mathematics and Computer Science at the University of Bremen, where he maintains an active research profile in formal verification, hardware design, and quantum computing. His office is located in the Multi-purpose high-rise building (MZH) 4330, and he can be reached at drechsler@uni-bremen.de or drechsler@informatik.uni-bremen.de. Dr. Drechsler's research focuses on formal verification techniques, particularly polynomial formal verification methods, binary decision diagrams (BDDs), in-memory computing architectures, and quantum circuit verification. His work bridges theoretical computer science with practical hardware implementation challenges. Notably, he has recently explored the integration of large language models (LLMs) with hardware verification and design automation, representing an emerging interdisciplinary research direction. An analysis of his 2024-2025 publications reveals a strong emphasis on verification methodologies for emerging computing paradigms. His research spans quantum computing verification (qSAT, quantum circuit debugging), in-memory computing (MAGIC-based architectures, memristive crossbars), and traditional hardware verification enhanced by AI techniques. The publications show a pattern of addressing verification challenges in novel computing architectures while maintaining theoretical rigor in formal methods. Professor Drechsler has made significant contributions to Binary Decision Diagram optimization, formal verification of arithmetic circuits, and hardware security. His work on polynomial formal verification represents a distinctive research thread that has evolved over recent years, addressing verification challenges for sequential circuits, approximate adders, and multi-valued logic circuits.
Raul Sarrias Mena serves as Assistant Professor in the Department of Automation, Electronics, Architecture and Computer Networks Engineering at the University of Cádiz since February 2020, following his appointment as full-time professor in January 2017. He is a core member of the PAIDI Research Group TEP-023: Sustainable and Renewable Electrical Technologies since its creation in 2011. His educational background includes: Industrial Engineering with specialization in Industrial Electronics (2003-2007) at University of Cádiz Second cycle of Industrial Engineering (2007-2010) Master's Degree in Computational Modeling in Engineering (Extraordinary Award recipient) PhD in Wind power generation with energy storage systems (2016, International Mention, Cum Laude, Extraordinary Doctoral Award) Dr. Sarrias Mena's research focuses on renewable energy integration with particular expertise in microgrid control architectures , energy storage optimization , and power electronics for sustainable systems . His work bridges theoretical control strategies with practical hardware implementation, frequently utilizing Raspberry Pi platforms for low-cost validation. Current investigations emphasize multi-energy systems combining electrical, hydrogen, and thermal components through reinforcement learning approaches. Analysis of his 15 most recent publications (2023-2025) reveals dominant research trends in multi-microgrid coordination (32% of articles), hydrogen integration (27%), and fault-tolerant control (20%), with increasing application of artificial intelligence techniques. His work consistently addresses practical implementation challenges in power electronics hardware. Scientific recognition includes: Extraordinary Doctoral Award International Mention for PhD thesis Outstanding Cum Laude grade Extraordinary Award for Master's degree Dr. Sarrias Mena has supervised 10 Final Degree/Master's theses and currently co-directs 4 doctoral theses. His research has been supported through participation in 3 competitive national/international projects including collaborations with Cardiff University established during his 2015 research stay. The TEP-023 research group provides his primary laboratory infrastructure for experimental validation of microgrid control systems.
Frédéric Nabki is a Professor in the Department of Electrical Engineering at École de technologie supérieure (ÉTS) in Montreal, Canada. Holding a B.Ing. and Ph.D. from McGill University, he maintains an active research program focused on microelectromechanical systems, RF circuits, and integrated photonics. His work bridges fundamental research with practical applications in avionics, wireless communications, and sensing systems. Dr. Nabki's research interests span microelectromechanical systems (MEMS), radio frequency integrated circuits, sensor design, microfabrication techniques, and optical communications. His laboratory, LACIME (Communications and Microelectronic Integration Laboratory), focuses on three primary research axes: Sensors, Networks and Connectivity; Innovative materials and advanced manufacturing; and Quantum Engineering. His work encompasses analog and RF microelectronics, MEMS and MOEMS devices, microfabrication, system-on-chip design, integrated sensors and actuators, interface circuits for sensors, wireless and optical communication circuits, energy harvesting microsystems, silicon photonics, and embedded systems for avionics applications. Analysis of Dr. Nabki's recent publications reveals a strong focus on MEMS technology with applications spanning multiple domains. His work demonstrates expertise in piezoelectric MEMS devices, optical switching solutions using silicon nitride photonics, ultrasonic transducers for sensing applications, and RF front-ends for avionics. The research increasingly incorporates machine learning techniques for signal processing and fault detection, showing an interdisciplinary approach that combines hardware design with advanced algorithms. His work maintains strong ties to practical applications, particularly in aerospace, industrial monitoring, and biomedical imaging. Dr. Nabki has successfully supervised numerous graduate students through their master's and doctoral research. His supervision portfolio includes over 30 theses covering diverse topics from MEMS resonators and energy harvesters to optical switching systems and avionics RF front-ends. His research has been supported through significant funding that has enabled the filing of 48 patents, numerous peer-reviewed publications (116 journal articles), and multiple book chapters. The extensive patent portfolio demonstrates the translational nature of his research with practical commercial applications. Dr. Nabki leads the LACIME research laboratory, which focuses on the integration of communication systems with microelectronic technologies. The laboratory maintains strong collaborations with industry partners, particularly in the aerospace sector, and has developed specialized facilities for MEMS design, fabrication, and testing. Current research directions include quantum-based security for connected objects, advanced MEMS for avionics applications, and silicon photonics for optical switching solutions.
Dr. Anikó Vágner is an Assistant Professor at the University of Debrecen , affiliated with the Faculty of Informatics and the Department of Information Technology . Her research focuses on Educational issues of database systems , Medical signal processing , and Clustering of datasets , with a strong emphasis on NoSQL databases, smart city applications, and health informatics. Academic Rank: Assistant Professor Email: vagner.aniko@inf.unideb.hu Research Trends: Analysis of her 15 most recent publications reveals sustained work in NoSQL database performance optimization (MongoDB, Redis), GTFS-based transportation algorithms, medical signal processing using microcontrollers, and clustering techniques like OPTICS. Applications span smart cities, health monitoring, and educational technologies. Labs/Teams: She is part of the Department of Information Technology, which focuses on databases, data mining, and smart city solutions. The department collaborates on projects like participatory sensing frameworks and time series analysis.
