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

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

استاد

• Computer Science
• Artificial Intelligence
• Computer Vision
• +۵ مورد دیگر

Christian Theobalt is a Professor of Computer Science at Saarland University and Scientific Director of the Visual Computing and Artificial Intelligence Department at the Max Planck Institute for Informatics . He leads the Saarbruecken Center for Visual Computing as a strategic partnership between Google and MPI. PhD in Computer Science (2005) from MPI-INF/Saarland University Postdoctoral Researcher at MPI (2005-2007) Visiting Assistant Professor at Stanford (2007-2009) His research focuses on the intersection of Computer Graphics, Computer Vision, and Artificial Intelligence , with specializations in: 3D/4D Human Reconstruction Neural Rendering Performance Capture Geometric Deep Learning Volumetric Video Quantum Visual Computing Recent article trends show emphasis on: Quantum computing applications in visual reconstruction Neural rendering with radiance fields Human motion capture from egocentric views Gesture-language interaction modeling Multi-modal scene understanding Real-time free-viewpoint rendering Scientific Awards : Fellow of EUROGRAPHICS (2022) CVPR Best Student Paper Honorable Mention (2020) ERC Consolidator Grant (2017) Karl Heinz Beckurts Award (2017) Busy Beaver Teaching Award (2016) ERC Starting Grant (2013) Advising over 50 students and researchers including: Current researchers: Viktor Rudnev, Linjie Lyu, Mohit Mendiratta Postdocs: Kwang In Kim, Kiran Varanasi Alumni: Franziska Mueller (Google), Dushyant Mehta (Qualcomm), Ayush Tewari (MIT) Grants include ERC grants, Google Glass Research Award, and multiple industry partnerships. His lab maintains cutting-edge facilities with: Multi-camera capture systems Quantum annealing infrastructure HDR radiance field technology GPU clusters for AI research Time-of-flight imaging systems Event camera arrays

Stefanie Muellerمشاهده پروفایل

دانشیار

• Human-Computer Interaction
• Computational Fabrication
• 3D Printing
• +۷ مورد دیگر

Stefanie Mueller is the TIBCO Career Development Associate Professor at MIT's Electrical Engineering and Computer Science Department, with joint affiliation in Mechanical Engineering. She leads the HCI Engineering Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL), focusing on advancing fabrication techniques through hardware/software innovations that enable novel object interactions. Develops computational fabrication methods combining photochromic dyes, lenticular lenses, birefringent materials, and optical illusions Co-chaired ACM CHI 2023 and ACM UIST 2020 program committees Recipients of 9 MIT EECS Best Undergraduate Researcher Awards among mentees Her research spans four key directions: Appearance-changing Objects: Photo-Chromeleon (ACM UIST 2019), Lenticular Objects (ACM UIST 2021), and Polagons (ACM CHI 2023) demonstrate reprogrammable surfaces through advanced materials and optical engineering. Tracking Systems: InfraredTags (ACM CHI 2022) and G-ID (ACM CHI 2020) enable passive object tracking via infrared markers and slicing artifacts. Embedded Sensing: MechSense (ACM CHI 2023) and Sprayable User Interfaces (ACM CHI 2020) integrate sensing capabilities into complex geometries. Curved Surface Prototyping: FlexBoard (ACM CHI 2023) and CurveBoard (ACM CHI 2020) develop specialized tools for non-planar electronics. Her recent publications focus on functionality segmentation (UIST 2023), fluorescent markers (UIST 2023), and machine-knitted haptics (UIST 2023). These works combine machine learning, material science, and interactive design principles to push fabrication boundaries. Scientific recognition includes: 2022 MIT Technology Review Innovators Under 35 2020 Microsoft Research Faculty Fellowship 2020 Alfred P. Sloan Research Fellowship 2019 ACM UIST Best Paper Award 2019 NSF CAREER Award 2018 MIT EECS Outstanding Educator Award 2017 Forbes 30 Under 30 in Science Mentoring 9 PhD students and over 20 master's students, her lab has produced 20+ publications at top HCI conferences. She redesigned MIT's 6.810 Engineering Interactive Technologies course during the pandemic, maintaining hands-on learning through home electronics kits and Slack-based collaboration.

• Computer Architecture
• Non-Volatile Memory Systems
• Deep Learning Systems
• +۳ مورد دیگر

Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.

Aleksandar Bojchevskiمشاهده پروفایل

استاد

