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

Doug L. Jamesمشاهده پروفایل

استاد

• Computer Graphics
• Computer Sound Synthesis
• Physically Based Modeling and Animation
• +۳ مورد دیگر

Doug L. James is a Full Professor of Computer Science at Stanford University since 2015, following roles as Associate Professor at Cornell University (2006-2015) and Assistant Professor at Carnegie Mellon University (2002-2006). He holds a PhD in Applied Mathematics from the University of British Columbia (2001), alongside earlier degrees from the same institution and the University of Western Ontario. His research focuses on computer graphics, sound synthesis, and physically-based modeling, with notable contributions to fluid simulation, cloth animation, and medical modeling. Key achievements include the 2012 Technical Achievement Award from the Academy of Motion Picture Arts and Sciences for 'Wavelet Turbulence,' and the 2013 Katayanagi Prize. He serves as a consulting Senior Research Scientist at Pixar Animation Studios and has led roles like Technical Papers Chair at SIGGRAPH 2015. His work integrates physics-based principles with interactive systems, emphasizing real-time applications and data-driven methods. Research interests span sound synthesis for animations (e.g., cloth, water, impact sounds), deformable models for medical simulation, and tools like 'svMorph' for virtual surgery planning. His publications reflect a blend of algorithmic innovation and practical applications in film, gaming, and healthcare.

Bård Harstadمشاهده پروفایل

استاد

• Environmental Economics
• Political Economics
• Economic Theory

Bård Harstad is The David S. Lobel Professor in Business and Sustainability and Professor of Political Economy at Stanford University’s Graduate School of Business, with courtesy appointments in the Doerr School of Sustainability and the School of Humanities and Sciences (Economics). He joined Stanford in 2023 after previous faculty positions at Northwestern University’s Kellogg School of Management (where he held the Max McGraw Chair in Management & Environment) and the University of Oslo. He has also taught at Harvard, MIT, and Toulouse School of Economics. His research centers on three interconnected domains: Environmental Economics : Climate policy design, conservation incentives, deforestation, and energy transitions. Political Economics : Treaty bargaining, international agreements, legislative gridlock, and policy enforcement. Economic Theory : Contract design, time inconsistency, and strategic behavior in regulatory frameworks. His work frequently examines how institutions and incentives shape global environmental outcomes. Harstad’s publications focus on climate governance, with recurring themes of self-enforcing agreements, supply-side policy interventions, and the political economy of conservation. Recent articles analyze trade-offs in energy transitions (e.g., natural gas vs. renewables), mechanisms for credible international commitments, and deforestation incentives linked to trade. His research combines theoretical rigor with policy-relevant applications, often using game-theoretic frameworks. He has received significant recognition, including: European Research Council (ERC) Advanced Grant (2022) and Consolidator Grant (2016–21) Elected fellowships in the Econometric Society (2021) and Society for the Advancement of Economic Theory (2021) Multiple Erik Kempe Awards for environmental economics research Prizes from the Norwegian Academy of Sciences and Royal Swedish Academy of Sciences Harstad serves as Editor of the Review of Economic Studies and teaches courses on Strategy Beyond Markets, Political Economy, and Environmental Economics. He leads Stanford GSB’s executive program on Managing Risk and Reputation in a Complex World .

Vivy Suhendraمشاهده پروفایل

دانشیار

• Software Assurance
• Security and Privacy
• Cybersecurity
• +۱ مورد دیگر

