Find Academic Supervisors

• Computerized Tomography
• Radon Transform
• Mathematical Imaging
• +4 more

Matthias Beckmann is an active researcher specializing in mathematical imaging, with a strong focus on the Radon Transform and its applications in computerized tomography and image processing. His work spans theoretical developments, algorithm design, and practical implementations in medical and computational imaging. He has established significant collaborations with researchers across multiple institutions, particularly with Ayush Bhandari, Felix Krahmer, and Robert Beinert. Beckmann's research primarily centers on the Modulo Radon Transform, a specialized area within mathematical imaging that addresses challenges in high-dynamic-range tomography and limited data scenarios. His work bridges theoretical mathematics with practical computational methods, developing novel inversion formulas, reconstruction algorithms, and classification techniques. He has made significant contributions to understanding the properties of the Modulo Radon Transform, developing Fourier-domain inversion methods, and creating normalized transforms that provide invariance and robustness in image classification tasks. Analysis of Beckmann's publication trends reveals a consistent progression from theoretical foundations to practical applications. His early work established the mathematical framework for the Modulo Radon Transform, while more recent publications demonstrate applications in machine learning, optimal transport theory, and specialized imaging scenarios like thermogram analysis of watermarks in manuscripts. His research shows increasing integration of neural network approaches with traditional mathematical imaging techniques, particularly in addressing indirect measurement problems. Beckmann has contributed to multiple prestigious journals including SIAM Journal on Imaging Sciences, SIAM Journal on Mathematics of Data Science, and IEEE Transactions on Computational Imaging, demonstrating the significance and recognition of his work within the mathematical imaging community. His publications span conference proceedings, journal articles, and technical reports, showing versatility in communicating research findings to different academic audiences. Through his collaborations and publication record, Beckmann appears to be actively involved in research teams focused on computational imaging and mathematical methods for image processing. His work on lecture notes suggests involvement in educational activities related to computerized tomography, though specific teaching roles or institutional affiliations are not explicitly documented in the available publication records.

• Analog-to-Digital Converters (ADCs)
• Integrated Circuit Design
• Signal Processing
• +3 more

Bingbing Yao is a researcher with expertise spanning analog/digital integrated circuit design, blockchain systems, and scholarly knowledge graph applications. Her work focuses on high-precision ADC calibration , deep reinforcement learning for blockchain sharding , and semantic organization of scientific knowledge .

Emanuele D'OsualdoView profile

Professor

• Programming Languages
• Verification
• Security
• +8 more

Emanuele D'Osualdo is a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz, Department of Computer and Information Science. Previously, he was a Postdoctoral Researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken until April 2024, working with Derek Dreyer on verification of concurrent software. Before that, until September 2020, he was a Marie Curie Fellow at Imperial College London, working with Prof. P. Gardner. From 2015 to 2017, he was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer. His educational background includes: PhD (DPhil) in Computer Science from the University of Oxford (2015), supervised by Prof. C.-H. Luke Ong Undergraduate and master's studies at the University of Udine, Italy, graduating with honors and supported by the Scuola Superiore scholarship Emanuele D'Osualdo's research focuses on Formal Methods for the verification of software, with particular emphasis on two main approaches: automatic verification methods using static analysis and infinite-state model checking; and compositional methods, focusing on program logics for properties beyond safety. His work spans several areas including Programming Languages, Verification, Security, Concurrency Theory, Probabilistic Programs, Types, Static Analysis, Process Algebra, and Model Checking. His research has led to the development of tools such as Soter for automatic safety verification of Erlang programs and James Bound for analyzing π-calculus. His recent publications demonstrate a strong focus on advanced verification techniques for concurrent and distributed systems, with particular attention to linearizability, session types, security protocols, and probabilistic reasoning. His work bridges theoretical foundations with practical applications in software verification, showing a progression from foundational work on π-calculus to more applied verification of concurrent data structures and probabilistic systems. He has received notable recognition for his work, including: Winner of the 2016 CPHC/BCS Distinguished Dissertation award Marie Curie Fellow Emanuele actively supervises students and leads research in formal methods. He is involved in several research projects related to software verification and has presented his work at top-tier conferences including POPL, OOPSLA, ESOP, and CAV. He is scheduled to give a keynote at HYPER'25 in Zagreb and will be attending POPL'25. His research group appears to focus on developing theoretically sound yet practical verification techniques for modern concurrent and distributed software systems.

• Theoretical Computer Science
• Algorithms
• Approximation Algorithms
• +7 more

