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

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.

Kuldeep S. Meelمشاهده پروفایل

دانشیار

• Automated Reasoning
• Formal Methods
• Artificial Intelligence
• +۶ مورد دیگر

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.

Rahul Sarkarمشاهده پروفایل

پژوهشگر ارشد

• Quantum Information Theory
• Microlocal Analysis
• Machine Learning
• +۳ مورد دیگر

Rahul Sarkar is a Postdoctoral Fellow at the University of California, Berkeley, affiliated with the Department of Mathematics . He was previously a Ph.D. student in the Institute for Computational and Mathematical Engineering (ICME) at Stanford University, graduating in 2022 under the advisement of Biondo Biondi and András Vasy. Research Interests : Quantum information theory, inverse problems, machine learning, microlocal analysis, and numerical methods for PDEs. Scientific Contributions : Developed novel quantum computing algorithms and numerical schemes for geophysical imaging, with applications in seismic tomography and quantum signal processing. Teaching : Taught courses at Stanford including Introduction to Quantum Computing and 3D Seismic Imaging , with roles as instructor and course assistant. Awards : Schlumberger Innovation Fellowship (2019-2020). His work bridges mathematical analysis and quantum computation , with a focus on solving real-world problems through interdisciplinary approaches. He has collaborated with institutions like IBM and Schlumberger to apply quantum algorithms to geoscience and financial optimization.

Supratik Chakrabortyمشاهده پروفایل

استاد

• Formal Methods
• Formal Verification
• Automated Synthesis
• +۷ مورد دیگر

Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.

Ivan Dokmanicمشاهده پروفایل

استادیار

• Machine Learning
• Signal Processing
• Inverse Problems
• +۱۱ مورد دیگر

Ivan Dokmanic is an Assistant Professor at the Coordinated Science Laboratory (CSL) within the University of Illinois . His research bridges signal processing , machine learning , and applied inverse problems , with a focus on acoustics, biomedical imaging, and distance geometry. Current Role : Assistant Professor, CSL Email : dokmanic@illinois.edu Research Interests : Dokmanic explores machine learning applications in inverse problems , particularly distance geometry for molecular imaging and acoustics . His work includes unlabeled sensing , where distances between points are known but their arrangement is not. This has implications for powder diffraction , indoor localization , and echo modeling . Article Trends : His recent publications emphasize distance geometry in machine learning , acoustic signal processing , and inverse problem theory . Key areas include molecular imaging , audio encryption , and sensor positioning . Collaborative work spans medical imaging , cyberphysical systems , and geometric invariants . 2016 Google Faculty Award NSF Grant (1 year, $157,079) Students and Grants : Dokmanic mentors PhD students like Puoya, Shuai, and Anadi. His research is funded by the National Science Foundation , Google , VISA , and nVidia .

• Computational Imaging
• Artificial Intelligence
• Inverse Problems
• +۷ مورد دیگر

Aviad Levis is an Assistant Professor at the University of Toronto's Department of Computer Science, starting July 2024. He is affiliated with the Dunlap Astronomical Data Science and Technology Group (DADDAA) and collaborates with the Toronto Computational Imaging Group alongside Kyros Kutulakos and David Lindell. Previously, he was a postdoctoral researcher at Caltech's Computing + Mathematical Sciences department under Katherine Bouman, working with the Event Horizon Telescope (EHT) collaboration. PhD in Electrical Engineering from the Technion (supervised by Yoav Schechner) Research focuses on computational imaging tools at the intersection of AI and physics Develops algorithms for 3D tomography in both cloud physics and black hole imaging Recipient of ERC Synergy grant for CloudCT space mission His research spans two major domains: Computational Climate Imaging through cloud tomography to improve climate models, and Black Hole Imaging with the EHT collaboration. He pioneered methodologies for 3D cloud structure recovery using scattered sunlight and contributes to dynamic 3D reconstructions of black hole environments. Current interests include non-linear inverse problems, equation discovery from data, and ML-accelerated scientific simulations. Recent publications highlight advancements in atmospheric tomography and black hole emission modeling. His work on CloudCT involves coordinated nano-satellites for 3D cloud imaging, while EHT contributions include first images of Sagittarius A* (2022) and ongoing development of algorithms for 3D structure recovery. The ERC Synergy grant underscores his impact on climate imaging technology. Personal Website Work Email

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

