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

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

Benjamin Carrison-Schaferمشاهده پروفایل

دانشیار

• Reconfigurable Computing
• FPGAs
• Electronic Design Automation
• +۷ مورد دیگر

Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.

Deian Stefanمشاهده پروفایل

دانشیار

• Security
• Programming Languages
• Systems
• +۶ مورد دیگر

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.

Fabian Fagerholmمشاهده پروفایل

استادیار

• Software Engineering
• Human-Computer Interaction
• Agile Development
• +۳ مورد دیگر

Fabian Fagerholm is an Assistant Professor in the Department of Computer Science at Aalto University. His work bridges software engineering, human-computer interaction, and empirical research methodologies. He actively participates in research groups such as Software and Service Engineering (SSE) and Human-Computer Interaction and Design (HCID). Fagerholm's research explores: Continuous experimentation in software development Developer cognition and mental models Agile methodologies and team dynamics Low-code platforms and end-user programming Software engineering education and pedagogy His publications reflect a strong empirical focus, with recurring themes of human factors in technical systems and educational innovation. He has received notable awards including: Journal of Systems and Software Best Paper Award (2018) EUROMICRO SEAA Distinguished Paper Award (2017) Teacher of the Year (2013) Nokia Foundation Scholarship (2013) Fagerholm contributes to software engineering infrastructure through tools for experimentation and boundary artifacts, enhancing collaboration in distributed teams.

Michael O'Boyleمشاهده پروفایل

استاد

• Heterogeneous Code discovery and Optimisation
• Neural Machine Translation and Neural Synthesis
• Deep Neural Network system stack
• +۷ مورد دیگر

Michael O'Boyle is a Professor at the University of Edinburgh's School of Informatics, where he serves as Director of the ARM Research Centre of Excellence and the EPSRC Centre for Doctoral Training in Pervasive Parallelism. Holding an EPSRC Established Career Research Fellowship, he leads pioneering work in compiler technology for heterogeneous architectures, bridging theoretical advances with practical high-performance computing applications. Professor O'Boyle's research spans multiple cutting-edge areas including heterogeneous code discovery and optimization, neural machine translation for program synthesis, deep neural network system stack optimization, software-defined hardware, and compiler/architecture co-design. His approach integrates constraint analysis, program synthesis, and machine learning to address complex challenges in high-performance computing across diverse hardware platforms. His recent publications reveal a strong trend toward integrating machine learning with traditional compiler techniques, particularly in neural program synthesis, tensor optimization, and architecture-aware compilation. This work represents a paradigm shift in compiler design, moving from rule-based systems to learning-based approaches that can automatically adapt to diverse hardware targets. IEEE/ACM CGO 2025 Distinguished Paper Award for 'Tensorize: Fast Synthesis of Tensor Programs from Legacy Code' IEEE/ACM CGO 2024 Test of Time Award ACM GPCE 2023 Best Paper Award for 'C2TACO: Lifting Tensor Code to TACOM' ACM ASPLOS 2021 Distinguished Paper Award IEEE HPCA 2021 Best Paper Award for 'Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads' Professor O'Boyle has successfully mentored numerous PhD students who have secured prominent positions in academia (including at Cambridge, Edinburgh, Leeds, and McGill) and industry (including Meta, NVIDIA, Qualcomm, Huawei, and Microsoft). His research is supported by significant funding from EPSRC, ARM, and European projects including Bonseyes and Transmuter, demonstrating strong international recognition and industry impact. He leads the influential Compiler and Architecture Design (CArD) Group at the University of Edinburgh and is a founder of the HiPEAC Network of Excellence, which has grown into a major European initiative connecting researchers and practitioners in high-performance and embedded computing.

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.

Adriana Schulzمشاهده پروفایل

استادیار

• Computational Design
• Computer-Aided Design (CAD)
• Digital Fabrication
• +۴ مورد دیگر