Shaofeng Jiang is an Assistant Professor at Peking University, affiliated with the School of Computer Science and the Center on Frontiers of Computing Studies. He previously held an assistant professor position at Aalto University and was a postdoctoral researcher at the Weizmann Institute of Science under Robert Krauthgamer. He earned his PhD from the University of Hong Kong under Hubert Chan and completed his bachelor's at Shandong University. PhD: University of Hong Kong, supervised by Hubert Chan Bachelor's: Shandong University His research lies in theoretical computer science, focusing on algorithm design for massive and high-dimensional data. Key interests include approximation algorithms, online algorithms, streaming algorithms, clustering, coresets, and dimensionality reduction. His work often bridges theoretical guarantees with practical applications in distributed and parallel computing environments. The recent publications reveal a strong trend in developing efficient and scalable algorithms for clustering problems, particularly through coreset construction, dimensionality reduction, and distributed models like MPC. There is a growing emphasis on fairness, robustness, and dynamic settings, indicating a forward-looking research agenda in adaptive and responsible algorithmic systems. He actively mentors PhD students and teaches both undergraduate and graduate courses in programming and computational social science. He has served on program committees for top conferences including NeurIPS, ICML, and STOC, and co-organized a Dagstuhl seminar on clustering. Scientific Service and Leadership: Co-organizer, Dagstuhl Seminar on New Trends in Clustering (2026) Area Chair, NeurIPS 2024 and 2025 Program Committee, IPDPS 2019, SWAT 2022, COCOA 2024, ICALP 2026 He has received no explicitly mentioned scientific awards. His grants and funding sources are not detailed in the text. He leads a research group focused on theoretical foundations of data-efficient algorithms, collaborating with students on cutting-edge problems in high-dimensional and streaming data analysis.

• Edge Computing
• 5G Networks
• Serverless Applications
• +4 more

Dr. Balázs Sonkoly is a researcher specializing in edge computing, serverless applications, and 5G network optimization. His work focuses on latency-sensitive systems, multi-user augmented reality coordination, and cloud-native microservice management across distributed architectures. Key research themes include network function virtualization (NFV), software-defined networking (SDN), and programmable packet-optical networks Recent publications analyze AI-driven autoscaling, P4-assisted serverless migration, and multi-domain service orchestration Article trends reveal expertise in mixed reality frameworks, federated learning for vehicular networks, and edge-cloud convergence. His collaborations span institutions like IEEE, SIGCOMM, and the UNIFY project. Contributions to conferences like NOMS, ISMAR, and GLOBECOM highlight practical implementations of edge cloud platforms, SLAM integration, and latency-constrained resource allocation.

Sharon ShohamView profile

Professor

• formal verification
• program analysis
• model checking
• +4 more

Sharon Shoham is a Professor at the School of Computer Science, Tel Aviv University, specializing in formal verification and program analysis. She leads research under a 5-year ERC grant on supervised verification of infinite-state systems and mentors PhD students, postdocs, and visiting scholars. Research Interests : Her work focuses on formal verification, program analysis, model checking, and verification of distributed systems. She explores inductive invariants, quantifier instantiation, and abstract interpretation. Recent Publications (2023-2025) highlight advancements in liveness properties , hyperproperty verification , quantifier elimination , and distributed protocol verification , often leveraging first-order logic and constraint-solving techniques. Scientific Awards : Distinguished paper awards at POPL 2025 and POPL 2024 Best paper and best student paper awards at DISC 2024, CAV 2019, and DISC 2018 Best paper awards at VMCAI 2016, ATVA 2009, SPIN'08, SAS'07, and FMCAD'07 Advising & Grants : Actively recruits strong PhD students and postdocs under an ERC grant. Collaborates with institutions like Technion and Tel Aviv University on verification frameworks and tools such as Ivy and mypyvy.

Mirco SternView profile

Researcher

• Sensor Networks
• Database Systems
• Service Composition
• +2 more

Mirco Stern is a researcher at the Institute of Information Management (IPD Böhm) at Karlsruhe Institute of Technology. His work focuses on sensor networks, database systems, and service composition technologies. Key research areas include distributed query processing, data quality guarantees, and optimization of join operations in resource-constrained environments. Role : Researcher, Institute of Information Management Location : Karlsruhe, Germany Research trends highlight his expertise in sensor network optimization (join processing, wavelet transforms) and service composition (semantic matchmaking, automated integration). Publications span ACM SIGMOD, VLDB, and ECOWS conferences, emphasizing algorithm design and system efficiency.

Thomas BergerView profile

Assistant Professor

• Control Theory
• Systems Theory
• Mathematical Modeling
• +4 more