استاد

• Very low-power analog circuit design
• RF IC design
• Semiconductor device modeling
• +۴ مورد دیگر

Christian Enz is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), where he serves as Director of the Institute of Microengineering and Head of the Integrated Circuits Laboratory. With M.S. and Ph.D. degrees in electrical engineering from EPFL (1984 and 1989), he has established himself as a leading researcher in low-power analog circuit design and semiconductor device modeling. His research interests focus on very low-power analog and RF IC design , semiconductor device modeling , and increasingly on cryogenic electronics for quantum computing applications . Professor Enz is particularly known for his work on FDSOI MOSFET behavior at cryogenic temperatures, developing comprehensive models that address challenges in subthreshold swing saturation, threshold voltage shifts, and self-heating effects. As a Life Fellow of IEEE with 282 publications and over 7,400 citations, Professor Enz has made significant contributions to the field. His recent work demonstrates how the $G_{m}/I_{D}$ design methodology remains effective in advanced technology nodes and can be extended to cryogenic temperature operation. His research bridges fundamental semiconductor physics with practical circuit design considerations for quantum computing interfaces. Life Fellow, IEEE Director of the Institute of Microengineering, EPFL Head of the Integrated Circuits Laboratory 282 publications with 7,400+ citations Specialist in cryogenic CMOS for quantum computing Professor Enz's work on cryogenic electronics addresses critical challenges for quantum computing scalability. By developing accurate models for transistor behavior at temperatures as low as 3.3K, his research enables the design of specialized control electronics that can operate inside dilution refrigerators, potentially solving major wiring constraints that currently limit quantum computer scaling. His laboratory continues to advance the understanding of semiconductor device physics at cryogenic temperatures while developing practical circuit design methodologies for this emerging application domain.

Albert Atseriasمشاهده پروفایل

استاد

• Computational Complexity
• Logic in Computer Science
• Finite Model Theory
• +۷ مورد دیگر

Albert Atserias is a Professor in the Department of Computer Science at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Informatics of Barcelona (FIB) and the ALBCOM research group (Algorithms, Bioinformatics, Complexity, and Formal Methods). He is also associated with the Institut de Matemàtiques de la UPC-BarcelonaTech. His research is central to theoretical computer science, with a strong emphasis on logic and complexity. Atserias's research interests span Computational Complexity, Logic in Computer Science, Finite Model Theory, Proof Complexity, and Constraint Satisfaction Problems . His work explores the fundamental limits of computation, the expressive power of logical languages over finite structures, and the complexity of proving mathematical statements. He investigates the algebraic and combinatorial properties of proof systems, the limits of efficient algorithms for constraint solving, and the theoretical foundations of databases. His research often bridges logic, algebra, and combinatorics to provide deep insights into computational phenomena. The trends in his recent publications show a sustained focus on the logical and algebraic underpinnings of computational problems. Key themes include the consistency and complexity of database queries , the power and limitations of proof systems (like resolution and sum-of-squares), and the expressive power of homomorphism counts in graph theory. His work on the hardness of automating resolution and the development of circular proof systems are particularly significant contributions to proof complexity. The 2024 PODS Best Paper Award for work on relational consistency underscores the impact and timeliness of his research. Among his notable scientific awards are the prestigious ICREA Acadèmia , the PODS 2024 Best Paper Award , the Premi Extraordinari de Doctorat (Extraordinary Doctoral Prize), and the Kleene Award for Best Student Paper . These accolades reflect both the excellence of his early work and his continued leadership in the field. Atserias has been a principal investigator on numerous competitive research projects, including funding from the European Research Council (ERC) and the Spanish Ministry of Science. He has advised doctoral students, such as Toni Hakoniemi, whose thesis on proof complexity he supervised. His extensive collaborative network includes leading researchers like Phokion Kolaitis, Anuj Dawar, and Victor Dalmau. He has also served on the scientific committees of major conferences, contributing to the academic community. He is a core member of the ALBCOM research group , a leading team at UPC focused on theoretical aspects of computer science, which provides a vibrant environment for research in algorithms, complexity, and formal methods. His work is also connected to the broader Institut de Matemàtiques de la UPC, fostering interdisciplinary collaboration between computer science and mathematics.