Vivy Suhendra serves as Associate Professor of Practice and Programme Director for Master Programmes at the National University of Singapore's School of Computing, while also holding the position of Assistant Dean for Graduate Studies. Previously, she led the Singapore Cybersecurity Consortium (SGCSC) as Executive Director from 2016 to 2022, driving collaborative cybersecurity research between academia, industry, and government agencies. Her career at NUS spans over two decades, beginning as a Research Assistant before advancing to her current leadership roles. Her academic credentials include: Ph.D. in Computer Science, National University of Singapore (2009). Thesis: "Memory Optimizations for Time-predictable Embedded Software". Advisors: Abhik Roychoudhury and Tulika Mitra. B.Comp. (Honors) in Computer Science, National University of Singapore (2004). Dr. Suhendra's research integrates Software Assurance, Cybersecurity, Security and Privacy, and Embedded Systems domains. Her work bridges theoretical foundations with practical applications, particularly in national cybersecurity ecosystem development, smart grid security protocols, denial-of-service mitigation techniques, and real-time embedded system optimization. This interdisciplinary approach enables innovative solutions for critical infrastructure protection and time-predictable software execution in multi-core environments. Her 14 selected publications (2004-2020) demonstrate an evolving research trajectory from foundational embedded systems timing analysis to applied cybersecurity solutions. Early work focused on memory optimization for predictable execution in multi-core embedded systems, which naturally transitioned into cybersecurity applications for smart grids, cloud environments, and national infrastructure. This progression highlights her ability to translate low-level system expertise into high-impact security frameworks for complex real-world systems. Scientific recognition includes: Microsoft Research Asia Fellowship (2006) Valedictorian at NUS School of Computing Ph.D. Commencement (2010) While specific graduate student advising details aren't provided, her leadership as SGCSC Executive Director involved extensive mentorship across academic-industry partnerships. She has also contributed significantly to the research community through roles including Conference Chair for ESEC/FSE 2022 and Workshops Committee Member for ICSE 2024. Dr. Suhendra established the Singapore Cybersecurity Consortium as a national platform for collaborative R&D during her directorship (2016-2022). Though no personal laboratory is specified, her research leadership manifests through cross-institutional teams focused on cybersecurity innovation, particularly in critical infrastructure protection and embedded systems security where she maintains active publication records.

Simon Mooreمشاهده پروفایل

استاد

• Computer Architecture
• Computer Security
• Hardware Security
• +۳ مورد دیگر

Simon Moore is a Professor of Computer Engineering at the University of Cambridge's Department of Computer Science and Technology. He leads the Computer Architecture research group, focusing on secure processors and subsystems, particularly the CHERI project. His work emphasizes formal verification, hardware-software co-design, and scalable security solutions. He is a Fellow and Director of Studies at Trinity Hall, overseeing undergraduate admissions and mentoring in Computer Science. Research Interests: Moore's primary focus is the CHERI secure processor architecture, integrating RISC-V cores with formal verification. His work spans secure hardware design, memory safety, and embedded systems. Notable contributions include the CHERI-RISC-V microarchitecture, CheriABI, and formal verification frameworks. Key Projects: CHERI, CheriBSD, Morello (ARM collaboration) Recent Achievements: Test of Time Award (IEEE Security & Privacy 2025), finalist for Bhattacharyya Award (2022) Grants: Innovate UK Digital Security by Design, DARPA Mission Oriented Resilient Clouds Publications: Over 200 papers on secure architectures, including influential work on CHERI's capability model, formal verification, and hardware security. Recent focus areas include temporal memory safety, embedded system security, and GPU-based capability systems. Labs/Teams: Directs the Computer Architecture Group and collaborates with industry partners like ARM and Microsoft on CHERI implementations.

Leonid Reyzinمشاهده پروفایل

استاد

• Cryptography
• Secure Communication
• Biometric Security
• +۳ مورد دیگر

Leonid Reyzin is a Professor and Associate Chair of Academics at Boston University, specializing in cryptography. His research focuses on enabling secure computation, communication, and collaboration in untrusted environments, with contributions to biometric security, cryptographic protocols, and privacy-preserving technologies. He earned his Ph.D. from MIT and has advised on industry standards and received prestigious awards including the NSF CAREER Award and Boston University’s Neu Family Award for Excellence in Teaching. His work spans cryptographic primitives such as fuzzy extractors, verifiable random functions, and proofs of space, addressing challenges like secure key derivation from noisy data and blockchain security. He has collaborated on standards like RFC 9381 and contributed to cryptographic tools for distributed systems and privacy-enhancing technologies. Reyzin’s research emphasizes practical applications, including secure authentication systems, cryptographic protocols for blockchain and distributed ledgers, and mitigating threats like side-channel attacks. His recent work explores advancements in proofs of space, memory-hard functions, and asynchronous authenticated data structures, reflecting a balance between theoretical rigor and real-world applicability. Awards: NSF CAREER Award, Neu Family Award for Excellence in Teaching Key Contributions: Fuzzy extractors, VRFs, cryptographic standards development, blockchain security frameworks Education: Ph.D. in Computer Science, MIT

Anna Gautierمشاهده پروفایل

استادیار

• Multi-Agent Systems
• Robotics
• Artificial Intelligence
• +۳ مورد دیگر

