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

Andrew Childsمشاهده پروفایل

استاد

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +۲ مورد دیگر

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.

Tengyu Maمشاهده پروفایل

استادیار

• Machine Learning
• Deep Learning
• Reinforcement Learning
• +۳ مورد دیگر

Tengyu Ma is an Assistant Professor of Computer Science at Stanford University. His research focuses on machine learning, deep learning, optimization, and theoretical computer science. He is particularly known for work on neural networks, reinforcement learning, and algorithmic guarantees in AI systems. His email is tengyuma@stanford.edu . Ma's research interests span foundational aspects of machine learning, including generalization theory, optimization algorithms, and the theoretical underpinnings of deep learning. He has contributed to areas such as self-play theorem provers, learning rate schedules, and robustness in low-light vision tasks. His work often bridges theoretical insights with practical algorithm design. His recent publications emphasize advancements in large language models (LLMs), theorem proving via self-play, and understanding training dynamics in deep networks. Despite prolific output, no specific scientific awards are explicitly mentioned in the provided texts. Ongoing work includes exploring in-context learning mechanisms, formal verification of AI systems, and efficient pretraining techniques. His research has implications for both theoretical understanding and real-world applications of AI.

• Inverse Problems
• Partial Differential Equations
• Mathematical Physics
• +۳ مورد دیگر

Ali Feizmohammadi is an Assistant Professor, Teaching Stream (LTA) in the Department of Mathematics at the University of Toronto Mississauga, affiliated with the Mathematical and Computational Sciences division. His research focuses on inverse problems, partial differential equations, and geometric analysis. He holds a position emphasizing teaching excellence within the university's framework. His work addresses advanced mathematical challenges such as coefficient identification in subdiffusion equations, fractional Laplacian problems on Riemannian manifolds, and nonlinear elliptic equations on manifolds. Recent articles highlight contributions to the Calderón problem in various contexts, wave equation control, and spacetime finite element methods. No scientific awards or grants are explicitly listed in the provided information. He has not yet listed advisees in the available data. His research trends emphasize rigorous mathematical analysis of inverse problems in both classical and fractional PDE frameworks, with applications to geometric and control-theoretic questions. Dr. Feizmohammadi's work spans theoretical advancements in inverse problems, numerical methods for control systems, and the interplay between differential geometry and PDEs. His contributions address both fundamental theory and applied methodologies in mathematical physics and engineering.

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

استادیار

• Macroeconomics
• Monetary Economics
• Time Series Econometrics
• +۳ مورد دیگر

Christian Wolf is an Assistant Professor at the Massachusetts Institute of Technology (MIT) Department of Economics and a Faculty Research Fellow at the National Bureau of Economic Research (NBER). His work bridges macroeconomics, monetary economics, and econometric methodology. Research Interests: Wolf specializes in macroeconomics and monetary policy , with a focus on econometric techniques like structural vector autoregressions (VARs) and local projections . His research explores policy counterfactuals, heterogeneous-agent models, and fiscal-monetary interactions. Recent Publications: His work spans topics such as equivalence between fiscal and monetary tools in HANK models, robust identification in VARs, and the interplay between inequality and macroeconomic dynamics. Articles appear in journals like Econometrica , Journal of Political Economy , and American Economic Review . Awards: Faculty Research Fellow, NBER Contact: ckwolf@mit.edu | Office: E52-554, MIT

Mohamed Amaraمشاهده پروفایل

استاد

• Partial Differential Equations
• Mechanics in Porous Media
• Fluid Mechanics
• +۵ مورد دیگر

Mohamed Amara is a full-time Professor at the University of Pau and the Pays de l'Adour (UPPA) since 1996, affiliated with the Laboratory of Mathematics and their Applications (CNRS-UMR 5142). He served as its director (1999-2007), Director of the Doctoral School of Exact Sciences (ED211, 2007-2008), and UPPA's Scientific Council Vice-President (2008-2012). He has been UPPA's President since 2012 (re-elected until 2020). Education: Mathematics from University of Algiers (1973), Pierre and Marie Curie University (DEA 1974, Doctorate 1978, State Doctorate 1983) Academic Roles: Research Associate at Ecole Polytechnique (1978-1982), Algerian Electricity and Gas Company (1983-1992), Professor in Algiers (1988-1994), Tunis (1994-1995), and Associate Professor at Paris 6 (1995-1996) His research focuses on numerical simulation of partial differential equations for environmental/energy applications, including mechanics in porous media (petroleum engineering, geoscience), fluid mechanics (aerodynamics, estuarine hydrodynamics), non-Newtonian flows, and wave propagation. Articles highlight expertise in discontinuous Galerkin methods, Helmholtz problems, finite element discretization, and multiphysics systems. He managed 20 doctoral theses and led national mathematics programs at ANR (2007-2011). He chairs the Cocktail association for higher education IT systems and collaborates with INRIA's Magique 3D team (since 2006).

