Find Academic Supervisors

• Adaptive nonparametric statistics
• High-dimensional data analysis
• Financial time series modeling
• +5 more

Prof. Vladimir Spokoiny is a leading figure in stochastic algorithms and nonparametric statistics at the Weierstrass Institute for Applied Analysis and Stochastics (WIAS) and Humboldt University of Berlin . His work bridges mathematical statistics with practical applications in finance, medicine, and machine learning. Born in 1959 in Moscow, USSR PhD from Lomonosov Moscow State University (1988) Habilitation from Humboldt University (1996) Head of WIAS research group since 2000 Professor at Humboldt University since 2002 Spokoiny's research focuses on adaptive nonparametric methods, high-dimensional data analysis, and statistical finance. His innovations in local homogeneity testing and propagation-separation methods have advanced volatility modeling, image analysis, and manifold learning. He employs Bayesian optimization frameworks and stochastic control techniques for financial instrument pricing. Recent scientific contributions include generalized bootstrap procedures for Bures-Wasserstein barycenters (2024), dimension-free Laplace approximation bounds (2023), and structure-adaptive manifold estimation (2022). His 19+ PhD students and editorial roles in top journals like The Annals of Statistics demonstrate sustained academic impact. International Statistical Institute member American Statistical Association fellow Institute of Mathematical Statistics member Bernoulli Society member

• Numerical Analysis
• Uncertainty Quantification
• Inverse Problems
• +3 more

Oliver G. Ernst is a Professor of Numerical Analysis at Technische Universität Chemnitz . His research focuses on Numerical Analysis , Uncertainty Quantification , and Inverse Problems , with applications in Thermo-Hydro-Mechanical (THM) processes , Electromagnetics , and Stochastic Partial Differential Equations . He is associated with the Numerical Analysis group at TU Chemnitz. Key Research Areas : Efficient numerical methods for PDEs Krylov subspace techniques Stochastic finite element methods Multi-physics modeling Geoscientific applications Recent Publications (2025-2010): THM simulations under uncertainty Neural network PDE solvers Bayesian inversion frameworks Rational Krylov algorithms Deflated restarting strategies Collaborations : TU Bergakademie Freiberg University of Manchester Technical University of Munich University of Maryland University of Geneva Software Development : Contributor to OpenGeoSys platform Developer of FEMALY MATLAB library Academic Recognition : h-index 32, i10-index 66, with over 4423 citations since 2020.

Benjamin C. PierceView profile

Professor

• Programming Languages
• Type Systems
• Language-based Security
• +5 more

Benjamin C. Pierce is the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. As a Fellow of the ACM, he has made significant contributions to programming language theory and formal methods. His academic leadership includes previous editorial roles as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans multiple interconnected domains in programming language theory, with particular emphasis on type systems and their applications to security and verification. Pierce's work bridges theoretical foundations with practical implementations, most notably through his development of the Unison file synchronization tool and contributions to the Clowdr virtual conference platform. His research interests form a cohesive trajectory from foundational type theory to applied security and verification techniques. Pierce's scholarly output shows consistent focus on property-based testing, type systems, and formal verification methods. His recent publications demonstrate evolving interests in differential privacy verification, synchronization technologies, and the practical challenges of implementing formal methods in real-world systems. The progression of his work reflects both theoretical depth and practical relevance to software development challenges. Fellow of the ACM Author of influential textbooks Types and Programming Languages and Software Foundations Lead designer of the Unison file synchronizer Co-developer of the Clowdr virtual conference platform Former editorial leadership for multiple prominent programming languages journals As an educator and mentor, Pierce has contributed to the Programming Languages Mentoring Workshop (PLMW) and has served on numerous conference program committees. His academic service extends to SIGPLAN leadership roles including SIGPLAN Vice Chair and Steering Committee membership. His textbook Software Foundations has become a standard resource for teaching formal methods and proof assistants.

Alastair F. DonaldsonView profile

Professor

