جست‌وجوی استاد و پژوهشگر

Dmitriy Traytelمشاهده پروفایل

دانشیار

• Logic
• Automata Theory
• Runtime Verification
• +۷ مورد دیگر

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.

Kevin Schneiderمشاهده پروفایل

استاد پژوهشی

• Power System Analysis
• Grid Modernization
• Microgrids
• +۵ مورد دیگر

Kevin Schneider is a Laboratory Fellow at Pacific Northwest National Laboratory (PNNL), a Research Professor at Washington State University (WSU), and an Affiliate Associate Professor at the University of Washington. As manager of PNNL's Office of Electricity Subsector, he leads business development, client relations, and strategic investments in R&D for the grid sector, overseeing portfolios in component design, system modeling, hierarchical controls, secure communications, and energy storage. Dr. Schneider is internationally recognized for his expertise in power system analysis, planning, and operations. His research focuses on improving grid reliability and system flexibility by harnessing advanced grid concepts at the edge of power systems, including microgrids, energy storage, electric vehicles, distributed energy resources, and smart home appliances. At WSU, he is a researcher for the WSU and PNNL Advanced Grid Institute (AGI), implementing layered control architectures to enhance operational flexibility of critical power systems. His work spans multiple disciplines within electrical engineering and power systems, with strong emphasis on practical applications for grid modernization, particularly in grid resilience, microgrid operations, and integration of distributed energy resources. Dr. Schneider is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), where he has served in multiple technical leadership roles. His scientific contributions have been recognized with significant awards: Presidential Early Career Award for Scientists and Engineers (PCASE), 2019 Fellow of the Institute of Electrical and Electronics Engineers (IEEE) Dr. Schneider earned his B.S. in Physics and M.S. and Ph.D. in Electrical Engineering from the University of Washington. He is a licensed Professional Engineer in Washington State. His research has resulted in numerous patents related to power grid technologies, including several focused on voltage and frequency stability of distribution systems. His work has substantial implications for grid modernization efforts and the development of more resilient power systems in the face of climate change and other challenges.

Amr Rizkمشاهده پروفایل

استاد

• Networking
• Communication Systems
• Network Calculus
• +۵ مورد دیگر

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.

Tobias Binningerمشاهده پروفایل

پژوهشگر

• Electrochemistry
• Materials Science
• Quantum Mechanics
• +۵ مورد دیگر

Dr. Tobias Binninger is a researcher at the Institute of Energy Technologies (IET) within Forschungszentrum Jülich GmbH, Germany. His work focuses on theoretical and computational modeling of materials for electrochemical energy systems , particularly in the context of catalysts and solid-state electrolytes. His research spans topics such as electrochemical interfaces , redox reactions , quantum capacitance , and nanoparticle stability , as reflected in his publications in high-impact journals. He has contributed significantly to understanding the Oxygen Evolution Reaction (OER) mechanisms and solid-state electrolyte materials through advanced computational methods like quantum annealing and density functional theory. Recent studies highlight his focus on electrolyte correlation effects , metal-support interactions , and co-electrolysis cell design for CO 2 reduction. Despite lacking explicit details on awards or mentoring, his work addresses critical challenges in energy storage , catalyst degradation , and quantum modeling of electrochemical systems .

Harald Kleinمشاهده پروفایل

استاد

• Process Engineering
• Power Plant Technology
• Thermodynamics
• +۳ مورد دیگر

Prof. Dr.-Ing. Harald Klein holds the Professorship of Plant and Process Engineering at the TUM School of Engineering and Design (Technical University of Munich). His research focuses on process engineering analysis and synthesis, particularly thermal/chemical unit operations applied to power plant technology. Develops thermodynamic substance models & simulation tools Expertise in industrial process design and optimization Collaborates on hydrogen liquefaction and biofuel production Research trends: 2016-2017 publications show emphasis on sustainable energy systems Combines traditional process engineering with modern optimization Key domains: hydrogen technology, chemical reactors, and thermal systems

Christian Engwerمشاهده پروفایل

استاد

• Partial Differential Equations
• Numerical Analysis
• Finite Element Methods
• +۷ مورد دیگر

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.

Ilia Polianمشاهده پروفایل

استاد

• Circuit Architecture
• System Design
• Hardware Reliability
• +۶ مورد دیگر