• Machine Learning
• Reinforcement Learning
• Online Learning
• +۴ مورد دیگر

Karan Singh serves as an Assistant Professor of Operations Research at Carnegie Mellon University's Tepper School of Business, where he develops theoretically rigorous algorithms for machine learning systems with emphasis on reinforcement learning and control theory. His work synthesizes techniques from online learning, optimization, and statistics to address complex interactive learning challenges. His academic journey includes: PhD in Computer Science from Princeton University under Elad Hazan Postdoctoral research at Microsoft Research (Redmond) Bachelor's degree in Computer Science from Indian Institute of Technology (IIT) Kanpur Singh's research program centers on three interconnected pillars: Algorithmic Reductions : Creating efficient methods to solve complex learning problems (e.g., reinforcement learning) using solvers for simpler tasks, yielding breakthroughs in online boosting and RL with concave rewards Nonstochastic Control : Establishing an algorithmic foundation for control theory through provably efficient instance-optimal algorithms that extend online learning to stateful systems Privacy-Preserving Online Learning : Investigating fundamental limits of regret minimization under differential privacy constraints while maintaining performance His approach consistently bridges theoretical computer science and practical control applications. Analysis of his 15 most recent publications reveals a clear evolution toward integrating algorithmic reductions with nonstochastic control frameworks. Recent work (2023-2025) demonstrates increasing focus on sample efficiency in agnostic boosting, privacy-aware optimization without smoothness assumptions, and competitive ratio analysis in online control. A unifying thread is the development of regret-optimal algorithms for linear dynamical systems under adversarial disturbances. His contributions have earned significant recognition: Best Paper Award at OptRL workshop (NeurIPS 2019) Spotlight Prize from New York Academy of Sciences' ML Symposium (2018) Multiple oral presentations at NeurIPS/ICML (acceptance rate Though specific student advisees aren't listed, Singh's extensive publication record with junior co-authors indicates active mentorship. His research has secured substantial support including a US patent (11,138,513 B2) for dynamic learning systems and collaborations through CMU's Machine Learning and Optimization group. Current projects involve interdisciplinary work on differentiable control libraries (Deluca) and medical applications like mechanical ventilation control. Singh leads research within CMU's Machine Learning and Optimization ecosystem, collaborating across computer science and engineering departments. His team develops foundational tools like the Deluca differentiable control library while pursuing real-world applications in healthcare systems, demonstrating strong cross-disciplinary integration.

John Leahyمشاهده پروفایل

استاد

• Macroeconomics
• Monetary Economics
• Economic Theory
• +۳ مورد دیگر

John Leahy is the Allen Sinai Professor of Macroeconomics and Public Policy at the University of Michigan, holding dual appointments in the Department of Economics (College of Literature, Science, and the Arts) and the Gerald R. Ford School of Public Policy. As Chair of the Economics Department, he focuses on macroeconomic theory, monetary policy, and behavioral economics, particularly rational inattention models. His research emphasizes how cognitive limitations and information processing affect economic decisions, contrasting classical economic assumptions. Leahy has held positions at Harvard, NYU, and Boston University, and served as Coeditor of the American Economic Review and Editor of the American Economic Journal: Macroeconomics. He consults with Federal Reserve Banks, advocating for data-driven, question-first research methodologies. His work bridges theoretical rigor and practical applications, influencing policy analysis and academic discourse. Education: PhD in Macroeconomics from Princeton University; MSFS from Georgetown University; BA in Math and History. His research spans macroeconomic policy, structural change, and behavioral models of decision-making, with recent focus on wishful thinking and imperfect information processing. He collaborates widely, emphasizing interdisciplinary approaches and creative problem-solving. Key contributions include modeling rational inattention, analyzing age structure impacts on monetary policy, and exploring North-South economic disparities. His editorial leadership and academic mentorship reflect his commitment to advancing innovative economic inquiry.

Matthew K. Tamمشاهده پروفایل

دانشیار

• continuous optimisation and its applications
• monotone operator theory
• variational and convex analysis
• +۳ مورد دیگر

Matthew K. Tam is an Associate Professor at the School of Mathematics and Statistics, The University of Melbourne, specializing in Operations Research. He is also an investigator at the Melbourne Centre for Data Science and an associate investigator in the ARC Training Centre OPTIMA. PhD in Mathematics (2016) from University of Newcastle under Jonathan Borwein Postdoctoral research at University of Göttingen with RTG-2088 and Alexander von Humboldt Foundation Junior Professor at University of Göttingen (2017-2020) His research focuses on continuous optimization, monotone operator theory, and variational analysis, with applications in wavelet construction and inverse problems. Key trends include distributed algorithms, resolvent splitting, and convergence analysis for feasibility problems. Discovery Early Career Researcher Award (DECRA) Alexander von Humboldt Fellowship He collaborates with institutions like ANZIAM, Springer, and IEEE, with publications spanning mathematical optimization, harmonic analysis, and computational mathematics. His work emphasizes algorithmic design for complex data systems and real-world applications in imaging and industrial modeling.

• Applied Mathematics
• Mathematical Physics
• Computational Science
• +۳ مورد دیگر

Ben Goddard is a Professor in the School of Mathematics at the University of Edinburgh. His work bridges applied mathematics with real-world scientific challenges, emphasizing interdisciplinary collaboration across engineering, biology, chemistry, and physics. He earned his PhD at the University of Warwick, later completing his final year at TU Munich following his advisor. His research focuses on mathematical modeling, numerical methods, and asymptotic analysis applied to problems such as quantum chemistry, fluid dynamics, and biological systems. Education: Bachelor’s degree in Mathematics (undergraduate details unspecified) PhD in Mathematical Quantum Chemistry (University of Warwick/TU Munich) Research interests include: Dynamic density functional theory (DFT) for complex fluids and nanoparticles Interfacial phenomena and contact line dynamics Numerical optimization and pseudospectral methods Biological systems modeling (e.g., RNA transcription mechanics) Recent work explores applications like ouzo phase behavior, aerosol droplet stability, and opinion dynamics in social networks. His collaborations span diverse fields, including experimental biology at the Welcome Centre for Cell Biology. He advocates for mathematicians’ role in interdisciplinary problem-solving, emphasizing clear communication and adaptability. Advising and grants: While specific grant details are not listed, his projects reflect significant funding and team-based research. He actively promotes STEM engagement through activities like designing math-themed escape rooms with his spouse, a statistician. Labs/Teams: Collaborates extensively with Edinburgh’s Schools of Engineering, Biology, and Informatics, though no specific lab names are mentioned.

Naratip Santitissadeekornمشاهده پروفایل

مدرس ارشد

• Data Assimilation
• Inverse Problems
• Geophysical Fluid Dynamics
• +۵ مورد دیگر

Naratip Santitissadeekorn is a Senior Lecturer in Data Assimilation at the School of Mathematics and Physics, University of Surrey, where he is affiliated with the Mathematics at the Interface Group. His work bridges mathematics, data science, and real-world applications in urban planning, crime analysis, and geophysical fluid dynamics. Dr. Santitissadeekorn received his PhD from Clarkson University in 2008, with a dissertation titled "Transport Analysis and Motion Estimation of Dynamical Systems of Time-Series data." His doctoral research was supervised by Professor Erik Bollt. Following his PhD, he completed two significant postdoctoral positions: from 2008-2011 at the University of New South Wales, Sydney, Australia, working with Professor Gary Froyland on numerical techniques for finite-time Lagrangian coherent set identification, with applications to delimiting the polar vortex and Agulhas rings; and from 2011-2014 at the University of North Carolina-Chapel Hill, working with Professor Chris Jones on data assimilation projects. Dr. Santitissadeekorn's research focuses on inverse problems and data assimilation in geophysical fluid dynamics, the applications of Lagrangian Coherent Structures (LCS), and computational ergodic theory. His work combines theoretical mathematics with practical applications, particularly in urban growth modeling and crime analysis. He has developed innovative methods for identifying coherent structures in fluid flows, estimating transition probabilities from spatiotemporal data, and creating data-driven frameworks for urban expansion scenarios. His research demonstrates how mathematical techniques can be applied to solve real-world problems in environmental science, urban planning, and public safety. An analysis of Dr. Santitissadeekorn's recent publications (2020-2023) reveals a strong focus on urban expansion modeling and network analysis. His work on urban growth has evolved from basic cellular automata models to sophisticated frameworks that manage uncertainty through parameter clustering and growth mode identification. His research on Hawkes processes has advanced ensemble-based filtering techniques for analyzing count data in large networks. These publications demonstrate a consistent pattern of applying mathematical rigor to complex spatiotemporal phenomena, with increasing emphasis on data-driven approaches and practical applications. Dr. Santitissadeekorn has made significant contributions to data assimilation methods, particularly through the development of the extended Poisson-Kalman filter (ExPKF) for urban crime modeling. His teaching includes courses in Algebra and Bayesian Statistics, reflecting his expertise in both theoretical and applied mathematics. While specific awards are not mentioned in the available information, his extensive publication record in high-impact journals demonstrates recognition within his field. Dr. Santitissadeekorn's research has practical implications for urban planning and law enforcement. His work on urban expansion models helps planners understand different growth trajectories, while his crime modeling research contributes to improved police patrolling strategies. His interdisciplinary approach, combining mathematics, computer science, and domain-specific knowledge, positions him at the forefront of applying data science to societal challenges.

• Biomechanics
• Classical Mechanics
• Continuum Mechanics
• +۷ مورد دیگر

Alfio Grillo is a Full Professor at the Department of Mathematical Sciences (DISMA) of Politecnico di Torino, with research interests in biomechanics, continuum mechanics, and mathematical physics. His expertise spans classical mechanics and multiscale modeling of biological tissues. Research Focus: Grillo's work integrates analytical mechanics with nonholonomic constraints, fractional calculus applications, and multiscale modeling of growth/remodeling phenomena in biological systems. Recent articles emphasize poroelasticity, viscoelastic composites, and bi-phasic material behavior. Scientific Contributions: Editorial roles in leading journals since 2014 Member of INdAM-GNFM since 2009 Recipient of National Scientific Qualification in 2017 €128,609 PRIN grant for multiscale biological modeling Academic Leadership: Supervises PhD students in Civil Engineering, Mathematics, and Mathematical Engineering. Teaches advanced courses in Differential Varieties, Variational Methods, and Porous Media Mechanics.

Roberto Tronمشاهده پروفایل

استادیار

• Control Theory
• Robotics
• Computer Vision
• +۴ مورد دیگر

Roberto Tron is an Assistant Professor in the Mechanical Engineering and Systems Engineering departments at the Boston University College of Engineering , with his office located at 110 Cummington Mall. His research integrates control theory, robotics, and computer vision to solve complex multi-agent coordination problems. His primary research interests focus on Riemannian geometry applications , distributed multi-agent systems , and safety-critical control . Key methodologies include Control Barrier Functions (CBFs), Riemannian optimization, and distributed consensus algorithms, with applications spanning autonomous aerial vehicles, robotic manipulation, and multi-robot security systems. Analysis of his recent publications reveals a strong emphasis on safety verification and real-time optimization for autonomous systems. His work consistently bridges theoretical foundations in nonlinear control with practical implementations in robotics, particularly addressing challenges in limited sensor fields of view, distributed task allocation, and noise-robust navigation. The research shows increasing integration of formal methods like Signal Temporal Logic with learning-based approaches. Tron received his Ph.D. from The John Hopkins University and previously conducted post-doctoral research at the GRASP Lab, University of Pennsylvania. His work demonstrates significant contributions to provably safe autonomous systems through frameworks like the Control Barrier Function Toolbox.