جستجوی استاد راهنمای دانشگاهی

• Multiphysics Modeling
• Biomedical Engineering
• Fuel Cell Technology
• +۲ مورد دیگر

Dr. Guido Sartoris is a researcher at Zurich University of Applied Sciences (ZHAW) in the School of Engineering, affiliated with the ICP Multiphysics Modeling and Imaging group. Based at Technikumstrasse 71, Winterthur, he maintains active research contact via email guido.sartoris@zhaw.ch and phone +41 (0) 58 934 77 95. His research spans multiphysics computational modeling with distinct focus areas: biomedical engineering (blood flow/pressure diagnostics for INOCA), fuel cell technology (solid oxide and polymer electrolyte systems), and organic electronics (OLED device physics). Current projects include completed work on PhysioCath-microcatheter systems for coronary artery diagnostics, demonstrating interdisciplinary application of engineering principles to medical challenges. Publication trends from 2003-2013 reveal evolving expertise from fundamental nanotechnology and fuel cell modeling toward biomedical applications. His computational work consistently addresses transport phenomena, microstructural effects, and multi-dimensional simulation challenges across energy and medical domains, with recent emphasis on cardiovascular diagnostics. Dr. Sartoris participates in research projects as team member, notably the completed INOCA diagnostic initiative. No student advisement details are provided in available materials. He operates within ZHAW's ICP Multiphysics Modeling and Imaging framework, which integrates advanced computational techniques for complex engineering problems requiring coupled physics simulations.

Wallner, Johannesمشاهده پروفایل

استاد

• Discretization in Geometry and Dynamics
• Computational Line Geometry
• Freeform Architecture
• +۸ مورد دیگر

Johannes Wallner is a Professor of Geometry at the Institute for Geometry , Graz University of Technology (TU Graz), since January 2007. Previously, he held positions at TU Wien, including a part-time professor role (2009-2013) in the Geometric Modeling and Industrial Geometry group. His work bridges theoretical geometry with computational applications in architectural design, machining, and surface analysis. Research Interests: Discretization in Geometry and Dynamics Computational Line Geometry Freeform Architectural Structures Subdivision Algorithms in Riemannian Geometry Geometric Tolerancing and Constraint Problems Publications focus on discrete differential geometry, mesh processing, and geometric modeling for architecture. His 2024 work on quad mesh mechanisms and 2023 studies on developable surfaces exemplify his cross-disciplinary impact. Grants: Led FWF-funded projects including SFB/Transregio (I-705), Doctoral College Discrete Mathematics (W1230), and studies on computational differential geometry, nonlinear subdivision, and geometric tolerancing. Editorial Contributions: Co-edited conference proceedings for Advances in Architectural Geometry (2010, 2012, 2014) and served as editor for Internationale Mathematische Nachrichten (2008-2017).

• Quantum Computation
• Quantum Programming
• Formal Methods
• +۶ مورد دیگر

Professor Mingsheng Ying (University of Technology Sydney) is a Distinguished Professor specializing in quantum programming , quantum verification , and the foundations of artificial intelligence . He leads the Centre for Quantum Software and Information and co-founded the Quantum Lab . His work bridges quantum computation with formal methods and reasoning under uncertainty. Education : Mathematics, Fuzhou Teachers College (1981) Research Interests His research spans: Quantum programming languages and verification techniques Model checking quantum systems and cryptographic protocols Quantum machine learning robustness Entanglement theory and distributed quantum computation Recent Publications Key contributions include: Quantum error correction verification frameworks Quantum register machine architecture Hamiltonian simulation parallelization Symbolic execution for quantum debugging Robustness tools like VeriQR Awards & Editorial Roles NSF China Distinguished Young Scholar Award (1997) China National Science Award (2008) Co-Editor-in-Chief, ACM Transactions on Quantum Computing Vice President, International Fuzzy Systems Association (2005) Leadership & Grants He oversees 14 active grants (2010–2029) from: Australian Research Council (ARC Discovery Projects) National Natural Science Foundation of China Sydney Quantum Academy Baidu Contract Research His grants fund research in quantum program verification, entanglement classification, and distributed quantum protocols.

• Theoretical Computer Science
• Computational Complexity
• Logic in Computer Science
• +۲ مورد دیگر