• Data Science
• Numerical Optimisation
• Medical Imaging
• +۳ مورد دیگر

Raphael Hauser is an Associate Professor in Numerical Mathematics at the University of Oxford's Mathematical Institute, Director of Graduate Studies - Teaching, and Tanaka Fellow in Applied Mathematics at Pembroke College. His affiliations include membership in the Data Science, Numerical Analysis, and Mathematical and Computational Finance research groups, as well as a fellowship at the Alan Turing Institute. Education: PhD in Operations Research, Cornell University, Ithaca, USA Dipl. Math. ETH, Swiss Federal Institute of Technology (ETH Zurich), Switzerland Research interests span data science, numerical optimisation, medical imaging, distributed computing, and applied probability/statistics. His work integrates mathematical rigor with practical applications, particularly in optimization algorithms, machine learning theory, and medical imaging technology. Publications focus on optimization theory, stochastic processes, medical imaging systems, and computational finance, with recurring themes in non-convex optimization guarantees, PCA variants, and X-ray tomography innovations. Awards: Oxford University Teaching Award (2007) SIAM Optimization Prize (2005) SIAM Student Paper Prize (2000) Advising includes 15+ DPhil students and 40+ MSc students, with projects in optimization, finance, imaging, and machine learning. Current postdocs and students are affiliated with the Alan Turing Institute and industrial partners like Siemens and Macquarie Group. He leads teams in the Mathematical Institute's research groups and collaborates with the Alan Turing Institute on large-scale data science initiatives.

Asaf Ferberمشاهده پروفایل

استادیار

• Combinatorics
• Random Graphs
• Probabilistic Methods
• +۱ مورد دیگر

Asaf Ferber is Associate Professor in Mathematics at University of California, Irvine, School of Physical Sciences. His research spans discrete mathematics including combinatorial games, random graphs, extremal hypergraph theory, and quantum computation. Research explores Hamiltonian cycles in random graphs, structural properties of pseudorandom graphs, and quantum algorithms for combinatorial problems. Recent work develops quantum approaches to graph learning and sparse recovery in random matrices. Awards: NSF CAREER Award Sloan Fellowship Distinguished Early Career Faculty Award for Research Air Force Research Grant NSF-BSF Grant Organizes conferences including SoCalDM Symposium and Desert Discrete Math Workshop, mentoring graduate students through UCI's Probability and Combinatorics Seminar.

• Theoretical Computer Science
• Error-Correcting Codes
• Approximation Algorithms
• +۵ مورد دیگر

Venkatesan Guruswami is a Chancellor's Professor in the Department of EECS and a Senior Scientist at the Simons Institute for the Theory of Computing at UC Berkeley . He also holds a Professor position in the Department of Mathematics . His academic journey began with a B.Tech in Computer Science from the Indian Institute of Technology, Madras (1997) , followed by a Ph.D. in Computer Science from the Massachusetts Institute of Technology (2001) . After a Miller Research Fellowship at UC Berkeley (2001–02), he held faculty roles at the University of Washington and Carnegie Mellon University before returning to UC Berkeley in January 2022. Education : B.Tech, IIT Madras (1997) Ph.D., MIT (2001) Professional Affiliations : Chancellor's Professor, UC Berkeley (EECS) Senior Scientist & Interim Director, Simons Institute Professor, UC Berkeley (Mathematics) Guruswami's research spans multiple domains within Theoretical Computer Science , focusing on Error-Correcting Codes , Approximation Algorithms , Randomness in Computing , Probabilistically Checkable Proofs , and Computational Complexity . His groundbreaking work in List Decoding has enabled codes with minimal redundancy for correcting worst-case errors, while recent advancements include Polar Codes , Deletion-Correcting Codes , and Constraint Satisfaction Problems . He has also contributed to Quantum Coding Theory , Locally Recoverable Codes , and Approximation Hardness in various computational contexts. His publications reflect a deep engagement with interdisciplinary topics. Key trends include: Quantum Information Theory : Quantum LDPC codes, transversal gates, and quantum storage. Algebraic Coding : Reed-Solomon codes, AG codes, and polynomial-based constructions. Computational Complexity : Hardness of approximation, CSPs, and parameterized intractability. Data Transmission : Polar codes, deletion channels, and feedback mechanisms. Algorithmic Techniques : Spectral methods, semirandom models, and Lasserre hierarchy applications. Guruswami has received numerous accolades, including the Simons Investigator Award , Presburger Award , Packard Fellowship , Sloan Research Fellowship , ACM Doctoral Dissertation Award , and the IEEE Information Theory Society Paper Award . He is an ACM Fellow (2017) and IEEE Fellow (2019) , with recent honors like the Guggenheim Fellowship (2023) and AMS Fellow (2023) . As an advisor, he has mentored over 25 PhD and postdoctoral researchers , including Atri Rudra , Prasad Raghavendra , and Peter Manohar , whose work has won awards like the Edmund M. Clarke Doctoral Dissertation Award and CRA Outstanding Undergraduate Researcher Award . His research is supported by grants from the National Science Foundation , Packard Foundation , and Sloan Foundation . He also serves as Editor-in-Chief of the Journal of the ACM and holds leadership roles in IEEE and arXiv moderation. Guruswami is actively involved in Simons Institute programs and co-organized workshops on Coded Computation and Information Theory . His work bridges theoretical advancements with practical applications in Cloud Storage , Quantum Computing , and Group Testing , including pandemic-era contributions like AC-DC: Amplification Curve Diagnostics for SARS-CoV-2 .