Adriana Schulz is an Assistant Professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She leads a research group focused on computational design, computer-aided design (CAD), and digital fabrication. Her work bridges computer science with practical applications in manufacturing, robotics, and sustainable design. Dr. Schulz received her Ph.D. in Computer Science from MIT in 2018 under the supervision of Professor Wojciech Matusik. Prior to her doctoral studies, she earned a Master's degree in Mathematics from IMPA (Instituto Nacional de Matemática Pura e Aplicada) in Rio de Janeiro, where she worked with Professor Luiz Velho, and a Bachelor's degree in Electronics Engineering from UFRJ (Federal University of Rio de Janeiro). Her research interests center around computational tools that enhance design and manufacturing processes. She develops novel algorithms for CAD systems, computational fabrication techniques, and sustainable design approaches. Her work spans multiple domains including robotics, textiles, electronics, and architecture, with a strong emphasis on creating practical tools that designers and engineers can use in real-world applications. She explores how machine learning, particularly neurosymbolic approaches, can improve design workflows and enable new capabilities in computational design systems. Analysis of her recent publications reveals a strong trend toward more intelligent and user-centered design tools. Her research increasingly integrates machine learning with traditional CAD systems to create more intuitive interfaces, supports sustainable design practices with computational tools, and develops novel fabrication techniques that push the boundaries of what's possible with digital manufacturing. She has made significant contributions to zero-waste fashion design, immersion cooling for high-performance computing, and CAD program understanding through novel representation learning techniques. Innovators Under 35 - MIT Technology Review Bolsa Aluno Nota 10 from FAPERJ Engineer 20000 award Dr. Schulz actively mentors several PhD students and postdoctoral researchers, including Haisen Zhao, Ben Jones, Yuxuan Mei, and others, often in collaboration with colleagues across different departments. Her research has attracted significant media attention, with coverage in major outlets including MIT News, BBC, IEEE Spectrum, Wired, and TechCrunch. Her work on Interactive Robogami was noted as the most read article in the International Journal of Robotics Research in its publication year. She leads a vibrant research group at the University of Washington that focuses on computational design systems, with particular emphasis on creating tools that bridge the gap between digital design and physical fabrication. Her team develops novel algorithms for CAD systems, computational fabrication techniques, and sustainable design approaches that have practical applications across multiple industries.

• Financial Engineering
• Operations Research
• Stochastic Modeling
• +۳ مورد دیگر

Liming Feng is an Associate Professor at the Department of Industrial and Enterprise Systems Engineering, University of Illinois at Urbana-Champaign, and has served as Director of the Master of Science in Financial Engineering (MSFE) program since 2022. His academic career at the university spans from Assistant Professor (2006-2012) to his current role. He earned his Ph.D. in Industrial Engineering and Management Sciences from Northwestern University (2006), an M.S. in Mathematics from Northwestern University (2000), and a B.S. in Mathematics from Beijing Normal University (1997). Ph.D., Industrial Engineering and Management Sciences, Northwestern University, 2006 M.S., Mathematics, Northwestern University, 2000 B.S., Mathematics, Beijing Normal University, 1997 Feng’s research focuses on Financial Engineering, Stochastic Modeling, and Computational Methods. He has contributed extensively to quantitative finance, particularly in options pricing, portfolio optimization, and market impact models. His work leverages advanced numerical methods, Fourier transforms, and stochastic calculus to solve complex financial problems. The trends in his publications highlight expertise in Levy processes, jump diffusion models, and numerical algorithms for financial derivatives. He has developed innovative techniques for Bermudan options pricing, discretely monitored barrier options, and portfolio deleveraging strategies. His articles often intersect Operations Research with Financial Engineering, emphasizing computational efficiency and mathematical rigor. ISE Faculty Fellow (2025) INFORMS Financial Services Section Best Student Research Paper (2013) First runner-up of the 2012 Morgan Stanley Prize for Excellence in Financial Markets Feng has served on editorial boards for Operations Research Letters and Mathematical Finance . He has been recognized repeatedly for teaching excellence, including the Sharp Outstanding Teaching Award (2011, 2022) and multiple entries in the List of Teachers Ranked as Excellent by Their Students (2007-2024). He currently leads the MSFE program and contributes to curriculum development through courses like IE 522 (Statistical Methods in Finance) and IE 527 (MSFE Professional Development).