Dr. Friedrich Slivovsky is a computer scientist specializing in computational complexity, logic in computer science, and algorithm design. His research focuses on quantified Boolean formulas (QBF), SAT solving, and circuit minimization, with recent contributions to fine-grained complexity analysis and structure-aware lower bounds. He serves as a module co-ordinator for postgraduate and undergraduate courses in optimization at his institution. 2025: Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas (QBF complexity, dependency schemes) 2024: Strategy Extraction by Interpolation (proof complexity), eSLIM: Circuit Minimization with SAT (logic synthesis), Hardness of Random Parity Encodings (CDCL solver analysis) 2023: Circuit Minimization with QBF-Based Synthesis (exact circuit optimization), Structure-Aware QBF Lower Bounds (tractability expansion) His work bridges theoretical analysis with practical applications in automated reasoning and formal verification. Teaching roles include coordinating optimization modules, emphasizing algorithmic efficiency and computational problem-solving.

• Efficient Algorithms
• Computational Complexity
• Network Foundations
• +۵ مورد دیگر

Dr. George B. Mertzios is an Associate Professor at the Department of Computer Science, Durham University , UK. His career spans roles including Senior Lecturer (2015-2017) and Lecturer (2011-2015) at Durham, with additional positions as an Invited Assistant Professor at LaBRI, University of Bordeaux/CNRS, France (2012), and postdoctoral research fellowships at the University of Haifa and Technion, Israel (2010-2011). He earned his PhD in Computer Science from RWTH Aachen University (2009) and a Diplom in Mathematics from Technische Universität München (2005). Education PhD in Computer Science, RWTH Aachen University, 2009 Diplom in Mathematics (minor in Computer Science), Technische Universität München, 2005 Research Interests focus on efficient algorithms and computational complexity in temporal graphs , with significant contributions to dynamic network optimization , evolutionary graph theory , and parameterized complexity . His work bridges combinatorial optimization , algorithmic game theory , and intersection graph models . Scientific Activities include organizing Co-Chair of the PC for SAND 2026 Co-Organizer of Dagstuhl Seminar 26251 (2026) Organizer of the Algorithmic Aspects of Temporal Graphs workshops (2018-2025) His 15 most recent articles (2025-2021) address problems in temporal graph realization , dynamic network optimization , Hamiltonian cycles , and epidemic control on temporal networks , published in top venues like Theoretical Computer Science , Journal of Computer and System Sciences , and Algorithmica . Scientific Awards include a Gold Medal in the 1998 Balkan Mathematical Olympiad, Distinguished Diploma in the 1998 Bulgarian National Mathematical Competition, and Best Paper Awards at ALGOWIN 2025 and ICALP 2010 Track C. Research Supervision includes advising PhD students: David Fairbairn (in progress), David Kutner (2025), Nina Klobas (2024), Charles Murray (2021), Sepehr Meshkinfamfard (2016), Ioannis Lignos (2016) Postdoctoral researchers: Christoforos Raptopoulos (2020), Viktor Zamaraev (2017-2019), André Nichterlein (2016-2017), Archontia Giannopoulou (2014-2015), Konrad Dabrowski (2012-2013) Grants led include EPSRC grants EP/P020372/1 (2017-2020) on algorithmic aspects of temporal graphs and EP/K022660/1 (2013-2015) on intersection graph models. He also contributed to the EU IP MULTIPLEX (2012-2016).

Andrius Rapalisمشاهده پروفایل

پژوهشگر

• Biomedical Engineering
• Signal Processing
• Autonomic Nervous System
• +۱ مورد دیگر

Dr. Andrius Rapalis is a Senior Researcher at the Kaunas University of Technology Institute of Biomedical Engineering and serves as Laboratory Manager at the Biomedical Device Innovation Laboratory . His research focuses on biosignal parameterization and analysis algorithms, autonomic nervous system assessment, and development of smart wearable devices. Research Interests: Biosignal parameterization and analysis algorithms Autonomic nervous system assessment Smart wearable devices Contact: Email: andrius.rapalis@ktu.lt

Parosh Aziz Abdullaمشاهده پروفایل

استاد