• Trustworthy Artificial Intelligence
• Graph Neural Networks
• Adversarial Robustness
• +۳ مورد دیگر

Aleksandar Bojchevski is a full professor of Computer Science at the University of Cologne, leading the Trustworthy Artificial Intelligence Lab (TAIL). His research focuses on developing robust, interpretable, and privacy-preserving machine learning models, particularly graph neural networks (GNNs). The lab emphasizes trustworthiness in high-stakes applications through methods that handle noisy, adversarial, or anomalous data. Bojchevski holds a PhD and PostDoc from the Technical University of Munich, advised by Stephan Günnemann. Previously, he was faculty at CISPA Helmholtz Center for Information Security. His work bridges theory and practice, addressing adversarial robustness, uncertainty quantification, and scalable GNN techniques. Research interests include: robustness certification for GNNs, conformal prediction, adversarial attack analysis, and privacy-aware machine learning. His lab actively collaborates with RWTH Aachen and organizes events like the Learning on Graphs Meet Up. Recent achievements include a teaching award for the Machine Learning lecture (SS 24) and NeurIPS 2024 acceptance of SVFT: Parameter-Efficient Fine-Tuning with Singular Vectors . Open positions are available in his group focusing on trustworthy ML topics. Key labs/teams: Trustworthy Artificial Intelligence Lab (TAIL), Center for Data and Simulation Science (CDS) as a core scientist.

Joachim Weickertمشاهده پروفایل

استاد

• Image Processing
• Computer Vision
• Mathematical Modeling
• +۴ مورد دیگر

Joachim Weickert is a Professor of Mathematics and Computer Science at Saarland University where he heads the Mathematical Image Analysis Group since 2001. He received his diploma and Ph.D. in mathematics from the University of Kaiserslautern (1991, 1996), and a habilitation degree in computer science from the University of Mannheim (2001). Prior to his current position, he worked as a research assistant at the University of Kaiserslautern, as a post-doctoral researcher at the universities of Utrecht and Copenhagen, and as an assistant professor at the University of Mannheim. His research focuses on image processing, computer vision, and scientific computing, with special emphasis on techniques based on partial differential equations, variational principles, wavelets, morphological and nonlocal methods, as well as neuroexplicit approaches. He has developed mathematical models and efficient numerical algorithms for image restoration, enhancement, segmentation, compression, optic flow computation, stereo reconstruction, shape from shading, and signal processing methods for tensor fields. These ideas have been successfully applied in industry, biomedical image analysis, and other fields. Analysis of his recent publications reveals a strong trend toward combining traditional PDE-based methods with modern deep learning approaches, particularly in the areas of image inpainting and compression. His work increasingly explores the connections between numerical algorithms for partial differential equations and neural network architectures, demonstrating how mathematical foundations can inform cutting-edge AI techniques while maintaining strong theoretical guarantees. Gottfried Wilhelm Leibniz Prize (2010), considered the most important research award in Germany ERC Advanced Grant (2017) for "Inpainting-based Compression of Visual Data" Elected member of Academia Europaea - The Academy of Europe Jan Koenderink Prize for Fundamental Contributions in Computer Vision (2014) Multiple DAGM Prizes and Best Paper Awards throughout his career AAIA Fellow (2021) and Highly Ranked Scholar (2024) distinctions Professor Weickert has supervised over 250 bachelor's and master's theses and initiated the Master Programme in Visual Computing at Saarland University, the first of its kind in Germany taught in English. He has established numerous interdisciplinary collaborations with colleagues from medicine, bioinformatics, pharmacy, physics, mechatronics, and mechanical engineering. As Principal Investigator for Visual Computing within the Multimodal Computing and Interaction Cluster of Excellence, and former dean of the Faculty of Mathematics and Computer Science (2008-2010), he has played a significant leadership role in advancing visual computing research and education. He heads the Mathematical Image Analysis Group, which has been at the forefront of developing mathematical methods for image analysis. The group maintains strong connections with both theoretical mathematics and practical applications, bridging the gap between fundamental research and real-world implementation across various domains including medical imaging, industrial inspection, and multimedia processing.

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

استاد

• Inverse Problems
• Applied Mathematics
• Mathematical Modelling
• +۱۵ مورد دیگر