Zongyi Liمشاهده پروفایل

پژوهشگر ارشد

• Machine Learning
• Scientific Computing
• Partial Differential Equations
• +۵ مورد دیگر

Zongyi Li is a Research Fellow at Massachusetts Institute of Technology , hosted by Kaiming He. They are currently pursuing a Ph.D. in Computing and Mathematical Sciences at Caltech (2019-2025), mentored by Anima Anandkumar and Andrew Stuart. Ph.D. candidate: Computing and Mathematical Sciences, Caltech (2019-2025) B.Sc. in Computer Science and Mathematics with a Jazz minor from Washington University in St. Louis (2015-2019) They focus on Neural Operators for learning solution operators in Partial Differential Equations (PDEs) , particularly in fluid mechanics and earth science . Their work models physical simulations with chaotic behaviors and complex geometries, showing applications in weather forecasting , carbon storage , and aerodynamics simulation . Publications emphasize resolution-invariant models , chaotic systems , and zero-shot super-resolution capabilities. Their research combines Fourier analysis , graph networks , and physics-informed loss functions to achieve state-of-the-art performance in PDE solving with up to 1000x speedup over traditional solvers. Fellowships: Kortschak Scholarship PIMCO Fellowship Amazon AI4Science Fellowship Nvidia Fellowship MIT Novo Nordisk AI Fellowship Code & Open-Source: Co-developer of the NeuralOperator library Implementations for Fourier Neural Operators , Graph Neural Operators , and Tensorized Neural Operators Media Recognition: Quanta Magazine MIT Tech Review NVIDIA Features Towards Data Science

Marc Pollefeysمشاهده پروفایل

استاد

• Computer Vision
• 3D Reconstruction
• Robotics
• +۱۲ مورد دیگر

Marc Pollefeys is a Full Professor at the Department of Computer Science, ETH Zurich, and Director of the Microsoft Mixed Reality and AI Lab. His work focuses on advanced perception systems for HoloLens, 3D computer vision, robotics, and machine learning. Key contributions include automated 3D modeling from video, real-time reconstruction pipelines, and vision-based autonomous systems. Education: PhD from KU Leuven (1999) Previous Affiliation: Professor at UNC Chapel Hill Research interests span 3D reconstruction , computer vision , robotics , SLAM , augmented reality , and privacy-preserving mapping . His work often integrates geometric modeling , feature matching , and deep learning . Recent projects emphasize implicit 3D representations , open-vocabulary scene understanding , and robust estimation using neural-guided algorithms. Recent publications highlight advancements in neural implicit fields , line-based correspondence , and vision-language integration . Trends include hybrid point-line methods, differentiable RANSAC, and privacy-aware localization frameworks. Scientific recognition includes: IEEE Fellow (2012) David Marr Prize (ICCV 1998) DAGM Best Paper Award (1999) Advisees include current and alumni PhD students such as Yagız Aksoy, Federico Camposeco, and Sudipta Sinha. Collaborations span institutions like UNC Chapel Hill, ETH Zurich, and Microsoft Zurich. Research sponsors include Microsoft, Google, and European research initiatives.

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.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Joey Paquetمشاهده پروفایل

دانشیار

• Design and implementation of programming languages
• Context-driven computing
• Demand-driven computing

Dr. Joey Paquet is a Tenured Associate Professor and Department Chair in the Department of Computer Science and Software Engineering at Concordia University in Montreal, Canada. He holds a PhD and specializes in research areas including Design and Implementation of Programming Languages, Context-Driven Computing, and Demand-Driven Computing. His work focuses on advancing programming paradigms and their applications in cybersecurity, distributed systems, and autonomic computing. Dr. Paquet is actively involved in thesis supervision across Computer Science and Software Engineering programs at both master's and doctoral levels. Research interests are centered around programming language design, particularly in demand-driven and context-aware systems. His contributions include frameworks like GIPSY and OpenISS, enabling scalable data processing and forensic computing. Recent work explores autonomic intent-driven networking, real-time gesture recognition, and IoT forensics. These efforts highlight his expertise in both theoretical constructs and practical implementations. His advising role supports students in MCompSc, MASc, and PhD programs. While specific grants are not detailed, his projects often involve interdisciplinary collaboration. Dr. Paquet is affiliated with platforms like LinkedIn and ResearchGate, reflecting an active academic presence. Key technical contributions include pioneering work on forensic computing backends, intent expression languages, and multimodal interaction systems. His research addresses challenges in cybersecurity, distributed systems, and service composition, with a focus on resilience and scalability.