Prof. Ilia Polian serves as Head of the Institute of Computer Engineering and Chair of the Hardware-Oriented Computer Science (HOCOS) department at the University of Stuttgart. His leadership spans research, teaching, and institutional coordination across multiple high-impact projects. Prof. Polian's research focuses on developing circuit and system architectures based on both traditional and novel principles, including neuromorphic, stochastic, and approximate architectures. His second major research focus is systematic design methodology and design automation, with particular emphasis on safety and reliability properties of developed systems. Current research directions include quantum computing engineering, secure mixed-signal neural networks, and resource-efficient stochastic circuits for near-sensor computing applications. His recent publications demonstrate strong trends in quantum computing (particularly circuit partitioning and compilation for multi-QPU architectures), hardware security (including memristive cryptographic implementations), and AI-driven approaches to hardware testing and reliability. These works bridge fundamental computer architecture research with practical industrial applications. University of Stuttgart's Publication Prize for Paper on Partitioning of Quantum Circuits Prof. Polian actively supervises doctoral students including Devanshi Upadhyaya, and leads significant research grants such as the DFG Priority Program Nano Security which he coordinates. His department offers numerous thesis and research opportunities for students interested in cutting-edge hardware research. The Hardware-Oriented Computer Science department maintains strong collaborations with industry partners including IBM, Infineon Technologies, and Advantest, as well as academic institutions through the IQST Graduate School and QuantumBW initiatives.

Jakob Beetzمشاهده پروفایل

استاد

• Building Information Modeling (BIM)
• Digital Twins
• Artificial Intelligence in Construction
• +۳ مورد دیگر

Prof. Dr. Jakob Beetz serves as a University Professor at RWTH Aachen University's Faculty of Architecture, leading the Design Computation (DC) research group. His work addresses critical challenges in sustainable built environments through digital innovation, focusing on integrating knowledge, information, and data across disciplines to reduce the sector's energy and material consumption—which accounts for over one-third of global totals—while advancing climate goals under the European Green Deal. His research spans Building Information Modeling (BIM), digital twins, and artificial intelligence, with emphasis on graph-based data federation, semantic web technologies, and large language models in construction. Key interests include evidence-based planning, parametric design optimization, building physics simulation, and networked knowledge modeling. Recent projects explore federated digital twin ecosystems for infrastructure management, intelligent damage assessment systems, and AI-driven solutions for wood structure preservation, directly contributing to sustainable development targets. Analysis of his 2024-2025 publications reveals a cohesive trajectory toward decentralized data environments and AI integration in Architecture, Engineering, and Construction (AEC). His work bridges theoretical foundations in knowledge representation with practical applications in bridge maintenance, road infrastructure, and timber construction, demonstrating consistent innovation in spatial data querying, federated issue management, and ontology-based process modeling. Prof. Beetz actively supervises PhD candidates, as evidenced by DC.Promotions 2024, and drives international collaboration through events like the Forum Construction Informatics 2025 and CIB W78 conferences. His research group engages with industry standards including Industry Foundation Classes (IFC) and Common Data Environments (CDEs), emphasizing open data principles and interoperability to transform construction workflows.

Christoph Heinzlمشاهده پروفایل

استاد

• Scientific Visualization
• Visual Analytics
• Immersive Analytics
• +۳ مورد دیگر

Christoph Heinzl is a Professor of Cognitive Sensor Systems at the University of Passau since September 2022. He leads the Knowledge-based Image Processing research group at the Fraunhofer Development Center X-ray Technology (EZRT) . His academic background includes a PhD in Informatics and a Habilitation in 2022 , both from TU Wien . Research Focus: Scientific visualization, visual analytics, immersive analytics, virtual/augmented reality, machine learning, and X-ray computed tomography (XCT). Key Trends: Development of novel visualization techniques for complex volumetric data (e.g., dynamic volume lines, visual coherence frameworks), parameter space analysis, and cross-virtuality collaboration tools. Applications: Aerospace component inspection, defect analysis in composites (CFRP, GFRP), porosity quantification, and 4DCT time-series exploration.

Helge Steinمشاهده پروفایل

استاد

• Digital Catalysis
• Battery Research
• Materials Science
• +۳ مورد دیگر

Prof. Helge Stein is a Professor in the Department of Chemistry at the Technical University of Munich (TUM), leading the Professorship for Digital Catalysis. He holds a doctorate in mechanical engineering from Ruhr University Bochum (summa cum laude) and conducted postdoctoral research at Caltech before joining TUM in 2023. His research focuses on accelerating materials discovery and optimization through digital tools like machine learning, robotics, and data management, with applications in catalysis and battery systems. Stein has pioneered the development of Materials Acceleration Platforms (MAPs) to streamline experimental and computational workflows globally. Education: Bachelor/Master in Physics, Georg August University of Göttingen (2008–2013) Doctorate in Mechanical Engineering, Ruhr University Bochum (2017, summa cum laude) Postdoc, California Institute of Technology (2017–2020) Tenure-track Professor, Karlsruhe Institute of Technology (2020–2023) Research Interests: Integration of robotics and AI in materials research High-throughput experimentation for battery and catalysis systems Data-driven approaches to nonlinear material-behavior analysis Development of decentralized Materials Acceleration Platforms (MAPs) Key Awards: ACS Engineering Au Rising Star (2023) Kit Innovation Award (2023) Masao Horiba Award (2021) Eickhoff Prize (2018) Teaching: Leads courses on high-throughput methods, data management in chemistry, and digital catalysis seminars. Collaborates with interdisciplinary teams across TUM's School of Natural Sciences and the Munich Institute of Robotics and Machine Intelligence. Labs/Teams: Directs research groups focused on automated electrochemistry, materials robotics, and AI-driven battery design, with partnerships spanning academia and industry for global MAP implementations.