• Programming Languages
• Compilers
• Verification
• +5 more

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His primary affiliation is with Imperial College London's Department of Computing within the broader Faculty of Engineering structure. He serves as a Program Committee Member for major conferences including ASE, PLDI, and POPL. His research spans Programming Languages , Compilers , Verification , Testing , and Multicore Programming , with significant contributions to randomized testing techniques. He pioneered GraphicsFuzz (acquired by Google in 2018) and developed innovative approaches like grammar mutation for parser testing, metamorphic fuzzing for C++ libraries, and specialized tools for GPU API validation. His work bridges theoretical foundations with industrial impact, particularly in compiler correctness and GPU computing. Analysis of his recent publications reveals a strong trend toward fuzzing infrastructure development (40%), GPU/compiler testing (30%), and formal methods integration (30%). His research increasingly focuses on large-scale automated testing for complex systems including WebGPU, Dafny, and Rust, while maintaining rigorous theoretical grounding in concurrency models and memory semantics. Donaldson has held significant leadership roles including General Chair for PLDI 2020 and Program Chair for ECOOP. His research has been supported through conference organizational roles and industrial collaborations, notably the GraphicsFuzz spinout. He actively contributes to the PL community through mentoring initiatives like PLMW and community-building efforts such as The PLDI Song. He leads the Multicore Programming Group at Imperial College London, focusing on practical tools for compiler and GPU driver validation. The group's work combines theoretical program analysis with real-world testing frameworks, maintaining strong industry connections through projects adopted by Google and other technology companies.

Johannes ReuterView profile

Professor

• Control Engineering
• Autonomous Systems
• Maritime Control
• +3 more

Prof. Johannes Reuter is a Professor in the Department of Control Engineering at Konstanz University of Applied Sciences and a member of the Institute for System Dynamics (ISD). He serves as Vice Dean and Dean of Studies for the Electrical Systems M.Eng. program. His expertise includes control engineering, tracking, and multi-sensor data fusion. Reuter holds a doctorate in Automatic Control and System Dynamics from Berlin Technical University. Before joining Konstanz in 2007, he worked at IAV GmbH, IAV Automotive Engineering (USA), and Eaton Corp.'s Innovation Center (USA). His research focuses on autonomous systems, maritime control, and optimization algorithms, with contributions to conferences like ICRA and journals such as the Journal of Ocean Engineering. He leads projects on energy-efficient autonomous vessels (Solgenia) and advanced control strategies for dynamic systems. Education: Studied Mathematics/Physics at Bielefeld University Electrical Engineering degrees from Bielefeld University of Applied Sciences and Berlin Technical University Doctorate in Automatic Control and System Dynamics, Berlin Technical University Research Interests: Reuter’s work bridges theoretical control engineering with practical applications, emphasizing autonomous systems, maritime robotics, and sensor data fusion. Key areas include model predictive control (MPC), trajectory optimization, and energy-efficient vessel design. His research often integrates advanced algorithms like MPPI (Model Predictive Path Integral) for stochastic systems and develops methods for extended object tracking using LiDAR and radar sensors. Publications: Recent work highlights energy-optimal vessel docking, trajectory planning with signal temporal logic, and extended object tracking. His articles reflect a focus on interdisciplinary solutions combining control theory, robotics, and sensor technology. Awards/Grants: No specific awards listed, but his work is supported through academic and industrial collaborations. Labs/Teams: Active in the Institute for System Dynamics (ISD), Konstanz, which focuses on control systems, signal processing, and dynamic optimization across robotics, marine systems, and energy management.

• VLSI Design
• Integrated Circuits
• Computer Architecture
• +6 more

Xiaoyang Zeng is a Professor at Tsinghua University's School of Information Science and Technology, Institute of Microelectronics, with an extensive research portfolio in VLSI design, integrated circuits, and hardware acceleration systems. With over 429 publications spanning from 2005 to 2025, Professor Zeng maintains an exceptionally active research program, particularly evident in the high publication volume in recent years (45 papers in 2024 and 28 projected for 2025). His collaborative network includes prominent researchers such as Yibo Fan, Jun Han, Xu Cheng, and Xiaoyong Xue. Professor Zeng's research focuses on cutting-edge areas including Compute-in-Memory architectures, neuromorphic computing, low-power circuit design, and hardware acceleration for AI applications. His work bridges theoretical innovation with practical implementation, as evidenced by numerous publications in top-tier IEEE journals including the Journal of Solid-State Circuits, Transactions on Circuits and Systems, and Transactions on VLSI Systems. Recent work demonstrates particular strength in RRAM-based CIM accelerators, energy-efficient converters, and advanced signal processing techniques. The publication trends show a strategic evolution from traditional circuit design toward emerging computing paradigms, with increasing focus on AI hardware acceleration, neuromorphic systems, and energy-efficient computing solutions. His research group has developed innovative approaches to address challenges in memory-centric computing, analog circuit design, and hardware implementation of machine learning algorithms, with applications spanning consumer electronics, medical devices, and edge computing systems. Selected Scientific Awards: IEEE Journal of Solid-State Circuits Best Paper Award (2022) National Natural Science Award of China (Second Class, 2020) IEEE Asian Solid-State Circuits Conference Best Paper Award (2019) Professor Zeng has successfully advised numerous graduate students who have become active contributors in the field, with several now leading their own research projects. His research has been supported by multiple national-level grants from the National Natural Science Foundation of China and the Ministry of Science and Technology, focusing on next-generation computing architectures and advanced circuit design methodologies. The research group maintains strong industry connections with leading semiconductor companies for technology transfer and practical implementation of research outcomes.