• Concurrency
• Distributed Systems
• Program Verification
• +۵ مورد دیگر

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. He is a prominent researcher in the field of theoretical computer science with a focus on formal methods, concurrency, and program verification. His work bridges theoretical foundations with practical applications in software and hardware verification. Professor Abdulla's primary research interests include Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, and Logic. His work spans both theoretical aspects of computer science and practical verification techniques for concurrent and distributed systems. He has made significant contributions to the understanding of memory models, particularly in the context of modern architectures like x86 with persistent memory. His research has evolved from foundational work on infinite-state systems to practical verification techniques for concurrent programs and string constraints. Professor Abdulla has served on numerous program committees for top-tier conferences including PLDI, POPL, CAV, CONCUR, and TACAS, demonstrating his standing in the research community. He has been PC co-Chair for TACAS'11 and has contributed to many other conferences over the years. As an advisor, Professor Abdulla has supervised numerous PhD students to completion, with graduates working on topics ranging from verification of networks of communicating processes to caches, transactions, and memory models. His students have gone on to successful careers in academia and industry. Professor Abdulla maintains an active research agenda, with recent work focusing on verification of quantum circuits, efficient linearizability monitoring, and verification under Intel-x86 with persistency. His research continues to address fundamental challenges in program verification while adapting to new computing paradigms and hardware architectures.

Martin Kellerمشاهده پروفایل

استاد

• Control Engineering
• Automated Driving Systems
• Model Predictive Control
• +۴ مورد دیگر

Prof. Dr.-Ing. Martin Keller is a Professor of Control Engineering at the Department of Electrical Engineering & Information Technology, South Westphalia University of Applied Sciences in Hagen, Germany. He leads research in advanced control systems with a specialization in automotive applications and automated driving technologies. His academic leadership includes directing the Laboratory for Control Engineering where practical courses, project work, and research activities are conducted. Education: Diploma in Electrical Engineering from TU Dortmund (2011), PhD in Control Systems Engineering from TU Dortmund (2017) Professional Experience: Algorithm Development Engineer (2017-2019) and Team Lead (2019-2022) at ZF Group before transitioning to academia Teaching Responsibilities: Courses in Control Engineering 1/2, Medical Control Systems, and Advanced Control Systems Professor Keller's research centers on automated driving systems with emphasis on trajectory planning, collision avoidance, and vehicle guidance algorithms. His work bridges theoretical control concepts with practical automotive implementations, particularly focusing on model predictive control frameworks for real-time applications. The research group develops algorithms for maneuver decision-making, trajectory planning, and tracking control essential for autonomous vehicle functions. Analysis of his 15 most recent publications reveals strong concentration in automated driving control systems , with 80% of works published between 2018-2021 focusing on trajectory optimization, collision avoidance, and model predictive control applications. Key research themes include sampling-based planning methods, environment modeling for optimization, and real-time capable control architectures for lateral vehicle guidance. His scientific contributions appear primarily in IEEE conferences and automotive engineering journals, with notable publications in IEEE Transactions on Intelligent Vehicles and IEEE Intelligent Transportation Systems Conference proceedings. While no specific awards are listed in the provided materials, his consistent publication record in top-tier venues demonstrates significant scholarly impact. Professor Keller actively supervises project work and final theses through the Control Engineering Laboratory, where students engage in hands-on development of control systems. His industry experience at ZF Group informs practical research directions focused on implementable solutions for automotive applications. The laboratory facilities at Haldener Str. 182 serve as the operational base for both teaching and research activities.

• Geomatics
• Cartography
• Spatial Data Infrastructure
• +۵ مورد دیگر

Bénédicte Bucher is a researcher at the French National Institute of Geographic and Forest Information (IGN France), working in the Research Department of Geographical Information Sciences in Saint-Mandé. With 69 publications and 846 citations, she has established herself as a significant contributor to geospatial information science. Her research spans multiple interconnected domains: Geomatics and spatial data infrastructure Cartography and cognitive aspects of map reading Volunteered Geographic Information (VGI) quality management Knowledge graphs for spatial dataset search 3D city modeling and national coverage implementations Urban climate services and city-scale climate impact assessment Bucher's work demonstrates a progression from foundational cartographic research to cutting-edge applications of semantic web technologies in geospatial contexts. Her recent publications focus on building knowledge graphs for spatial dataset discovery and addressing semantic heterogeneities in European Spatial Data Infrastructures. She has made significant contributions to urban climate services through the URCLIM project, developing approaches to handle uncertainties in city-scale climate projections. Her research has been widely recognized with 10,833 reads across her publications. She collaborates extensively with European researchers including Monika Sester from Leibniz Universität Hannover, Marie-Dominique Van Damme from IGN France, and Mickaël Brasebin from IGN France. Her work is cited by prominent researchers such as Muki Haklay from University College London and Werner Kuhn from University of California, Santa Barbara. Bucher's interdisciplinary approach bridges traditional geographic information science with emerging computational paradigms, making her work relevant to national mapping agencies, urban planners, climate adaptation specialists, and geospatial software developers.