Anna Gautier is an Assistant Professor in the Department of Computer Science at Chalmers University of Technology, affiliated with the Division of Data Science and AI. Previously, she was a Digital Futures Postdoctoral Fellow at KTH Royal Institute of Technology (2023–2025), focusing on mechanism design for multi-robot systems. Her research emphasizes planning under uncertainty, multi-agent systems, and human-robot interaction. She holds a PhD from the University of Oxford (2023), an MSc from the London School of Economics, and dual undergraduate degrees from Washington University in St. Louis. Education Background: PhD in Computer Science, University of Oxford (2023) MSc in Applied Mathematics, London School of Economics BA in Mathematics and BS in Computer Science, Washington University in St. Louis Research Interests: Dr. Gautier explores planning algorithms for multi-agent systems, particularly in uncertain environments. She designs mechanisms to coordinate robots and humans, leveraging game theory and formal methods. Her work addresses challenges like resource allocation, risk-aware decision-making, and trust in autonomous systems. Recent projects include contingency planning for autonomous vehicles and auction-based resource distribution. Professional Activities: She co-chairs the ECAI 2025 Demonstration Track and teaches the course Safe Robot Planning and Control at KTH. Her projects include collaborations with WASP-Nest (PerCorSo) and TECoSA on trustworthy autonomy. She actively publishes in top venues like AAMAS and AAAI. Labs and Teams: Affiliated with Chalmers' Data Science and AI division, she leads research in multi-agent systems and human-AI collaboration.

Siddharth Gargمشاهده پروفایل

دانشیار

• Machine Learning
• Cybersecurity
• Computer Hardware Design
• +۴ مورد دیگر

Siddharth Garg is the Institute Associate Professor of Electrical and Computer Engineering at NYU Tandon School of Engineering, leading the EnSuRe Research Group. He holds a Ph.D. from Carnegie Mellon University (2009) and a B.Tech. from IIT Madras. His research focuses on secure and energy-efficient computing systems, integrating machine learning, cybersecurity, and hardware design. He previously held roles as Assistant Professor at NYU Tandon (2014-2020) and the University of Waterloo (2010-2014). Key affiliations include NYU Center for Cybersecurity (CCS), NYU Wireless, and the Center for Advanced Technology in Telecommunications. His work has been recognized with prestigious awards like the NSF CAREER Award (2015) and inclusion in Popular Science’s 'Brilliant 10' (2016). Notable research includes private inference optimization, secure hardware IP protection, and adversarial machine learning defenses. Publications highlight advancements in zero-knowledge proofs, AI-driven chip design, and mitigating backdoor attacks in neural networks. His grants include funding from NYU Wireless and NSF initiatives like the Chips4All project. The EnSuRe group emphasizes bridging software and hardware design gaps using AI and fostering cybersecurity education.

Céline Castets-Renardمشاهده پروفایل

استاد

• Artificial Intelligence Law
• Digital Governance
• Data Protection Law
• +۴ مورد دیگر

Dr. Céline Castets-Renard is a Full Professor in the Civil Law Section of the Faculty of Law at the University of Ottawa and holds the Canada Research Chair in International and Comparative Law of Artificial Intelligence. She also serves as the University Research Chair on Accountable AI in a Global Context (2020-2024) and is an affiliated researcher at ANITI (Toulouse) and Yale Law School's Internet Society Project. She previously held senior academic roles at Université Toulouse Capitole and was a visiting scholar at institutions including Fordham Law School and Osaka University. Her research focuses on digital technology and AI governance from an international and comparative law perspective, emphasizing EU, Canadian, and US frameworks. Key areas include AI law, data protection, digital copyright, platform regulation, and the intersection of technology with human rights, equity, and gender issues. She has authored over 100 articles, 2 monographs, and edited 4 books. Dr. Castets-Renard advises on EU initiatives such as the AI Office’s General-Purpose AI Code of Practice and the Digital Markets Act. Her work bridges legal scholarship with practical challenges in AI accountability, privacy, and transnational governance. Awards include the Honorary Junior Membership of the Institut Universitaire de France (2015-2019).

Oliver Nashمشاهده پروفایل

پژوهشگر

• Geometry
• Formalisation of Mathematics
• Mathematical Logic
• +۳ مورد دیگر

Oliver Nash is a researcher at Imperial College London, actively engaged in the formalisation of advanced mathematical concepts. His work bridges geometry and computational logic, with a focus on rigorous proof systems. Research Interests: Oliver's research lies at the intersection of geometry and the formalisation of mathematics. He specialises in using proof assistants to verify deep mathematical results, including topics such as the h-principle, sphere eversion, and Lie algebras. His work contributes to the growing field of certified mathematics, ensuring correctness through machine-checked proofs. Publication Trends: His recent publications at the CPP conference demonstrate a consistent focus on formalising foundational results in differential geometry and algebra. These works reflect a trend toward computational trust in mathematical proofs, particularly in complex geometric transformations and algebraic structures. Professional Activities: Oliver is an active contributor to the Certified Programs and Proofs (CPP) conference, presenting cutting-edge work in formal verification. He maintains a personal website detailing both his academic contributions and early explorations in computer graphics, such as raytracing and radiosity rendering from the early 2000s. Labs and Projects: While specific lab affiliations are not mentioned, his work is closely aligned with research groups in formal methods and interactive theorem proving, likely involving tools like Lean, Coq, or Isabelle.