Prof. Dr. Martin Burger is a leading scientist at DESY and a Full Professor in the Department of Mathematics at Universität Hamburg, where he leads the Computational Imaging Group. His research bridges applied mathematics, imaging sciences, and machine learning, with a focus on inverse problems, mathematical modeling, and partial differential equations. He has held professorial positions at Universität Münster and FAU Erlangen-Nürnberg prior to his current dual appointment. Full Professor, Universität Hamburg (2023–present) Leading Scientist, DESY, Hamburg (2023–present) Full Professor, FAU Erlangen-Nürnberg (2018–2023) Full Professor, Universität Münster (2006–2018) His research interests include inverse problems, variational regularization, optimal transport, kinetic models, and mathematical modeling in biology and social sciences. He has made significant contributions to imaging reconstruction, sparse neural networks, and the analysis of transformer architectures. His work often integrates theoretical analysis with computational methods, influencing both pure and applied mathematics. The most recent articles reflect a strong trend toward interdisciplinary applications, combining deep learning with PDE-based modeling, analyzing social and biological systems via kinetic and mean-field models, and advancing mathematical imaging through graph-based and optimal transport methods. His publications span high-impact venues in applied mathematics and computational science. Calderon Prize, Inverse Problems International Association (IPIA) ERC Consolidator Grant (2014) Invited speaker at ECM (2021), ICM (2022), and ICIAM (2023) Editor-in-Chief, European Journal of Applied Mathematics (since 2017) Prof. Burger has supervised numerous PhD students and postdoctoral researchers, many of whom appear as co-authors in his publications. His research is supported by major grants, including funding from the German Federal Ministry of Education and Research (BMBF). He is actively involved in collaborative projects across mathematics, physics, and engineering disciplines. He leads the Computational Imaging Group at DESY, fostering a collaborative environment for developing novel mathematical tools in imaging science. The group works on both theoretical foundations and practical implementations, contributing to advancements in tomography, machine learning, and data analysis.

• Observational cosmology
• Galactic astronomy
• Exoplanet science
• +۵ مورد دیگر

David W. Hogg is Professor of Physics and Data Science in the Center for Cosmology and Particle Physics in the Department of Physics at New York University. He serves as Senior Research Scientist in the Astronomical Data Group in the Center for Computational Astrophysics of the Flatiron Institute and maintains an affiliation with the Max-Planck-Institut für Astronomie in Heidelberg. His primary research focuses on observational cosmology, particularly approaches that use galaxies to infer physical properties of the Universe. He also conducts significant research on stellar kinematics in the Milky Way and the measurement and discovery of exoplanets. Across all domains, Hogg develops engineering systems and statistical methodologies that enable large-scale astrophysical projects for both his research group and the broader community. Recent work demonstrates expertise in robust statistical methods, particularly dimensionality reduction techniques like Robust-HMF. His research bridges theoretical statistics with practical applications in major astronomical surveys including Gaia, SDSS-V, and SPHEREx. He frequently explores connections between Bayesian and frequentist approaches to astronomical data analysis, with recent work on nuisance parameter integration, anomaly detection, and robust matrix factorization. Research supported by NYU, NASA, NSF, Moore Foundation, Sloan Foundation Additional support from Max Planck Society, Humboldt Foundation, ERC, Simons Foundation Hogg is actively involved in major astronomical projects including Astrometry.net, Gaia, and SDSS, with long-term comprehensive goals of analyzing all galaxies, stars, and astronomical images. His work emphasizes open science principles, reproducible research practices, and the development of publicly accessible tools for the astronomical community.

Michael Pradelمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Program Analysis
• +۹ مورد دیگر

Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools

Amine Mhedhbiمشاهده پروفایل

استادیار

• Data and Information Management
• Graph Databases
• Artificial Intelligence Systems
• +۳ مورد دیگر

Amine Mhedhbi is an Assistant Professor at Polytechnique Montréal , where he leads the Data & AI Systems Lab . He earned his PhD in 2023 from the University of Waterloo. His work bridges data management , graph databases , and AI systems , with a focus on performance, debuggability, and user interface design for data applications. Education : PhD (University of Waterloo, 2023) Research Interests center on modern analytical data systems , including multimodal data management , language model integration , and graph query optimization . His projects like FLockMTL and GraphflowDB aim to combine semantic analysis, AI, and traditional database operations. Scientific Awards include the NSERC Discovery Grant , the Cheriton School Distinguished Dissertation Award , the VLDB Best Paper Award , and fellowships from Microsoft and Meta . Key Collaborations : Semih Salihoğlu, Jimmy Lin, Elena L. Glassman Labs & Teams : Affiliated with DAIS Lab , IVADO , and co-founded the applied research team at Distyl AI in 2023.