Frederic Cordierمشاهده پروفایل

دانشیار

• Computer Graphics
• 3D Modeling
• Texture Mapping
• +۵ مورد دیگر

Frederic Cordier is an Associate Professor (HDR) at the University of Haute-Alsace, affiliated with the LMIA department within the Faculty of Science and Technology (FST). His research focuses on computer graphics, 3D modeling, and geometric algorithms. He holds a PhD in Computer Science from the University of Geneva (2004) and advanced degrees from the University of Lyon. His work spans sketch-based interfaces, cloth simulation, medical modeling, and texture mapping. Key projects include inferring mirror symmetry from sketches, compressing 3D mesh sequences, and reconstructing organ models from medical data. His contributions to real-time cloth simulation and dressed virtual humans have been influential in interactive systems and virtual garment design. Publications emphasize geometric algorithms for shape reconstruction, symmetry detection, and medical applications. He has held visiting roles at KAIST (South Korea) and conducted postdoctoral research in computational geometry. Teaching includes graduate-level computer science courses in Geneva and Haute-Alsace.

• Computer Vision
• Computer Graphics
• Computational Neuroscience
• +۳ مورد دیگر

Hongchuan Yu is a Principal Academic in the Department of Computing at Bournemouth University's Media School, UK. His research spans computer vision, computer graphics, and computational neuroscience, with a focus on 3D reconstruction, medical imaging, and adversarial machine learning. PhD in Computer Vision (Chinese Academy of Sciences, 2000) Secured over £2+ million in grants from EU Horizon, Royal Society, and others Member of IEEE (MIEEE) and Fellow of Higher Education Academy (FHEA) His recent work explores machine learning applications in medical volume data and neuron tracing , utilizing implicit neural representations and adversarial training for robustness. Articles highlight domain adaptation , generative models , and 3D Gaussian splatting . Yu collaborates internationally with institutions like National Cheng-Kung University, Hong Kong University, and Southeast University. He supervises PhD students in topics including neuron reconstruction , surface parameterization , and 3D face editing . Grants: Affective Computing Models (EU Horizon) , VR/AR Rendering (Royal Society) , Animation for Cultural Heritage (EU Commission)

Samuel Stechmannمشاهده پروفایل

استاد

• Atmospheric Science
• Climate Modeling
• Partial Differential Equations
• +۵ مورد دیگر

Samuel Stechmann is a Professor in the Department of Mathematics at the University of Wisconsin–Madison, with significant affiliations as Faculty in both the Department of Atmospheric & Oceanic Sciences and the Center for Climatic Research. His work bridges applied mathematics and atmospheric science through the development of mathematical models for climate and weather phenomena. Stechmann's research focuses on the mathematical modeling of atmospheric dynamics, particularly tropical intraseasonal oscillations, moist convection, and cloud processes. His work combines partial differential equations, stochastic modeling, and computational methods to address fundamental questions in climate science. Key areas include the Madden-Julian Oscillation, precipitating quasi-geostrophic systems, and the mathematical representation of phase changes in atmospheric models. His approach often integrates theoretical analysis with numerical simulation to develop physically consistent models. Analysis of his recent publications reveals a strong emphasis on developing novel mathematical frameworks for atmospheric phenomena, with particular attention to moist processes, phase changes, and multiscale interactions. His work frequently bridges pure mathematical theory with practical applications in climate modeling, featuring innovative approaches to radiative transfer, sea ice dynamics, and tropical weather systems. The publications show consistent collaboration with leading atmospheric scientists while maintaining a strong mathematical foundation. Stechmann teaches a range of mathematics courses from undergraduate calculus to advanced graduate topics in applied mathematics, including specialized courses on data-driven dynamical systems and stochastic modeling. His research program appears to be well-funded through collaborations with atmospheric science groups, though specific grant details aren't provided in the available information. He maintains active research software projects including Singular Spectrum Analysis with Conditional Predictions (SSA-CP) for real-time state estimation and Multiscale Eddy Simulation (MES) for moist atmospheric convection, demonstrating his commitment to developing practical computational tools alongside theoretical advances.