Felix Warmerمشاهده پروفایل

استادیار

• Fusion Energy
• Plasma Physics
• Stellarator Reactor Design
• +۵ مورد دیگر

Prof. Dr. Felix Warmer is an Assistant Professor at Eindhoven University of Technology (TU Eindhoven) and leads the Stellarator Reactor Studies (SRS) research group at the Max Planck Institute for Plasma Physics (IPP) in Greifswald. He holds a dual role, teaching at TU Eindhoven while conducting advanced fusion energy research at IPP. Current Affiliation: Max Planck Institute for Plasma Physics, Greifswald (Head of SRS Group) Academic Position: Assistant Professor, Eindhoven University of Technology Teaching: Courses include 'Fusion on the Back of an Envelope' and 'Design of a Fusion Power Plant' His educational journey began with a master's thesis at IPP Greifswald, followed by doctoral research culminating in a PhD from the Technical University of Berlin in 2016. He was awarded a prestigious Feodor Lynen Research Fellowship, enabling research at Japan's National Institute for Fusion Science. Felix Warmer's research is centered on the scientific and engineering design of stellarator-based fusion power plants. He develops innovative physical and engineering models to simulate fusion reactor components and validates these using experimental data from the Wendelstein 7-X stellarator. His work bridges theoretical modeling with real-world experimental verification, contributing to the advancement of magnetic confinement fusion technology. Although no specific recent publications are listed in the provided text, his leadership of a dedicated research group and active teaching role indicate a strong and ongoing research trajectory in fusion energy systems. Scientific Awards and Honors: Feodor Lynen Research Fellowship, Alexander von Humboldt Foundation Advising and Grants: Felix Warmer heads the SRS research group, indicating active supervision of researchers and students. While specific grant details are not mentioned, leadership of a research group at the Max Planck Institute implies involvement in major national and international funding initiatives in fusion energy. His past fellowship also reflects competitive grant support. Labs and Research Teams: He leads the Stellarator Reactor Studies (SRS) research group at the Max Planck Institute for Plasma Physics in Greifswald. This team focuses on reactor design and modeling, closely tied to the Wendelstein 7-X experiment, one of the world's most advanced stellarator devices.

• Cryptography
• Privacy
• Secure Multiparty Computation (MPC)
• +۵ مورد دیگر

Gabe Kaptchuk is an Assistant Professor in the Computer Science Department at the University of Maryland, College Park (UMD), focusing on cryptography, privacy, and their social implications. He is affiliated with UMD's MC² (Maryland Cybersecurity Center) and UMIACS (Institute for Advanced Computer Studies). Previously, he was research faculty at Boston University and earned his PhD from Johns Hopkins University under advisors Avi Rubin and Matt Green. Research Interests: Kaptchuk's work bridges theoretical cryptography and social applications, emphasizing secure multiparty computation (MPC), zero-knowledge proofs, and steganography. He also explores the intersection of cryptography with law, policy, and human-centered design. Notable projects include Meteor (secure steganography using generative models) and Pulsar (MPC for dynamic participants). Teaching: Courses include Governing Algorithms (UMD) and Law and Algorithms (BU), focusing on algorithmic governance, privacy, and legal implications of technology. He has taught computer security and networks at Johns Hopkins and BU. Grants & Funding: Recent NSF awards include Collaborative Research: ReDDDoT Phase 2 (2024) for participatory privacy protections in AI training data. Active in deploying MPC for social good, such as analyses for Boston Women’s Workforce Council. Labs/Teams: Collaborates with researchers at Georgetown, Columbia, and institutions like the Wikimedia Foundation. Co-authors include Rachel Cummings, Elissa Redmiles, and Matthew Green on privacy and usability topics.

• Type Theory
• Dependent Types
• Functional Programming
• +۱۱ مورد دیگر

