Jiri Srba is a Professor at Aalborg University's Department of Computer Science, part of the Technical Faculty of IT and Design. He leads research in the Distributed, Embedded and Intelligent Systems group and contributes to projects like "ControLing wAter In an uRban Environment" and "Collective Adaptive System SynThesIs using Non-zero-sum Games". His office is located at Selma Lagerløfs Vej 300, 9220 Aalborg Øst, Denmark. Contact him at +4599409851 or srba@cs.aau.dk. His core research focuses on formal methods and applied computer science: Model checking and verification of concurrent systems Petri nets and their applications Network protocol verification and synthesis Distributed system correctness Automated reasoning for industrial systems His publication record shows strong emphasis on network verification, model checking optimization, and applying formal methods to environmental systems. Recent work integrates computer science with sustainable engineering, particularly in water management systems and energy control.
Carlisle-Martin is an Associate Department Head and Professor of Practice in the Department of Computer Science & Engineering at Texas A&M University. They also serve as Director of the United States Air Force Academy Center for Cyberspace Research. Their research focuses on computer security, programming languages, and innovative computer science education techniques. Education: Ph.D., Computer Science, Princeton University (1996) B.S., Mathematics and Computer Science, University of Delaware (1991) Research Interests: Malware analysis and detection Cybersecurity frameworks for DNS and network protocols Visual programming tools like RAPTOR for education Ada language modernization and integration Cybersecurity education through CTF competitions Awards: 2016: Meritorious Civilian Service Award (USAF) 2014: SANS Institute Security Award 2009: ACM Distinguished Educator 2008: Colorado Professor of the Year 2007: Arthur S. Flemming Award Advising & Grants: Known for mentoring through cybersecurity initiatives and leading the USAF Academy's cyberspace research programs. No specific grant details listed, but their work aligns with defense and education funding priorities. Labs/Teams: Directs the USAF Academy's Center for Cyberspace Research, focusing on applied cybersecurity solutions and educational outreach.
Professor Phil Purnell is a Professor of Materials and Structures at the School of Civil Engineering, University of Leeds. His expertise spans materials science, infrastructure systems, circular economy, and interdisciplinary research. He leads projects addressing decarbonization, waste-to-resource systems, and sustainable construction materials. His roles include Deputy Head of School and advisor to UKRI, DEFRA, and the UK Government’s Circular Economy Taskforce. He holds visiting positions at the Royal College of Art and University of Cambridge. Education: PhD, BEng (Civil), and teaching qualifications (PCPCE, ACTLHE). His research focuses on circular economy applications in textiles, offshore wind, and foundational industries. Notable projects include the Textiles Circularity Centre, Yorkshire Circular Economy Living Lab, and Complex Value Optimisation for Resource Recovery (C-VORR). He advocates for systemic approaches to sustainability, integrating economic, technical, and environmental values. Research outputs emphasize decarbonization pathways, material lifecycle assessments, and robotics in infrastructure management. Collaborations with industry and policy bodies drive practical solutions for resource efficiency. His work bridges engineering, economics, and environmental science to address global challenges like waste management and climate change.
Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.
Prof. Dr. Oliver Crönertz serves as Dean and Professor of Business Administration and IT-Supported Business Processes at the Faculty of Digital Transformation , HTWK Leipzig. His work bridges digital transformation with business management, focusing on interdisciplinary project management, digital business models, and sustainability. Current roles: Dean, supervising professor for HTWK Robots/nao Team Research areas: Digital Transformation, Business Analytics, Industry 4.0, Stoffstrommanagement Research Trends : Recent publications emphasize digital solutions for environmental management, business process optimization, and smart urban logistics. His work connects Industry 4.0 with financial sustainability and societal impacts of digitalization. Projects : Leads Mittelstand-Digital Zentrum Leipzig-Halle, involved in EXIST-Potentiale, Future Parking, and FAssMII (Feedback-based E-Assessment in STEM).
Satadru Dey serves as an Assistant Professor in the Department of Mechanical Engineering at Penn State University, where he leads research at the intersection of energy infrastructure and smart city systems. His work spans battery technology, transportation networks, and cyber-physical security, with institutional affiliations including the Integrated Energy Systems and Equitable Communities research initiatives. His primary research focuses include battery safety and security (covering fault diagnosis, thermal management, and fast charging protocols), second-life applications for batteries/supercapacitors, secure autonomous transportation systems, and socio-technical traffic modeling. He employs advanced control theory, machine learning, and physics-based modeling to address critical challenges in energy storage and urban mobility infrastructure. Analysis of his 15 most recent publications (2022-2024) reveals a consistent trajectory toward cyber-physical security in battery and transportation systems, with 60% of works addressing battery fault detection and 40% focused on transportation security. His methodologies increasingly integrate partial differential equations, reinforcement learning, and socio-technical data fusion across electrical engineering, mechanical engineering, and computer science domains. Scientific Awards: No awards or fellowships were documented in the source material. Advising and grant activities are not explicitly detailed in the provided information, though his editorial leadership for the 2024 Special Issue on Energy in Smart Infrastructures indicates academic service responsibilities. The absence of student listings suggests either early-career status or non-publication of advising relationships. Dr. Dey directs a specialized research laboratory focused on integrated energy systems within smart city frameworks, with documented projects spanning battery management, transportation security, and equitable infrastructure development. His lab maintains active collaborations across mechanical engineering, electrical systems, and urban planning disciplines as evidenced by multi-departmental publication venues.
Jeffrey Krolik is a Professor of Electrical and Computer Engineering at Duke University's Pratt School of Engineering. He holds a Ph.D. in Electrical Engineering from the University of Toronto (1987) and previously served as an Assistant Professor at Concordia University and Assistant Research Scientist at Scripps Institution of Oceanography. Ph.D. University of Toronto (1987) M.A. University of Toronto (1983) B.A. University of Toronto (1980) His research focuses on physics-based and statistical signal processing with applications in radar, sonar, microwave remote sensing, and medical imaging. Key projects include adaptive beamforming for ocean acoustic waveguides, aircraft height finding via HF radar, and motion-robust fMRI algorithms. Recent publications cover multipath mitigation in sonar arrays, vibrational radar backscatter communication, and CNN implementations for radar signal processing. His work spans underwater acoustics, urban radar tracking, and distributed sensor networks. He teaches advanced courses in sensor array signal processing, digital audio systems, and radar applications. His research has been supported through collaborations with institutions like Scripps and consulting roles with ONR, DARPA, and Air Force Rome Laboratories. Key contributions include waveguide invariant processing, matched-field beamforming, and novel approaches to radar clutter suppression in urban and maritime environments. His work integrates statistical signal processing with physical propagation models across diverse domains.
Prof. Dr. Hakkı Polat Gülkan is a Professor at Başkent University's Civil Engineering Department. With a PhD (1971) and Master's (1968) from the University of Illinois in Civil Engineering and a Bachelor's (1966) from METU, his career spans over five decades in earthquake engineering, structural dynamics, and disaster management. PhD: University of Illinois, Civil Engineering (1971) Master's: University of Illinois, Civil Engineering (1968) Bachelor's: Middle East Technical University, Civil Engineering (1966) His research focuses on seismic risk assessment, structural behavior under extreme loads, and disaster mitigation strategies. Key contributions include earthquake simulator development, ground motion analysis, and retrofitting techniques for masonry and reinforced concrete structures. He has published extensively on deformation limits, response spectra, and historical building preservation. Recent work includes 15+ articles from 2024-2012 analyzing Istanbul's seismic hazards, Marmara region dynamics, and post-earthquake structural integrity. Conference papers address Turkey's endemic building vulnerabilities and deformation thresholds for seismic isolation systems. Scientific Achievements: Elected to U.S. National Academy of Engineering (2023) As an active journal reviewer for 13+ publications (2023-2024), he contributes to advancing earthquake engineering discourse. His teaching portfolio includes advanced structural analysis, concrete mechanics, and seismic design courses.
Victor Vianu is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego, within the Jacobs School of Engineering. His work focuses on the intersection of database theory and verification techniques, particularly in the context of data-driven business processes and workflows. Research Interests Professor Vianu's primary research interests span database theory, verification of database-driven systems, and computational logic. His current work focuses on automatic verification of interactive data-driven web services and business processes, exploring how to provide customized workflow views for different stakeholders in organizational settings. His research addresses significant technical challenges at the intersection of data management and process modeling, requiring novel approaches that go beyond traditional relational algebra to handle both data and process aspects simultaneously. His work on data-driven business processes investigates how to specify, analyze, and synthesize views of workflows that expose only information relevant to specific user roles. This research has important applications in e-commerce, digital government, healthcare, and scientific infrastructure, where different stakeholders require varying levels of workflow abstraction and detail. Research Contributions and Trends Professor Vianu's recent publications demonstrate a consistent focus on the integration of data management and workflow processes. His work has evolved from foundational database theory to increasingly practical applications in business process management. A key trend in his research is the development of formal frameworks for workflow views that maintain consistency while providing appropriate abstractions for different user roles. His publications reveal a progression from theoretical foundations to more applied aspects of workflow verification and integration, often in collaboration with researchers from INRIA and other institutions. Advising and Research Support Professor Vianu leads the UCSD Database Laboratory, which conducts research on database systems and theory. He currently advises graduate student Marysia Tran and has likely mentored numerous other students throughout his career. His research is supported by the National Science Foundation under grant "Views of Data-Driven Business Processes: Foundations and Applications" (NSF Project III 1815247). This project brings together techniques from logic, automata theory, complexity theory, algorithms, and automatic verification to address challenges in workflow management. Research Environment Professor Vianu is an active member of the UCSD Database Laboratory, which maintains a regular research seminar series. He has collaborated extensively with researchers including Alin Deutsch (UC San Diego), Serge Abiteboul (INRIA and ENS-Paris), Pierre Bourhis (Univ. of Lille and CNRS), and Adrien Koutsos (ENS Cachan). His foundational work includes co-authoring the influential textbook "Foundations of Databases" with S. Abiteboul and R. Hull, which remains a standard reference in database theory.
Vinod M. Vokkarane is a Professor in the Department of Electrical and Computer Engineering at the University of Massachusetts Lowell, where he serves as Director of the Center for Smart Cyber-Physical Systems (SCyPS) and Director of Advanced Computer Network Labs. Previously, he was an Associate Professor at University of Massachusetts Dartmouth from 2004 to 2013 and a Visiting Scientist at MIT's Research Laboratory of Electronics from 2011 to 2014. His extensive research portfolio spans multiple domains of advanced networking and cyber-physical systems. Dr. Vokkarane earned his educational foundation with a B.S. from University of Mysore, India (1999), followed by an M.S. (2001) and Ph.D. (2004) in Computer Science from the University of Texas at Dallas. His dissertation focused on optical burst-switched networks, establishing the foundation for his future research trajectory. His research interests center on Cyber-Physical Systems, Network Optimization, Reliability, Smart Grids, and Cyber-Security, with particular expertise in the design, analysis, and modeling of architectures, protocols, and algorithms for ultra-high speed networks including Optical networks, Grid/Cloud networks, and Big-data networks. His work bridges theoretical foundations with practical implementations, often addressing critical challenges in network reliability, security, and efficiency. His research has received significant recognition through numerous best paper awards and substantial external funding. Analysis of his recent publications reveals a clear evolution toward increasingly sophisticated integration of cyber-physical systems with power infrastructure, particularly in the areas of grid resilience and observability. His work has expanded from fundamental optical networking research to address critical infrastructure challenges, with a growing emphasis on machine learning applications for network optimization and power system monitoring. The recent focus on PMU networks, disaster resilience, and cyber restoration demonstrates his strategic pivot toward addressing national security and critical infrastructure protection challenges. UMass Dartmouth Scholar of the Year Award (2011) UMass Dartmouth Chancellor's Innovation in Teaching Award (2010-11) University of Texas at Dallas Computer Science Dissertation of the Year Award (2003-04) Multiple Best Paper Awards including IEEE GLOBECOM 2005, IEEE ANTS 2010, ONDM 2015, ONDM 2016, and IEEE ANTS 2016 Texas Telecommunications Engineering Consortium Fellowship (2002-03) Dr. Vokkarane has successfully mentored numerous graduate students who have contributed significantly to his research projects, with several going on to successful careers in academia and industry. His research has been consistently supported by major funding agencies including NSF, DOE, and USMC, with recent projects totaling over $5 million in funding. Current projects include Unified Post-Disaster Restoration Planning for Cyber-Physical Power Distribution Systems (ONR, $550K), CyberCARE: Northeast University Cybersecurity Center (DOE, $3.5M), and Flexible Spectrum Allocation in Next-Generation Optical Networks (NSF, $350K). He leads the Center for Smart Cyber-Physical Systems (SCyPS) and Advanced Computer Network Labs at UMass Lowell, where his research teams work on cutting-edge problems in network architecture, cyber-physical security, and infrastructure resilience. His labs collaborate extensively with national laboratories and industry partners to translate theoretical advances into practical solutions for real-world infrastructure challenges.
Adeel Tariq is a Post-Doctoral Researcher at the Industrial Engineering and Management department of LUT School of Engineering Sciences , Lappeenranta University of Technology, Finland. He completed his Ph.D. (2019) and MBA (2014) at the School of Management , Asian Institute of Technology, Thailand. Research Focus: Technology and innovation management, digital transformation, sustainable development, knowledge management, and leadership studies. Peer Review: Active reviewer for journals including Leadership & Organization Development Journal , Journal of Intellectual Capital , and European Journal of Innovation Management . Collaborations: Regular co-author with Waqas Tariq, Muhammad Saleem Sumbal, and Marko Torkkeli on topics like digital governance, fintech, and SME sustainability.
Thomas Rüde is Universitätsprofessor for Hydrogeology at RWTH Aachen University , Germany, where he leads the Hydrogeology group within the Faculty of Georesources and Materials Engineering. Holding the chair since 2005, he also serves as Managing Director of the Vereinigung Aachener Geowissenschaftler e.V. and has previously been Vice-President (2008-2014) and Executive Council member (2000-2008) of the International Mine Water Association (IMWA). Education 2004 – Privatdozent (Dr. rer. nat. habil.), University of Munich 1995 – Dr. rer. nat., University of Karlsruhe 1991 – Diplom-Geologe, University of Karlsruhe Research focus Professor Rüde’s work centres on understanding and modelling flow and reactive transport in complex aquifer systems . Key themes include: Contaminant hydrogeology – behaviour of geogenic arsenic and uranium in groundwater Groundwater protection and remediation – risk assessment and mitigation strategies Mine-water management – acid mine drainage, dewatering-well clogging, post-mining landscapes Tracer and hydraulic testing – field experiments to quantify subsurface heterogeneity Numerical modelling – high-performance simulation of multi-aquifer systems and karst His research spans Europe (Germany, Austria, Netherlands), Latin America (Mexico, Indonesia) and South-East Asia, frequently in close collaboration with local universities and industry partners. Publication trends Since 2010, Rüde has published extensively on geogenic contamination (As, U, F) in sedimentary and volcanic aquifers, mine-water impacts , and karst hydraulics . Recent work (2022-24) highlights advanced environmental tracers (gadolinium), transboundary groundwater issues, and the sustainable management of post-mining landscapes under climate change. Numerical models range from site-scale dewatering optimisation to catchment-scale coupled flow-transport simulations. Scientific awards & recognition Best Teaching Award 2010 – RWTH Aachen University Best Teaching Award 2012 – RWTH Aachen University Best Teaching Award 2014 – RWTH Aachen University Supervision & academic service Since 1998 he has taught hydrogeology through lectures, seminars, laboratory and field courses, and computer-based modelling labs. To date he has supervised: 13 PhD candidates 34 Diploma students 57 MSc students 63 BSc students He is Chairman of the Study Commission for the BSc programme in Georesources Management at RWTH Aachen, ensuring curriculum development and quality assurance. Laboratory & field infrastructure His group operates modern hydrochemical laboratories for trace-element analyses and maintains field stations for tracer experiments in Germany, Mexico and Indonesia. High-performance computing resources (in collaboration with the Jülich Supercomputing Centre) enable large-scale groundwater modelling and Monte-Carlo uncertainty assessments.
Arash Joorabchi is an Assistant Professor at the Department of Electronic and Computer Engineering, Faculty of Science and Engineering, University of Limerick, Ireland. His research focuses on the intersection of machine learning, educational technology, and digital library systems, with particular emphasis on automated assessment, text mining, and knowledge organization techniques. Research Trends: Analysis of his publications reveals sustained contributions to automated short-answer grading, Arabic text classification, and semantic integration of Wikipedia with academic resources. Key methodologies include sentence transformers, hybrid text representation models, and citation-based indexing techniques. Technical Domains: His work spans natural language processing, educational data mining, metadata management, and semantic web technologies. Specific applications include Q&A platform analysis, library resource discovery, and curriculum development systems.
Holger Schüttrumpf serves as a Professor at RWTH Aachen University, leading the Chair and Institute of Hydraulic Engineering and Water Management. His institutional presence is evidenced by active contact details and departmental affiliation within the university's engineering framework. His research spans critical domains in water systems engineering, with primary focus areas including: Hydraulic Engineering (core infrastructure design and analysis) Water Management (resource allocation and sustainability) Fluid Dynamics (theoretical and applied flow mechanics) Environmental Hydraulics (ecosystem interactions) River Engineering (flood control and channel morphology) Coastal Engineering (shoreline protection and marine structures) No scientific awards or honors are documented in the provided institutional materials. Similarly, details regarding graduate student supervision, research grants, or collaborative projects remain unspecified in the available public profiles. The institute operates under his leadership as a central unit for hydraulic research within RWTH's engineering ecosystem, contributing to the university's broader research initiatives in sustainable infrastructure as reflected in their institutional communications.
Jose Pantaleon Gomez III is a Lecturer in the Civil and Environmental Engineering department at the University of Virginia. Previously, he served as Director of Research (2011–2016) and Associate Director (2002–2011) at the Virginia Transportation Research Council (VTRC), leading teams in bridge engineering, materials science, and infrastructure management. He holds a BS from Virginia Military Institute (1979), and MEng and PhD from the University of Virginia (1982, 1988), with licensure as a Professional Engineer in Virginia. His research focuses on advanced materials for transportation infrastructure, including high-performance concrete and composite materials, as well as structural testing and bridge design optimization. Notable projects include $5M contributions to FHWA’s Long-Term Bridge Performance Program and over $5.4M in external grants. He has authored/co-authored 42 research reports and 9 key journal articles/conference papers listed here. Teaching & Awards: Courses include Advanced Steel Design, Structural Engineering, and Capstone Design. Recognitions include the 2004 Virginia Graduate Engineering Instructor of the Year and 2015 Civil Engineering Teaching Award. Research Interests: Includes materials characterization, smart infrastructure systems, risk analysis, and sustainable infrastructure design. His work emphasizes practical applications of advanced materials in bridges and transportation systems.