• Numerical Analysis
• Computer-Aided Geometric Design
• Approximation Theory
• +۲ مورد دیگر

Francesca Pelosi serves as an Associate Professor in the Department of Information Engineering and Mathematical Sciences at the University of Siena, teaching core numerical analysis courses including Numerical Calculation for Computer Engineering undergraduates and Numerical Modeling for Applied Mathematics master's students across multiple academic years (2022/2023–2025/2026). Her research expertise spans Numerical Analysis , Computer-Aided Geometric Design , and Approximation Theory , with specialized focus on: Pythagorean-hodograph curve construction and modification Geometric continuity constraints in spatial interpolants Fractal properties of subdivision schemes Spectral analysis of isogeometric matrices Wavelet scattering applications for signal classification Numerical algorithms for computer-aided design systems Analysis of her 2023–2025 publications reveals consistent innovation in geometric modeling algorithms, particularly for preserving curve properties under control-point modifications and developing specialized interpolants with prescribed arc lengths, demonstrating strong interdisciplinary connections between computational mathematics and engineering applications. Scientific awards: No awards or fellowships were documented in the source material. Advising and grants: The provided text contains no information regarding graduate student supervision, research grants, or funded projects. Labs and teams: No laboratory affiliations, research groups, or collaborative teams were specified in the available documentation.

Hoa Vuمشاهده پروفایل

دانشیار

• Theoretical Computer Science
• Graph Algorithms
• Approximation Algorithms
• +۵ مورد دیگر

Hoa Vu is an Associate Professor of Computer Science in the Department of Computer Science within the College of Sciences at San Diego State University. Her research spans theoretical computer science with a focus on algorithms for large-scale data processing and analysis. Dr. Vu completed her Ph.D. in Computer Science at UMass, Amherst under the supervision of Andrew McGregor. She subsequently spent a year as a postdoctoral researcher at Boston College working with Hsin-Hao Su. Her academic journey reflects a strong foundation in theoretical computer science with practical applications. Her primary research interests include sketching, streaming, and distributed algorithms, with significant contributions to graph algorithms, approximation algorithms, and parameterized algorithms. Dr. Vu also explores the intersection of machine learning and algorithms with machine learning predictions, developing novel approaches for handling massive datasets efficiently. Her work addresses fundamental challenges in data privacy, network analysis, and computational biology, with applications across multiple domains. Dr. Vu's publication record demonstrates consistent contributions to top-tier venues including SIAM Journal on Discrete Mathematics, Theoretical Computer Science, PODC, ICDT, and PODS. Her recent work shows an evolving research trajectory that increasingly incorporates machine learning predictions into traditional algorithmic frameworks, while maintaining strong theoretical foundations. NSF/TTIC Sub - Theme 3: AI-HARMONY: The National Institute on Strengthening AI for Health, Art, and Market Economy ($200.00) Algorithms and Machine Learning in Data Intensive Models ($200,000.00) New Aspects of Sketching Algorithms ($596,118.00) Dr. Vu has served on thesis committees for numerous graduate students across various research topics including numerical semigroups, streaming algorithms, 5G networks, and image classification. She is an active member of the theoretical computer science community, serving on program committees such as ISAAC 2025, and regularly presenting her research at major international conferences.

Philipp Ruemmerمشاهده پروفایل

استاد

• Program Verification
• Theorem Proving
• SMT Solving
• +۹ مورد دیگر

Philipp Ruemmer is a Professor of Theoretical Computer Science at University of Regensburg (2022–present) and a Senior Lecturer at Uppsala University's Department of Information Technology (2018–present). His research focuses on Program verification and theorem proving SMT/SAT solving and automata theory Embedded systems analysis and Java verification Machine learning applications in formal methods Concurrent and timed systems modeling His recent work includes string constraint solvers (Norn, OSTRICH, Sloth) and model checking tools (JayHorn, Eldarica). He has authored key papers in POPL, CPP, PLDI, and VMCAI on topics like Transducer-based string solving Certified decision procedures Regular constraint propagation Flattening techniques for constraints Notable scientific awards include the 2013 Uppsala University Oscar Prize and the 2005 SAP Award for academic excellence. He has led and participated in research grants from the Knut and Alice Wallenberg Foundation, Swedish Research Council, and Microsoft.