Artem SokolovView profile

Professor

• Machine Translation
• Natural Language Processing
• Structured Prediction
• +4 more

Artem Sokolov serves as an Honorary Professor in the Department of Computational Linguistics at Heidelberg University and as a Research Scientist at Google Berlin. His primary research focuses on machine translation and structured prediction within natural language processing. Previously, he held positions at Amazon, the Statistical NLP Group at Heidelberg University led by Prof. Stefan Riezler, LIMSI, and Orange Labs in France, contributing to advancements in statistical and neural machine translation systems. He earned his PhD in Computer Science and Artificial Intelligence from the IRTCITS research center in Kyiv. His doctoral thesis investigated randomized algorithms for locality-sensitive embeddings of the Levenstein edit distance, establishing foundational work for efficient string similarity search in computational linguistics and intrusion detection systems. Dr. Sokolov's research expertise spans machine translation, imitation learning, bandit algorithms, and weakly supervised learning. He has pioneered methods for learning from partial feedback in structured prediction tasks, particularly addressing exposure bias in sequence generation and multi-facet evaluation of translation systems. His work bridges theoretical machine learning with practical NLP applications, emphasizing robustness against noisy data and scalable optimization techniques for real-world deployment. Analysis of his recent publications reveals trends toward scalable influence functions for model interpretability, multi-attribute control in machine translation, and rigorous auditing of multilingual datasets. His research consistently intersects natural language processing, machine learning optimization, and data quality assessment, with increasing emphasis on ethical AI considerations and efficient learning from weak supervision signals. Scientific awards include: 1st place at ECML/PKDD Discovery Challenge 2010 (English quality task) 2nd place at ECML/PKDD Discovery Challenge 2010 (general task) 2nd place in Semi-Supervised Feature Learning Challenge at NIPS 2011 3rd place in Semi-Supervised Feature Learning Challenge at NIPS 2011 As co-Principal Investigator for the 2015-2017 grant "Weakly Supervised Learning of Cross-Lingual Systems", Dr. Sokolov developed techniques for learning cross-lingual rankings from weakly supervised data sources like patent citations and Wikipedia hyperlinks. He has mentored students through teaching advanced courses including Imitation Learning, Stochastic Learning, and Statistical Machine Translation at Heidelberg University, supervising seminar projects on structured prediction and optimization algorithms. Dr. Sokolov is an active member of the Statistical NLP Group at Heidelberg University and collaborates with research teams at Google Berlin. His current work focuses on advancing production-scale machine translation systems through scalable inverse reinforcement learning and robust training methodologies, building on his extensive background in both academic research and industrial applications.

• Uncertainty Quantification
• Stochastic Partial Differential Equations
• Optimal Control with Random Inputs
• +3 more

Dr. Akwum Onwunta is a researcher affiliated with the Max Planck Institute for Dynamics of Complex Technical Systems and holds a Ph.D. in Applied Mathematics from Otto von Guericke University, Magdeburg, Germany . His work bridges computational mathematics and quantitative finance. Research Focus: Uncertainty Quantification, Stochastic PDEs, Optimal Control, Numerical Linear Algebra, Tensor-based Algorithms, and Credit Risk Modeling. Onwunta's publications emphasize low-rank methods for solving high-dimensional problems in fluid dynamics and financial risk assessment. His expertise includes stochastic Galerkin systems and preconditioning techniques for unsteady PDEs with random inputs. Notable collaborations include work with Peter Benner and Martin Stoll on computational frameworks for uncertainty propagation in fluid mechanics. His academic output spans both theoretical and applied domains.