Min Peng is a Professor at Wuhan University's School of Computer Science. His research focuses on artificial intelligence, machine learning, natural language processing, and knowledge graphs. He has collaborated extensively with institutions like Hefei University of Technology and the University of Chinese Academy of Sciences. His work bridges theoretical advancements in AI with practical applications in finance, social media analysis, and network optimization. Recent contributions include neural-symbolic reasoning frameworks, contrastive learning for knowledge graphs, and financial benchmarking with large language models. Research interests emphasize scalable machine learning models for complex reasoning tasks, explainable AI, and domain-specific applications in finance and social networks. Over 100 publications span venues like WWW, ACL, and NeurIPS, highlighting interdisciplinary impact. Notable projects include SymAgent (neural-symbolic agent frameworks), PIXIU (financial LLM benchmark), and DTC (commonsense machine comprehension). Key technical trends include integrating large language models with structured data, temporal knowledge graph reasoning, and transfer learning across domains. His work often addresses real-world challenges in data efficiency, interpretability, and cross-domain scalability. Current efforts explore financial LLMs, agent-based reasoning systems, and multimodal applications. While no specific grants or awards are listed in the provided data, his prolific publication record indicates sustained research excellence. Collaboration networks include teams in computer science, electrical engineering, and finance disciplines.
Dr. Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology (Illinois Tech), where she explores logical foundations of concurrency and develops formal methods for program verification. She earned her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Frank Pfenning, followed by a postdoctoral fellowship at CMU with Limin Jia and Stephanie Balzer. Current affiliation: Illinois Tech (since ~2021) Previous affiliation: Carnegie Mellon University (Ph.D. and postdoc) Research focus: Type theory, logical verification, and security for concurrent systems Teaching: Courses on programming languages, type systems, and security Her research addresses fundamental challenges in concurrent programming, including: Developing modal logic frameworks for system verification Designing type systems for intermittent computing Creating behavioral type systems for security guarantees Applying relational logic to GPU security and secure compilation Investigating logical foundations of session-typed processes Formal verification of cyclic process networks Current research trends include: Hybrid dynamic verification for parallel systems Logical approaches to side-channel security Formal methods for cyber-physical systems Crash-resilient computing models Security verification in decentralized applications Noninterference proofs in session-typed concurrency Scientific recognition: NSF SaTC CORE Collaborative Award #2350217 Organizing committee member at Dagstuhl Seminar 26071 Professional leadership: Program committee co-chair for PLACES 2025 Committee roles at LICS 2026, ESOP 2026, ICFP 2025, and ECOOP 2025 Regular reviewer for ACM Transactions journals Laboratory involvement: Co-director of behavioral types research at Illinois Tech Collaboration with Carnegie Mellon's formal verification group Key participant in the FACCT workshop
Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.
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. 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.
Professor Amr Rizk is the Director of the Networks and Communication Systems (NCS) Lab at the University of Duisburg-Essen, where he has been serving as Professor since April 2021. Previously, he was Assistant Professor at Ulm University (2019-2021) and completed his habilitation at TU Darmstadt in 2019. His academic journey includes research positions at prestigious institutions including University of Massachusetts Amherst, University of Warwick, and TU Darmstadt where he was an Athene Young Investigator. Professor Rizk's research spans multiple aspects of networking and communication systems with a particular focus on network performance analysis, stochastic modeling, and practical implementations. His work bridges theoretical foundations with real-world applications, especially in content delivery, video streaming, and network protocols. He has made significant contributions to network calculus, quality of experience optimization, and novel approaches to congestion control and caching mechanisms. His publication record demonstrates consistent high-impact contributions across top networking conferences and journals. Recent work shows a growing emphasis on programmable data planes, AI/ML applications in networking, and advanced techniques for network measurement and performance prediction. His research group at Duisburg-Essen maintains strong connections with both academic and industrial partners in the networking ecosystem. Best Paper Award at ACM MMSys Conference (2023) Distinguished TPC Member for IEEE INFOCOM (2020, 2022) Best Paper Award at ACM/USENIX Middleware Conference (2017) Athene Young Investigator Award, TU Darmstadt (2017) Professor Rizk serves as Associate Editor for Elsevier Computer Communications and has extensive experience with research funding bodies as a reviewer. His leadership extends to conference organization, including roles as PC Co-Chair for IEEE MIPR (2023) and Steering Committee member for Workshop on Network Calculus (2022). He maintains active participation in numerous top networking conferences as Technical Program Committee member, reflecting his standing within the international networking research community.
Dr. Magdalena Schreter-Fleischhacker works at the Technical University of Munich within the Professorship of Simulation for Additive Manufacturing . Her research focuses on physics-based computational modeling of coupled liquid-powder-gas dynamics in metal additive manufacturing, including melt pool dynamics and powder-gas interactions . She specializes in multi-phase flow modeling using cut-element and diffuse interface methods with continuous/discontinuous Galerkin schemes . She also develops constitutive models for quasi-brittle materials like 3D printed concrete and rock, incorporating anisotropy , gradient-enhanced damage mechanics , and micropolar continua . Her computational work leverages matrix-free algorithms and parallel computing , with significant contributions to the deal.II finite element library . Research Interests Physics-based computational modeling of coupled liquid-powder-gas dynamics in additive manufacturing Multi-phase flow simulation using sharp/diffuse interface methods Advanced constitutive modeling for quasi-brittle materials (rock, soils, 3D printed concrete) High-performance computing and matrix-free algorithms Notable Contributions Development of consistent diffuse-interface models for melt-vapor dynamics Improvements to continuum surface flux models in additive manufacturing Formulation of gradient-enhanced damage-plasticity models for geological materials Principal contributor to the deal.II library (version 9.6) Supervised Student Projects Johannes Resch (2024): DG-based thermo-hydrodynamic melt pool simulations Julian Brotz (2024): DEM-FEM coupling for fluid-powder interaction Andreas Ritthaler (2024): Matrix-free cutDG formulation for complex flows Tinh Vo (2023): Laser modeling for melt pool simulations Scientific Awards ERC Starting Grant recipient