Alan Misloveمشاهده پروفایل

استاد

• Algorithmic Auditing
• Fairness
• Privacy
• +۴ مورد دیگر

Alan Mislove is a Professor of Computer Science at Northeastern University and serves as Senior Associate Dean for Academic Affairs and Interim Executive Director of the Institute of Experiential Artificial Intelligence (EAI). He is also a core faculty member of the Cybersecurity and Privacy Institute and EAI at Northeastern. His research focuses on algorithmic auditing, fairness, and privacy in online systems. Notably, he has testified before Congress on algorithmic discrimination, challenged the CFAA in ACLU litigation, and contributed to landmark FTC and DOJ cases against Meta. His work has been funded by the NSF, Army Research Office, Google, and Amazon Web Services. Mislove’s academic leadership includes roles in Khoury College, where he supports over 2,000 students and faculty. He has advised numerous PhD students, including current research scientist Piotr Sapieżyński. His lab explores algorithmic transparency, PKI security, and middlebox traffic differentiation. Key awards include the 2017 ACM SIGCOMM Test of Time Award and recognition for work on QUIC protocol evaluation. He has authored over 150 publications, including seminal studies on Facebook ad discrimination and Uber’s surge pricing. His teaching spans systems, networks, and social computing courses, emphasizing experiential learning. Mislove actively serves on program committees for IMC, PETS, and other top conferences, and contributed to policy as Deputy U.S. CTO for Privacy (2023–2024).

Stephan Raveمشاهده پروفایل

پژوهشگر

• Numerical Analysis
• Scientific Computing
• Machine Learning
• +۴ مورد دیگر

Dr. Stephan Rave is a Researcher in the Institute for Analysis and Numerics at the University of Münster. He is affiliated with the Applied Mathematics Münster cluster and serves as an Investigator in Mathematics Münster. His work focuses on numerical analysis, scientific computing, and machine learning, with a strong emphasis on model reduction techniques for complex systems. Education : PhD in Mathematics (2012), University of Münster, thesis on finitely summable K-homology. Master's and Bachelor's degrees in Mathematics from the University of Münster. Research Interests : Dr. Rave specializes in model order reduction (MOR) methods, including reduced basis techniques, localized orthogonal decomposition (LOD), and nonlinear approximation strategies. His work addresses challenges in multiscale modeling, domain decomposition, and parametrized partial differential equations. He also develops open-source software tools like pyMOR for MOR and contributes to initiatives like the MaRDI (Mathematical Research Data Initiative) to enhance interoperability in scientific computing. Projects : Key initiatives include the MaRDI project (2021–2026), EXC 2044 Cluster of Excellence (Geometry-based modeling), and MULTIBAT (lithium-ion battery simulation). His research bridges theoretical developments with practical applications in battery modeling, electrochemistry, and computational fluid dynamics. Grants & Awards : Funded by DFG, the German Federal Ministry of Research, and internal university grants, his work addresses strategic areas like sustainable research software and energy storage systems. He leads projects on distributed model reduction and communication-avoiding algorithms. Teaching : Dr. Rave teaches advanced numerical methods courses, including Model Order Reduction, Numerical Methods for PDEs, and Python-based computational labs. He co-organizes seminars and workshops on MOR and scientific software engineering.

Jens von Wolfersdorfمشاهده پروفایل

استاد

• Thermal Engineering
• Fluid Dynamics
• Aerospace Engineering
• +۳ مورد دیگر

Jens von Wolfersdorf is a Professor at the University of Stuttgart's Faculty of Engineering, Department of Mechanical Engineering. His research focuses on advanced thermal management systems for high-speed aerospace applications, particularly in the areas of heat transfer, fluid dynamics, and combustion. He specializes in experimental and numerical methods for analyzing complex flows in rotating and stationary cooling channels, transpiration cooling for rocket engines, and turbulence modeling. His work integrates cutting-edge techniques such as thermochromic liquid crystal (TLC) measurements, particle image velocimetry (PIV), and computational fluid dynamics (CFD) to validate novel cooling configurations. Key projects include the COOREFLEX-Turbo initiative and contributions to the European ATLLAS-II program for high-speed vehicle materials. Recent studies emphasize rotational heat transfer effects in two-pass cooling channels, additive manufacturing of ribbed cooling structures, and validation of coupled FEM-CFD frameworks. His research addresses challenges in aerospace thermal protection, turbine blade cooling, and scramjet combustor efficiency. Publications span over 15 years, with a focus on transient heat transfer, flow visualization, and material characterization for transpiration-cooled systems. Collaborations involve experimental facilities for high-speed flows and advanced thermal measurement systems.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

• Embedded Systems
• Software Verification and Validation
• Model Checking
• +۵ مورد دیگر

Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.