Sandra Keiperمشاهده پروفایل

مدرس

• Compressed Sensing
• Sparse Signal Recovery
• Numerical Linear Algebra
• +۵ مورد دیگر

Sandra Keiper is a Lecturer at the Institute of Mathematics within Faculty II - Mathematics and Natural Sciences at Technical University of Berlin. She has held academic positions since at least 2011, including roles as Tutor, Assistant, and Lecturer, with teaching responsibilities in Analysis, Linear Algebra, and Partial Differential Equations for both mathematicians and engineers. Research interests include: Compressed Sensing and Sparse Signal Recovery Numerical Linear Algebra with applications to high-dimensional data Wavelet and curvelet transforms for geometric multiscale analysis Approximation theory for finite-valued and cartoon-like functions Deep learning and graph approximation techniques Professional activities : Active in teaching since 2011 (Analysis I-III, Functional Analysis, Integral Transforms) Supervising theses since 2015 on topics like Compressed Sensing and Deep Learning Invited lectures at Caltech, ETH Zurich, and Alan Turing Institute Research stays at Hausdorff Institute, ETH Zurich, and Duke University

Shuvendu K. Lahiriمشاهده پروفایل

پژوهشگر

• Formal Verification
• Smart Contracts
• Program Synthesis
• +۵ مورد دیگر

Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.

• Reinforcement Learning
• Bandit Algorithms
• Learning Theory
• +۴ مورد دیگر

Claire Vernade is a Group Leader at the University of Tübingen within the Cluster of Excellence Machine Learning for Science. She holds an Emmy Noether award (2022) and an ERC Starting Grant (2024) for her projects FoLiReL and ConSequentIAL , focusing on theoretical reinforcement learning and non-stationary environments. Education: PhD from Telecom ParisTech (2017) Post-doctoral researcher at University of Magdeburg (2018) Her research bridges sequential decision making, bandit problems, and reinforcement learning theory. Recent work explores lifelong learning, distributional RL, and game-theoretic approaches to PCA, emphasizing mathematical rigor and algorithmic innovation. Recent publications highlight trends in non-stationary RL , continual learning , and bandit algorithms with complex feedback structures. Key subfields include meta-learning, adaptive control, and theoretical guarantees in dynamic programming. Scientific Awards: Emmy Noether Award (2022) ERC Starting Grant (2024) Outstanding Paper Award & Oral Presentation, ICLR (2021) She mentors PhD and master's students in theoretical machine learning, with current advisees including Nicolas Nguyen, Onno Eberhard, and Ziyad Sheebaelhamd. Her lab actively recruits candidates in bandit algorithms and RL theory through the IMPRS-IS and ELLIS doctoral programs. Claire co-leads diversity initiatives like Tübingen Women in Machine Learning and Women in Learning Theory, advocating for inclusivity in AI research. She has organized workshops at ICML and EWRL, and contributed to union activism in the tech industry.

Saman Amarasingheمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Domain-Specific Languages
• +۷ مورد دیگر

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.

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

استاد

• Formal Methods
• Interactive Theorem Proving
• Program Verification
• +۹ مورد دیگر

Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.

Georg Garnweitnerمشاهده پروفایل

استاد

• Nanomaterials Synthesis
• Non-aqueous Nanoparticle Formation
• Solid-State Battery Materials
• +۵ مورد دیگر

Prof. Dr. Georg Garnweitner is a full Professor of Nanomaterials at the Institute for Particle Technology , Faculty of Mechanical Engineering, Technische Universität Braunschweig. He has served as Dean of Studies since 2023, DFG Liaison Lecturer since 2021, and head of the Laboratory for Emerging Nanometrology (LENA) board since 2013. University Professorship in Nanomaterials (2013–present) Junior Professorship in Nanoparticles/Nanocomposites (2007–2013) Research at Max Planck Institute (2005–2006) His research focuses on nanomaterial synthesis , non-aqueous nanoparticle formation , and energy storage materials , particularly for lithium-sulfur batteries. He also explores drug delivery systems using silica aerogels and optofluidic particle analysis . His work combines materials science , surface chemistry , and advanced characterization techniques . Recent publications highlight breakthroughs in solid-state electrolyte design (2023), solvent-free drug loading (2022), and nanoparticle migration dynamics (2020). He contributes to crystal engineering (2021) and population balance modeling (2017) for nanoparticle formation.