Dmitriy Traytel is an Associate Professor at the University of Copenhagen's Department of Computer Science since August 2020, where he currently heads the Software, Data, People & Society (SDPS) section. Prior to this position, he worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. He completed his PhD at TU München under Tobias Nipkow's supervision in 2015. His research focuses on formal methods, particularly logic, automata theory, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Traytel develops formally verified tools for runtime monitoring including VeriMon, TimelyMon, and WhyMon, emphasizing correctness and efficiency in monitoring complex temporal properties. His recent publications (2021-2025) demonstrate a strong focus on first-order temporal logic monitoring, with particular attention to explainable verdicts, scalable parallel implementations, and formal verification of monitoring algorithms. The work spans theoretical foundations in logic and category theory while maintaining practical applications in runtime verification systems. Distinguished Paper Award at POPL 2025 for 'Barendregt Convenes with Knaster and Tarski' Best Student Paper Award at FSCD 2016 Distinguished Paper Award at ATVA 2018 Traytel has supervised numerous PhD, Master's, and Bachelor's students in areas spanning formal verification, runtime monitoring, and theorem proving. His research has been supported through collaborations with major institutions including ETH Zürich and TU München. He actively contributes to the academic community by serving on program committees for major conferences including ITP 2025 and RV 2025. He leads the Software, Data, People & Society section at the University of Copenhagen, focusing on developing formally verified tools for runtime verification that bridge theoretical computer science with practical applications in security and system monitoring.
Prof. Dr. Sören Laue is a Professor of Machine Learning at the University of Hamburg's Department of Informatics. His research focuses on optimization algorithms, machine learning frameworks, and high-performance computing. He leads the Machine Learning research group and developed the GENO optimization framework and the Matrix Calculus toolset. His work emphasizes GPU acceleration, tensor operations, and scalable solutions for classical machine learning problems. Projects: GENO solver (Python-based optimization), Matrix Calculus (derivative computation), and SQL-based tensor operations. Key Research Themes: Optimization frameworks, GPU computing, neural network scalability, and algorithm design. Selected recent publications highlight contributions to tensor calculus benchmarks, GPU-optimized machine learning pipelines, and novel optimization methods. His work bridges theoretical foundations and practical software tools for the machine learning community.
Prof. Dr. Christian Plessl is a W3 Professor of High-Performance Computing at the Institute of Computer Science, University of Paderborn. He leads the Paderborn Center for Parallel Computing (PC²), a national HPC center within the NHR alliance. His roles include Director of PC², Board Member of the NHR association, and member of the Sonderforschungsbereich 901. Education: PhD (Dr. sc. ETH) in Computer Engineering, ETH Zürich (2006) MSc in Electrical Engineering, ETH Zürich (2001) Postdoc at ETH Zürich (2007–2011) Research Interests: Architecture and tools for high-performance parallel and reconfigurable computing, FPGA acceleration, quantum chemistry, scientific computing, adaptive systems, and energy-efficient HPC solutions. Key projects include EKI-App (FPGA-based neural networks), FPGA4XPCS (X-ray spectroscopy), and HighPerMeshes (unstructured grid frameworks). Publications: Over 100 peer-reviewed works, focusing on FPGA acceleration, HPC frameworks, and quantum computing. Recent trends emphasize energy-efficient neural networks, FPGA-based quantum computing, and scalable HPC algorithms. Awards: Best Paper Awards at HEART 2023, ReConFig 2012/2014 Paderborn University Research Awards (2018, 2009) SEW-EURODRIVE Student Award (2001) Grants & Projects: Principal investigator in DFG, BMBF, and EU-funded projects. Collaborates with AMD/Xilinx, Intel/Altera, and Fujitsu. Leads initiatives like PerficienCC (custom computing) and HighPerMeshes. Labs/Teams: Directs the High-Performance Computing group at PC², focusing on FPGA supercomputing and HPC infrastructure. Active in the NHR alliance for national HPC coordination.
Matthew K. Tam is an Associate Professor at the School of Mathematics and Statistics, The University of Melbourne, specializing in Operations Research. He is also an investigator at the Melbourne Centre for Data Science and an associate investigator in the ARC Training Centre OPTIMA. PhD in Mathematics (2016) from University of Newcastle under Jonathan Borwein Postdoctoral research at University of Göttingen with RTG-2088 and Alexander von Humboldt Foundation Junior Professor at University of Göttingen (2017-2020) His research focuses on continuous optimization, monotone operator theory, and variational analysis, with applications in wavelet construction and inverse problems. Key trends include distributed algorithms, resolvent splitting, and convergence analysis for feasibility problems. Discovery Early Career Researcher Award (DECRA) Alexander von Humboldt Fellowship He collaborates with institutions like ANZIAM, Springer, and IEEE, with publications spanning mathematical optimization, harmonic analysis, and computational mathematics. His work emphasizes algorithmic design for complex data systems and real-world applications in imaging and industrial modeling.
Christian Engwer is a full Professor at the University of Muenster in the Institute for Applied Mathematics, specializing in Analysis and Numerics. He leads the Engwer Group focused on Applications of Partial Differential Equations and is actively involved in the Cells in Motion initiative as a supervisor in the CiM-IMPRS Graduate Programme. His research centers on developing numerical methods for partial differential equations, particularly addressing challenges in complex geometries and multi-physics applications. He specializes in Unfitted Discontinuous Galerkin methods, which allow simulations on complex geometries without requiring domain-fitted meshes. His work spans porous media modeling, biological systems, and bioelectromagnetism applications, with significant contributions to EEG/MEG forward modeling in neuroscience. Analysis of his recent publications reveals a strong focus on model order reduction techniques, stabilized numerical schemes for cut-cell meshes, and applications in bioelectromagnetism. His work demonstrates a consistent trajectory toward developing robust, efficient numerical methods applicable to real-world problems in medical imaging and biological modeling, with increasing emphasis on high-performance computing implementations. Professor Engwer actively supervises doctoral students, with recent completions including Lukas Renelt (2025), Michael Wenske (2021), and Maria Carla Piastra (2019), among others working on topics related to numerical methods and biomedical applications. He leads several major research projects including BrainStorm: Highly Extensible Software for Advanced Electrophysiology and MEG/EEG Imaging (NIH-funded since 2019), multiple EXC 2044 Cluster of Excellence projects through 2025, and the InterKI interdisciplinary teaching program on machine learning and artificial intelligence. His group develops several important software packages including DUNE (Distributed and Unified Numerics Environment), duneuro (for bioelectromagnetism applications), and TPMC (Topology Preserving Marching Cubes). These tools support research in numerical methods and their applications to complex scientific problems.
Guo Li is affiliated with the Beijing Institute of Technology, School of Management and Economics. Their research spans computer vision, optimization algorithms, signal processing, and machine learning. Collaborations include work on image super-resolution, sensor networks, and energy systems. Publications are distributed across journals like Comput. Electron. Agric. , IEEE Trans. Circuits Syst. , and Entropy . Research interests focus on computational methods for image processing, algorithm design, and interdisciplinary applications in agriculture and energy. Recent work emphasizes lightweight neural network architectures, sparrow search algorithms, and thermodynamic modeling in materials science. Notable contributions include advancements in citrus fruit detection, fatigue life assessment of superalloys, and load forecasting techniques. Active in international conferences such as CVPR, ICC, and NSDI, with a strong publication record since 1998.
Robert S. Laramee is a Professor at the University of Nottingham (previously at Swansea University), specializing in visualization research. His work focuses on data visualization, scientific visualization, and computational fluid dynamics. He has authored over 170 publications in top journals like IEEE Transactions on Visualization and Computer Graphics, Computer Graphics Forum, and IEEE Computer Graphics and Applications. Research Interests: His research spans information visualization, flow visualization, visual literacy, and educational aspects of visualization. He emphasizes practical applications in fields like healthcare, digital humanities, and computational science. Recent Trends: Recent work includes studies on treemap literacy, educational frameworks for visualization, and interactive systems for clinical data. He has also contributed to visualization resources and surveys, aiming to bridge academic and industry needs. Grants & Collaborations: Collaborations include projects on visualization for smart cities, protein-lipid interactions, and quantum chromodynamics data analysis. No specific grant details are provided in the text. Labs & Teams: Affiliated with visualization research groups at Nottingham and Swansea, though specific lab names are not mentioned.
Rainald Loehner is a Distinguished Professor of Fluid Dynamics at George Mason University's Center for Computational Fluid Dynamics. Since 2003, he has led the Center for Computational Fluid Dynamics at George Mason University. He is currently a Hans Fischer Senior Fellow at the Technical University of Munich's Institute for Advanced Study (TUM-IAS) for 2023, hosted by Professors Kai-Uwe Bletzinger and Roland Wüchner in the 'Adjoint-Based System Identification of Large-Scale Structures' Focus Group. Loehner received his Diplom Ingenieur (Maschinenbau) degree from the Technical University of Braunschweig, and his PhD and a DSc in civil engineering from the University College of Swansea, Wales. After teaching at Swansea for a year, he worked at the Naval Research Laboratory in Washington, DC, followed by a research professorship at George Washington University. He joined George Mason University as an associate professor and was promoted to full professor in 1995 and distinguished professor in 2004. With over 35 years of experience, Professor Loehner's research spans the complete pipeline of numerical solvers and simulation tools. His expertise includes pre-processing, grid generation, numerical methods, field solvers, parallel computing, adaptive mesh refinement, fluid-structure interaction, shape optimization, system identification, and computational crowd dynamics. His current work focuses on developing advanced field solvers for compressible and incompressible flows, acoustics, electromagnetic wave propagation, heat and mass transfer, structural mechanics, and fluid-structure interaction. Key application areas include blast mitigation, ship hydrodynamics, blood flow, contaminant transport, and pedestrian safety. Loehner's recent research output (2020-2024) shows a strong trend toward digital twin technology and adjoint-based methods for structural analysis and optimization. His publications focus on high-fidelity digital twins for detecting structural weaknesses, risk assessment in engineering systems, and optimization of sensor placement. His work bridges computational mechanics with machine learning approaches, particularly in system identification and inverse problems, demonstrating how computational methods can solve complex real-world engineering challenges. 2020: Ranked #15119 in the Stanford List of Most Influential Scientists of the World; #8 in Aerospace and Aeronautics 2010: Distinguished International Career Award, Argentine Association of Computational Mechanics 2008: Fellow, International Association for Computational Mechanics 2006: Associate Fellow, AIAA 2005: Honorary Professor, University of Wales Swansea 2005: Advisory Professor, Shanghai Jiao Tong University 2004: Distinguished Professor of Fluid Dynamics, George Mason University 1999: Computational Mechanics Achievements Award, Japan Society of Mechanical Engineering 1993: Doctor of Science in Civil Engineering, University College of Swansea 1979-1983: Studienstiftung des Deutschen Volkes (Top 1% of German Students) Professor Loehner has mentored numerous students through his work at George Mason University and has supervised research in computational fluid dynamics, structural mechanics, and related fields. His research has been supported by various grants from government agencies and industry partners, enabling the development of advanced simulation tools applied in aerodynamics, hydrodynamics, shock-structure interaction, and medical applications. His codes and methods have been widely adopted in industry and academia for applications ranging from aircraft and ship design to medical simulations and urban pathogen transmission modeling. Loehner leads the Center for Computational Fluid Dynamics at George Mason University, which focuses on developing cutting-edge computational methods for fluid dynamics and related multiphysics problems. The center works on strategic application areas including blast mitigation, ship hydrodynamics, blood flow simulation, and pedestrian movement modeling. As a TUM-IAS Fellow, he collaborates with the Chair of Computational Modeling and Simulation at TUM on adjoint-based system identification of large-scale structures, bringing together expertise in computational mechanics and digital twin technology to address complex engineering challenges.
Prof. Florian Zaussinger is a faculty member at the Faculty of Applied Computer and Life Sciences at Mittweida University of Applied Sciences. His research focuses on thermal convection, fluid dynamics, and numerical simulations in both geophysical and astrophysical contexts. He has contributed extensively to studies on microgravity experiments, including the GeoFlow and AtmoFlow projects conducted on the International Space Station (ISS). University: Mittweida University of Applied Sciences Faculty: Applied Computer and Life Sciences Department: Mathematics Contact: +49 3727 58-1381 | florian.zaussinger@hs-mittweida.de | Building 6, Room 6-131 His research involves advanced numerical modeling of complex fluid systems, including spherical convection, dielectric heating, and double-diffusive processes. He has developed and applied computational tools like the ANTARES code to simulate convection in DA white dwarfs, planetary atmospheres, and Earth's mantle. His work bridges theoretical fluid mechanics with experimental validation in space-based microgravity environments. Recent publications highlight his expertise in thermo-electrohydrodynamic convection, planetary fluid flow analysis, and microgravity-induced instabilities. While the scraped data does not list scientific awards or students directly, his academic profile emphasizes interdisciplinary collaboration with engineering and life sciences, particularly in applied mathematics for fluid dynamics and experimental data processing.
Professor Saman Amarasinghe is a full Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), and Principal Investigator at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Commit compiler research group, which focuses on programming languages and compilers that maximize application performance on modern computing platforms. His work spans multiple academic departments and research centers, with strong affiliations to both MIT's School of Engineering and CSAIL. Professor Amarasinghe's research interests center around high-performance domain-specific languages and compiler technology . His work combines language design with sophisticated compilation techniques to deliver unprecedented performance for targeted application domains. His research spans multiple areas including image processing (Halide), sparse tensor algebra (TACO), graph analytics (GraphIt), stream computations (StreamIt), and bioinformatics (Seq). A significant thread throughout his work is the application of machine learning for compiler optimizations, from Meta optimization in 2003 to the OpenTuner autotuner framework. Analysis of Professor Amarasinghe's recent publications reveals a strong focus on sparse computing , compiler vectorization , and domain-specific language implementation . His work consistently bridges theoretical compiler concepts with practical performance gains across diverse application domains. The progression from earlier work on StreamIt and Halide to more recent projects like GraphIt and TACO shows an evolution toward more specialized, high-performance DSLs targeting specific computational patterns. His 2020-2025 publications particularly emphasize sparse tensor operations, GPU acceleration, and machine learning integration with compiler technology. ACM Fellow (2019) Professor Amarasinghe has made significant contributions to academic entrepreneurship and student development. He founded Determina, Inc. (acquired by VMware) based on security research from his MIT lab and co-founded Lanka Internet Services, Ltd., Sri Lanka's first ISP. As faculty director of MIT Global Startup Labs, his programs across 17 countries have helped create over 20 successful startups. His teaching includes the popular Performance Engineering of Software Systems (6.172) course with Professor Charles Leiserson, as well as innovative project-based courses like the Open Source Software Project Lab and Bring Your Own Software Project Lab. His educational approach emphasizes hands-on experience with compiler and language design concepts. Professor Amarasinghe leads the Commit compiler research group at MIT CSAIL, which has produced numerous influential domain-specific languages and compilers including Halide, TACO, Simit, StreamIt, and GraphIt. The lab maintains strong industry connections through projects like OpenTuner and Determina, and collaborates with researchers worldwide on compiler technology. The group's work spans both theoretical compiler research and practical implementation, with a consistent focus on bridging the performance gap between high-level programming abstractions and hardware capabilities.
Prof. Dr.-Ing. habil. Gerd Terörde is a Professor of Electrical Drive Technology at Osnabrück University of Applied Sciences, affiliated with the Faculty of Management, Culture and Technology. He holds a Diplom in Electrical Engineering from RWTH Aachen and a Dr.-Ing. habil. from TU Berlin. His career includes research at RWTH Aachen, KU Leuven, and TU Berlin, as well as industry roles as a project leader at Atlas Copco Airpower in Belgium. Education: 1989–1996: Diploma in Electrical Engineering (RWTH Aachen) 2002: PhD in Electrical Engineering (KU Leuven) 2008: Habilitation in Electrical Drive Technology (TU Berlin) Research focuses on electrical drives, power electronics, and control systems, with emphasis on sensorless control, renewable energy integration, and high-performance drive systems. He teaches courses on electrical machines, power electronics, control theory, and regenerative energy systems. Publications include a textbook on electrical drives and numerous patents/contributions to international journals and conferences. His work addresses topics like inverter systems, motion control algorithms, and energy-efficient drive solutions. Labs/Teams: Active in university research groups focusing on electrical drives and energy systems within the Faculty of Management, Culture and Technology.
Dr. Martin L. Kersten is a leading figure in database systems research at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, Netherlands. With over three decades of contributions, his work focuses on column-oriented database architectures, scientific data management, and query optimization. Key Research Areas: Database systems, big data processing, query performance analysis, data-intensive scientific applications Projects: MonetDB, SciQL, TELEIOS, ExaNeSt His recent publications emphasize in-database machine learning , query log mining , and exascale computing . He pioneered database cracking and intermediate recycling techniques to enhance query processing efficiency. 2014 SIGMOD Edgar F. Codd Innovations Award for groundbreaking contributions to database technology Collaborations span institutions like ICDE , VLD , and EuroSys workshops. His work bridges theoretical advancements with practical implementations for scientific and industrial applications.
Prof. Dr.-Ing. H. Siegfried Stiehl is a retired Senior Professor (until Sept 2021) at the Department of Informatics, University of Hamburg. He previously held roles including Dean of the Faculty of Mathematics, Computer Science, and Natural Sciences (2001–2006), Vice President for Research (2007–2013), and Head of the Image Processing Research Group. His academic journey includes a PhD from TU Berlin (1980) and a Habilitation in Computer Vision (1987). Education: 1973: Ing. Degree in Ingenieur-Informatik, Fachhochschule Furtwangen 1976: Diploma in Computer Science, TU Berlin 1980: Dr.-Ing. Dissertation on medical image processing, TU Berlin Research focuses on Computer Vision , Computational Neuroscience , and Cognitive Science , with contributions to medical image registration, 3D landmark detection, and biomechanical modeling. Key projects include the EU-funded 'COVIRA' consortium (1989–1995) and leadership in the SFB 950 'Manuscript Cultures' project (2015–2019). His 110+ publications span biomedical image registration, elastic deformation algorithms, and real-time signal processing. Notable collaborations include work with institutions like the University of Pennsylvania, University of Birmingham, and Philips Research. Leadership roles include organizing scientific events, serving on editorial boards (e.g., Biological Cybernetics), and founding the Interdisciplinary Nanoscience Center Hamburg (INCH) in 2001. His research has addressed challenges in neurosurgical interventions, VLSI implementation of neural networks, and interdisciplinary education.
Ina Fichtner is a Professor at the Faculty of Digital Transformation of University of Applied Sciences HTWK Leipzig since 2022. Previously, she led the MINT department at the Institute for Applied Training Science (IAT) in Leipzig for 13 years (2009–2022), focusing on integrating mathematics, informatics, and natural sciences into sports research. Her work bridges computer science , biomechanics , and sports informatics , with extensive projects on athlete movement analysis, data systems (IDA), and digital tools for elite sports. PhD in Computer Science (2007) from TU Dresden and Leipzig University Diplom in Mathematics and Computer Science (2002) from Jena, Dresden, and Sheffield Her research spans data science , sports technology , and applied informatics , particularly in ski jumping , dive analysis , and athlete biomechanics . She has co-authored numerous publications in theoretical computer science and applied sports informatics , including studies on 3D body scanning , inertial sensors , and force-velocity profiling . She served as Alumni Representative and Treasurer of the Friends' Association at HTWK Leipzig, with memberships in German Mathematical Society and German Sports Science Association .
Max Wardetzky is a Professor at the Institute for Numerical and Applied Mathematics within the Faculty of Mathematics and Computer Science at the University of Göttingen, Germany. His office is located at Lotzestraße 16-18, 37083 Göttingen, and he can be reached via email at wardetzky@math.uni-goettingen.de or by phone at +49 551 39 26778. Professor Wardetzky leads the Discrete Differential Geometry Lab at the University of Göttingen, where he conducts research at the intersection of mathematics, computer science, and geometry processing. His work bridges theoretical foundations with practical applications in computer graphics and scientific computing. His primary research interests include: Applied Geometry Discrete Differential Geometry Numerical Analysis Geometry Processing Physical Simulation Computer Graphics Professor Wardetzky's extensive publication record demonstrates significant contributions to the field of discrete differential geometry and its applications. His work shows a consistent focus on developing mathematically rigorous yet computationally efficient methods for geometric problems. Key trends in his research include the development of discrete analogues of smooth geometric objects, the study of convergence properties between discrete and continuous models, and the application of these methods to problems in computer graphics and physical simulation. Professor Wardetzky has made substantial contributions to the theoretical foundations of discrete differential geometry while maintaining strong connections to practical applications. His work on discrete Laplacians, curvature approximations, and geometric flows has influenced both theoretical mathematics and practical geometry processing algorithms.