Thomas Berger is an Assistant Professor at Paderborn University, affiliated with the Faculty of Computer Science, Electrical Engineering and Mathematics and the Institute of Mathematics. He leads the Applied Mathematics and Stochastics group, focusing on systems theory and control theory. Email: thomas.berger@uni-paderborn.de, thomas.berger@math.upb.de Office: Technologiepark 21, Room TP21.1.21, Paderborn His research centers on control theory, systems theory, and mathematical modeling, with applications in dynamical systems and public health. Recent work includes funnel control for linear/nonlinear systems, synchronization of heterogeneous agents, and feedback control strategies for managing pandemic ICU capacity. Key trends in his publications include funnel control , descriptor systems , nonlinear system constraints , and public health dynamics , reflecting interdisciplinary applications of control theory. At Paderborn University, he is the head of the Applied Mathematics and Stochastics group within the Institute of Mathematics and teaches a seminar on Mathematical Systems and Control Theory.

Alfonso Rafael Cabrera GaliciaView profile

Researcher

• Cryogenic Electronics
• Quantum Computing Hardware
• Semiconductor Device Physics
• +3 more

Alfonso Rafael Cabrera Galicia is a Doctoral Researcher at the Forschungszentrum Jülich, affiliated with the Peter Grünberg Institute (PGI) and its department Integrated Computing Architectures (PGI-4) . His work focuses on cryogenic electronics for quantum computing and semiconductor device physics. Academic Rank: Researcher Location: Wilhelm-Johnen-Str. 1, Jülich, 52428 Contact: +49 2461 61 2425 His research spans cryogenic integrated circuits , power management for quantum systems , and low-temperature semiconductor behavior . Recent publications highlight advancements in voltage regulation, noise thermometry, and cryogenic CMOS optimization for quantum computing. Key trends: Cryogenic compatibility of FDSOI technology Quantum control circuit design Power integrity in large-scale systems Thermal effects in nanoscale transistors Labs/Teams: • Peter Grünberg Institute (PGI-4) - Integrated Computing Architectures

Dirk TimmermannView profile

Academic

• Microelectronics
• Embedded Systems
• Wireless Sensor Networks
• +3 more

Dirk Timmermann is Senior Professor of Computers in Technical Systems at the Institute for Applied Microelectronics and Data Technology , University of Rostock , Germany. He is affiliated with the Interdisciplinary Faculty (INF) within the Department of Life, Light & Matter. Academic Role: Senior Professor focusing on technical systems Research Areas: Digital CMOS circuits, energy-efficient systems, wireless communication protocols Teaching: Advanced VLSI design and digital systems Current Projects: Deep brain stimulation devices, TSN networking, medical device interoperability His recent publications (2023-2025) emphasize preclinical neurostimulation research (STN-DBS applications in Parkinsonian models), time-sensitive networking (TSN scheduling, IEEE 802.11 protocols), and medical device integration (IEEE 11073 SDC implementations). He contributes to: Ad hoc sensor network architectures Energy-efficient FPGA designs Service-oriented medical device connectivity Building automation security frameworks Prof. Timmermann serves on the Senate Committee on Budget, Personnel and Construction at University of Rostock.

Helge ParzyjeglaView profile

Researcher

• Publish/Subscribe Systems
• Distributed Event-Based Systems
• Time-Sensitive Networking
• +5 more

Dr. Helge Parzyjegla is a researcher at the Institute of Computer Science at the University of Rostock, Germany. His work focuses on publish/subscribe systems, time-sensitive networking, and autonomous underwater vehicles. He has maintained a consistent publication record since 2005 and continues to produce significant contributions to distributed systems and networking. Dr. Parzyjegla completed his PhD in 2014 at the University of Rostock with a dissertation titled "Engineering Publish/Subscribe Systems and Event-Driven Applications." Prior to that, he earned his Master's degree in 2005 from the Technical University of Berlin with a thesis on "An adaptive broker network for publish/subscribe systems." His research spans several interconnected areas in computer science and engineering. He has made significant contributions to publish/subscribe middleware systems , developing autonomous and adaptive approaches for event-based communication. His work on time-sensitive networking addresses critical challenges in real-time industrial applications, focusing on reliability, scheduling, and security. More recently, he has expanded his research to autonomous underwater vehicles , developing simulation models, path planning algorithms, and collaborative systems for maritime applications. His interdisciplinary approach bridges theoretical computer science with practical engineering applications. An analysis of his recent publications (2021-2025) reveals a clear progression from foundational work on publish/subscribe systems toward more applied research in time-sensitive networking and autonomous underwater vehicles. His work consistently addresses reliability, efficiency, and security challenges in distributed systems. The increasing focus on maritime applications since 2021 demonstrates his ability to adapt his expertise to new application domains while maintaining technical rigor. Best Paper Award in System Software and Security (2015) Dr. Parzyjegla has collaborated extensively with researchers at the University of Rostock and other institutions, particularly in the areas of networked systems and maritime technology. His sustained publication record suggests successful funding for his research activities. His work appears to involve both theoretical development and practical implementation, with numerous collaborations on simulation frameworks and experimental systems. His research appears to be conducted within the broader context of the Institute of Computer Science at the University of Rostock, with particular connections to groups working on distributed systems, networking, and maritime applications. The consistent collaboration with researchers like Gero Mühl, Peter Danielis, and Willi Brekenfelder suggests a cohesive research team focused on networked systems and their applications.