• Applied Analysis
• Inverse Problems
• Scientific Machine Learning
• +۷ مورد دیگر

Rima Alaifari is currently an Assistant Professor for Applied Mathematics at ETH Zürich , where she works on applied analysis, inverse problems, and scientific machine learning. Her research emphasizes stability analysis and regularization of inverse problems, applied harmonic analysis, phase retrieval, and operator learning. She is an associated member of the ETH AI Center and will transition to a full professorship at RWTH Aachen University in 2025 as Chair of Analysis and its Applications. Education : PhD in Mathematics (2010–2014, Vrije Universiteit Brussel); MSc in Applied and Industrial Mathematics (2005–2010, Johannes Kepler University) Research Focus : Stability estimates for inverse problems, phase retrieval in wavelet/Gabor transforms, operator learning with neural networks, and deep learning robustness. Article Trends : Her recent work bridges harmonic analysis with machine learning, focusing on phase retrieval stability, adversarial perturbations in imaging, and mathematically grounded neural operator frameworks like ReNO and CNO. Advising : She has supervised PhD students like Tandri Gauksson and Matthias Wellershoff. Former postdoctoral researchers include Francesca Bartolucci (now at TU Delft) and Jesse Railo (Finnish Inverse Prize winner).

• Formal Verification
• Software Testing
• Programming Languages
• +۱۲ مورد دیگر

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.

Kunihiko Kanekoمشاهده پروفایل

استاد

• Theoretical Biophysics
• Complex Systems
• Chaos
• +۶ مورد دیگر

Kunihiko Kaneko is a Professor at the Niels Bohr Institute, University of Copenhagen, with a distinguished career in theoretical biophysics and complex systems. He received his PhD and MSc in Physics from the University of Tokyo, and has held leadership roles at the Universal Biology Institute and Center for Complex Systems Biology. PhD Physics, 1984 - University of Tokyo MSc Physics, 1981 - University of Tokyo His research spans five primary areas: Universal Biology, Evolutionary Constraints, Ecosystem Dynamics, Neural Cognition, and Universal Anthropology. He has published extensively on multi-level consistency principles, dimensional reduction in biological systems, and reciprocity between robustness and plasticity across scales. Recent publications show strong focus on microbial ecosystems (2025), evolutionary game theory (2025), neural modular architectures (2024), and dimensional reduction in cellular systems (2024). His work bridges physics and biology through dynamical systems theory applied to diverse phenomena from protocells to human societies.

Ciarán Mac an Bhairdمشاهده پروفایل

دانشیار

• Resourcing Small Firms
• Enterprise Policy
• Entrepreneurial Finance
• +۷ مورد دیگر