• Lithium-Ion Battery Production
• Energy Storage Systems
• Production Engineering
• +۳ مورد دیگر

Prof. Dr.-Ing. Rüdiger Daub serves as Professor and Chair of Production Engineering and Energy Storage Systems at the Technical University of Munich (TUM), operating within the Department of Mechanical Engineering. His leadership encompasses research direction, academic supervision, and strategic development of battery production technologies at TUM's Garching campus (Boltzmannstr. 15), with active industry collaborations driving innovation in sustainable manufacturing. Daub's research program pioneers advanced production methodologies for lithium-ion and solid-state batteries, focusing on electrode manufacturing, electrolyte filling, and cell assembly processes. His work investigates critical parameter interdependencies affecting battery safety and performance, developing inline monitoring systems and digital twin technologies for real-time process optimization. Key contributions include moisture control in electrode production, electrochemo-mechanical characterization of solid-state systems, and robotics solutions for deformable object assembly, all integrated with machine learning for quality assurance in industrial settings. Analysis of his 2023-2025 publications reveals a dominant research trajectory toward solving production bottlenecks in next-generation energy storage. The work demonstrates increasing integration of computational modeling with empirical validation, particularly in solid-state battery manufacturing and high-voltage electrolyte systems. A notable trend is the cross-pollination of robotics, computer vision, and uncertainty quantification techniques to address complex assembly challenges and distribution shifts in quality monitoring, reflecting industry's urgent need for adaptable, data-driven production systems. Leading TUM's specialized laboratories for battery cell production, Daub's team maintains comprehensive facilities for electrode calendering, electrolyte filling, and cell assembly with integrated tracking and tracing capabilities. The research infrastructure supports collaborative projects with automotive OEMs and battery manufacturers to develop scalable production processes, emphasizing environmental sustainability through water-based electrode production and footprint optimization. Current initiatives focus on digital factory modeling and prelithiation technologies for next-generation battery systems.

Ciprian Manolescuمشاهده پروفایل

استاد

• Geometry
• Topology
• Gauge Theory
• +۴ مورد دیگر

Ciprian Manolescu is a Professor of Mathematics at Stanford University, where he joined after serving as a professor at UCLA since 2008. He holds both his undergraduate degree and doctorate from Harvard University, advised by Peter Kronheimer. His research focuses on gauge theory, low-dimensional topology, and symplectic geometry, with notable contributions to Heegaard Floer theory, Khovanov homology, and the resolution of the Triangulation Conjecture. Manolescu’s academic accolades include the 2019 E.H. Moore Research Article Prize, the 2012 European Mathematical Society Prize, and a 2004 Clay Research Fellowship. He delivered an invited lecture at the 2018 International Congress of Mathematicians and became a Fellow of the American Mathematical Society in 2017. His work bridges advanced algebraic structures with geometric problems, particularly in understanding manifold invariants and topological constraints. His teaching includes the Polya Problem Solving Seminar (Math 193) at Stanford, and he advises students competing in the Putnam Mathematics Competition. Research trends in his publications emphasize applications of Floer homology to knot theory, 4-manifold topology, and the interplay between algebraic topology and quantum field theories. Education: PhD and BA in Mathematics, Harvard University Key Research Themes: Floer homology frameworks, geometric topology, knot invariants, and manifold classification Grants & Collaborations: Involved in NSF-funded projects like the FRG: Collaborative Research: Floer Homotopy Theory (2016)