Andreas Abel is a Senior Lecturer in the Division of Computing Science at the Department of Computer Science and Engineering, Chalmers University of Technology and the University of Gothenburg. He has previously served as an Assistant Professor at Ludwig-Maximilians-Universität (LMU) Munich and has been a visiting researcher at INRIA in Paris. His primary affiliations are with Chalmers and the University of Gothenburg, where he conducts research and teaches in programming languages and type theory. Chalmers University of Technology, Department of Computer Science and Engineering, Senior Lecturer University of Gothenburg, Division of Computing Science LMU Munich, Assistant Professor (former) INRIA Paris, Visiting Researcher Abel’s research lies at the intersection of type theory, functional programming, and formal verification. He is particularly known for his work on dependent types, normalization by evaluation, and the development of the Agda proof assistant. His interests include constructive logic, logical frameworks, modal and linear typing, program verification, and compiler construction. He leads the Modal Dependent Type Theory project funded by the Swedish Research Council (Vetenskapsrådet) and has contributed to several other major research initiatives in programming language theory. His recent publications reflect a strong focus on foundational aspects of type systems, including cubical type theory, decidability of conversion, and formalization of algebraic completeness. These works appear in top-tier venues such as ICFP, LICS, POPL, and TYPES, showcasing both theoretical depth and practical implementation in Agda. Distinguished Paper Award, ICFP 2019 Editor, Theoretical Pearls column, Journal of Functional Programming Member, IFIP WG 1.3 on Foundations of System Specification Abel actively supervises students and contributes to the research community through program committee memberships for major conferences including LICS, ICFP, and CPP. He is a senior developer of Agda and the maintainer of the BNFC (Backus-Naur Form Compiler) tool. His work bridges theoretical computer science with practical software development for formal methods. He is involved in several research groups and projects, including the Programming Logic Group at Chalmers and the international EUTYPES network. His role as principal investigator and core contributor in multiple funded projects highlights his leadership in the field of programming language foundations.

Gunel Jahangirovaمشاهده پروفایل

مدرس

• Software Testing
• Software Engineering for AI
• Search-Based Software Engineering
• +۶ مورد دیگر

Dr. Gunel Jahangirova is a Lecturer in Computer Science within the Department of Informatics, Faculty of Natural, Mathematical & Engineering Sciences at King's College London. Her research focuses on software testing, software engineering for AI, and search-based software engineering. She earned her PhD through a joint program at Fondazione Bruno Kessler (Italy) and University College London (UK), followed by postdoctoral work on the ERC-funded 'Precrime' project at Università della Svizzera italiana (Switzerland). Software Testing AI Engineering Search-Based Optimization Deep Learning Verification Her recent publications explore fault localization in neural networks, ethical testing of autonomous systems, and environmental impacts of AI code development. Current projects include ITEA GENIUS and ITEA GreenCode , focusing on AI testing and sustainable software practices.

Maneesh Agrawalaمشاهده پروفایل

استاد

• Computer Graphics
• Human-Computer Interaction
• Visualization
• +۷ مورد دیگر

Maneesh Agrawala is the Forest Baskett Professor of Computer Science and Director of the Brown Institute for Media Innovation at Stanford University. He is also a consulting AI Scientist at Roblox. His research lies at the intersection of computer graphics, human-computer interaction (HCI), and visualization, with a focus on cognitive design principles for improving audio/visual media. He leads a vibrant research group and has advised numerous PhD students and postdocs. His research interests include: Computer Graphics Human-Computer Interaction Visualization and Visual Communication Cognitive Design Principles Generative AI and Diffusion Models Interactive Video and Sketch-based Interfaces Data and Information Visualization His recent publications (2023–2025) reflect a strong trend toward leveraging generative models—particularly diffusion models—for video and image synthesis, editing, and personalization. Key themes include controllable generation (e.g., SparseCtrl, ControlNet), sketch-to-image translation, relightable texturing, and tools that enhance visual storytelling and data communication. His work integrates cognitive science with computational tools to build systems that support human creativity and understanding. His scientific honors include: MacArthur Foundation Fellowship (2009) Alfred P. Sloan Foundation Fellowship (2007) NSF CAREER Award (2007) SIGGRAPH Significant New Researcher Award (2008) Allen Distinguished Investigator Award (2014) Induction into the SIGCHI Academy (2021) ACM Fellow (2022) Okawa Foundation Research Grant (2006) A dedicated mentor, Agrawala has advised a large cohort of students and postdocs, many of whom have gone on to influential positions in academia and industry. His lab develops tools for video editing (e.g., AnimateDiff, ControlNet), sketch-based design, and visualization (e.g., EmphasisChecker), often bridging theory with practical applications in media and education. He continues to be a leading figure in visual computing and interactive systems.

Yingfei Xiongمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages

Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.