Folkmar BornemannView profile

Professor

• Numerical Mathematics
• Scientific Computing
• Multiscale Problems
• +5 more

Prof. Dr. Folkmar Bornemann is a full Professor at the Technical University of Munich (TUM) within the School of Computation, Information and Technology. He leads the Chair of Scientific Computing and has been active in numerical mathematics and computational methods since 1998. Numerics of Multiscale Problems Interplay between algorithms and mathematical analysis Applications in medical technology, natural sciences, and digital image processing His research focuses on Scientific Computing and Numerical Mathematics , particularly addressing challenging problems through computational methods. He has contributed to areas including: Random matrix theory Image processing algorithms Homogenization of mechanical systems Fredholm determinants computation Scientific awards include: 100-Digit Challenge (SIAM, 2002) Ernst Reuter Prize (FU Berlin, 1992) Joachim Tiburtius Prize (Berlin, 1990) He has held leadership roles such as Dean of Mathematics Faculty (2018-2022) and serves on the German Council of Science and Humanities since 2024.

Steffen DirkesView profile

Researcher

• Fuel Cell Technology
• Green Hydrogen
• Energy Systems
• +3 more

Dr. Steffen Dirkes is the Acting Group Lead for System Research at the Institute of Energy Technologies (IET), Research Center Jülich GmbH . His work focuses on electrochemical energy systems, particularly proton exchange membrane (PEM) fuel cell technologies for sustainable mobility and industrial applications. His research interests span Fuel Cell Technology Green Hydrogen Energy Systems Optimization Computational Modeling Hydrogen Mobility Sustainable Energy . He specializes in predictive maintenance, dynamic system modeling, and energy-water nexus solutions. Dr. Dirkes has contributed to 12 publications (2019–2025) on topics like DryHy project for water-positive hydrogen carriers, lifetime management frameworks for fuel cells, and adaptive energy management strategies for hybrid railway systems. His work combines advanced simulation techniques with real-world validation in transportation and heavy-duty applications.

Daniel GritznerView profile

Researcher

• Deep Learning
• Transfer Learning
• Semantic Segmentation
• +7 more

Daniel Gritzner is a researcher at the Institute for Information Processing (Leibniz Universität Hannover) , specializing in computer vision, remote sensing, and scenario-based software engineering. His work bridges academic research with real-world applications in renewable energy, geospatial analysis, and automated code generation. Studied Computer Science (B.Sc. 2010, Diploma 2014) at the University of Mannheim Focus areas: Deep Learning, Semantic Segmentation, Remote Sensing, Formal Specifications His research integrates computer vision with remote sensing , applying techniques like transfer learning and domain adaptation to aerial/satellite imagery. Key projects include SegForestNet for segmentation and WindGISKI for wind turbine site selection. Recent publications highlight advancements in semantic segmentation, hyperspectral band optimization, and scenario-based controller synthesis. Collaborative work with Jörn Ostermann and others demonstrates interdisciplinary approaches across IEEE, Springer, and arXiv platforms. Technical contributions include the open-source SegForestNet framework, implementing binary space partitioning trees for geospatial analysis. This toolchain combines Python/Rust with PyTorch, emphasizing reproducibility and practical deployment in industrial/energy domains.

Gunther GustView profile

Professor

• Artificial Intelligence in Business
• Business Information Systems
• Energy Systems
• +3 more

Gunther Gust is a Professor at the Institute of Business Administration of the Julius-Maximilians-University Würzburg , holding the Chair of Process and IT Integration for Artificial Intelligence in Business since August 2022. Previously, he led the research group "Smart Cities and Industries" at the University of Freiburg and worked as a research assistant there. Doctorate (summa cum laude) in Decentralized Electricity Networks Graduated with distinction in Industrial Engineering (KIT) Research stays at Lawrence Berkeley National Laboratory and ITESM, Mexico Research Focus: Gust specializes in integrating AI into business processes, particularly for energy systems and smart cities. His work addresses challenges in decentralized electricity networks, microgrid operations, and analytics adoption in traditional companies. Scientific Awards: Doctoral scholarship from the German National Academic Foundation Doctoral scholarship from the Heinrich Böll Foundation Graduated with distinction from Karlsruhe Institute of Technology (KIT) Grants & Team: Participated in R&D projects like Smart Cities and Industries and collaborated with institutions such as Lawrence Berkeley National Laboratory. His team includes Ignacio Ubeda, Justus Ameling, Viet Nguyen, Vanessa Haustein, and Govind Rao.