Ciarán Mac an Bhaird is an Associate Professor of Business and Management at Dublin City University (DCU), within the Fiontar & Scoil na Gaeilge department. He holds a PhD from Trinity College Dublin, a B.Comm and LL.B from NUI Galway, and an M.Sc. in Finance from DCU. His academic role includes teaching and supervising PhD students focusing on enterprise policy, high-growth firm financing, and entrepreneurship education. Research interests span resourcing small firms, capital structure, alternative finance, and public policy for SMEs. He authored Resourcing Small and Medium Sized Enterprises (Springer-Verlag, 2010), launched by the Irish Minister for Enterprise. His work has been published in journals like Small Business Economics and Venture Capital . He chairs the Entrepreneurial Finance track at the Institute of Small Business and Entrepreneurship Conference and serves as an associate editor for Research in International Business and Finance . Current PhD advisees include Simon Bridge, Nouf Alnasser, Batoul Batoulbanjar, and Sean O Reilly. Professional activities include contributions to policy reports for Enterprise Ireland and the Irish League of Credit Unions, and participation in the U.S. State Department’s International Visitor Leadership Programme.

Nima Lashkariمشاهده پروفایل

استادیار

• Quantum Field Theory
• Quantum Gravity
• Black Hole Physics
• +۳ مورد دیگر

Nima Lashkari is an Assistant Professor of Physics and Astronomy at Purdue University, affiliated with the College of Science . His research focuses on quantum field theory (QFT), quantum gravity, black hole physics, and quantum information theory. He holds a Ph.D. in Theoretical Physics from McGill University (2012) and a B.Sc. in Physics from Sharif University of Technology (2006). Prior to Purdue, he held postdoctoral positions at MIT, the University of British Columbia, and Stanford University, and was a member of the School of Natural Sciences at the Institute for Advanced Study (2018–2019). His research explores operator algebras in quantum gravity, local S-matrix formalisms, and multipartite entanglement. Notable interests include renormalization group flows as quantum error correction, eigenstate thermalization in QFT, and holographic principles. He is a member of the It from Qubit collaboration , focusing on non-perturbative quantum field theory and gravity through quantum information lenses. Lashkari’s work has contributed to understanding gravitational dynamics via entanglement, modular theory applications in QFT, and the interplay between quantum information and spacetime geometry. His recent talks include discussions on modular intersections, time interval algebras, and gravitational energy theorems derived from information inequalities.

Joel M. Cohenمشاهده پروفایل

استاد

• Mathematics
• Algebraic Topology
• Harmonic Analysis
• +۴ مورد دیگر

Joel M. Cohen is a Professor of Mathematics at the University of Maryland, College Park. He specializes in Algebraic Topology , Harmonic Analysis , and Functional Analysis , with a focus on Operator Theory and Differential Equations on Trees . His work bridges abstract mathematical theory with applications in Mathematical Physics and Geometric Analysis . His recent publications include studies on Carleson measures, harmonic structures on trees, and the Radon transform. He has received the 2006 Lester R. Ford award for his article in the American Mathematical Monthly. Key Collaborators: Flavia Colonna, David Singman, Massimo Picardello Courses Taught: Math 136 (Calculus for Life Sciences), Math 734 (Algebraic Topology) Cohen has served in various academic roles, including Former Member of the University Senate and Founding Member of the Coalition on Intercollegiate Athletics . His research has been published in journals such as Ann. Inst. Fourier Grenoble, American Journal of Mathematics, and Advances in Applied Mathematics.

Ming-Jun Laiمشاهده پروفایل

استاد

• Multivariate Splines
• Sparse Solutions of Underdetermined Linear Systems
• Wavelet Theory
• +۸ مورد دیگر

Ming-Jun Lai is a Professor in the Department of Mathematics at the University of Georgia. His career spans decades, focusing on multivariate splines, sparse solutions of linear systems, wavelet theory, and their applications in numerical analysis and machine learning. Education: Lai received his Ph.D. from Texas A&M University and completed postdoctoral training at the University of Utah. He has supervised 22 Ph.D. students and two current Ph.D. candidates. Multivariate Splines: Applied to scattered data fitting, numerical PDE solutions, image enhancement, and surface design. Sparse Solutions: Used in compressed sensing, low-rank matrix recovery, and graph clustering. Wavelet Theory: Construction of biorthogonal and tight wavelet frames for image edge detection. Optimal Transport: Numerical solutions for Monge-Ampère equations. Research Trends (2025–2023): Recent work includes interpolating space curves with geometric continuity, spherical spline smoothing, and applications in machine learning, particularly graph clustering and optimal control in biological systems. Scientific Awards: UGA Research Medal (2002) McCay Award (2013) Advisees: Lai has mentored 24 Ph.D. students, including Zhaiming Shen (2024), Jinsil Lee (2023), and current students Valerio Palamra and Ye Tian. Laboratory & Collaborations: He collaborates with institutions like Georgia Tech, UCLA, and Zhejiang University, applying splines in aerospace engineering and biomedical imaging.