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

Stefano Ermonمشاهده پروفایل

دانشیار

• Machine Learning
• Generative AI
• Computational Sustainability
• +۷ مورد دیگر

Stefano Ermon is an Associate Professor in the Department of Computer Science at Stanford University, affiliated with the Artificial Intelligence Laboratory and a Senior Fellow at the Woods Institute for the Environment. His research focuses on advancing machine learning and generative AI techniques to address societal and environmental challenges, including computational sustainability, geospatial analysis, and climate science. He holds a Ph.D. from Cornell University (2015). Education: Ph.D. in Computer Science, Cornell University (2015). Research Interests: Ermon’s work bridges foundational machine learning (e.g., diffusion models, generative AI, and optimization) with applications in sustainability, geospatial analysis (via satellite imagery), and earth observation systems. Notable contributions include predicting poverty using satellite data and developing scalable methods for molecule generation. Articles Trends: His recent work emphasizes diffusion models for generative tasks (e.g., text-to-image, molecule design), geospatial AI (e.g., environmental monitoring), and ethical AI (e.g., bias mitigation in LLMs). He also explores applications in robotics and scientific computing. Awards: He has received prestigious awards, including the ICML 2024 Best Paper Award, Sloan Research Fellowship, Microsoft Research Faculty Fellowship, and the IJCAI Computers and Thought Award. Advising and Grants: Ermon teaches courses like Probabilistic Graphical Models (CS228) and has secured grants from NSF, ONR, AFOSR, and private foundations. His lab develops tools for climate science and sustainable development. Labs/Teams: Leads the Stanford AI Lab group focused on computational sustainability and generative AI, collaborating with institutions like the Woods Institute for environmental applications.

Xin Guoمشاهده پروفایل

استاد

• Mathematical Finance
• Financial Engineering
• FinTech
• +۷ مورد دیگر

Xin Guo is Professor and Department Chair of Industrial Engineering and Operations Research (IEOR) at UC Berkeley's College of Engineering, holding the Coleman Fung Chair in Financial Modeling. Her research bridges mathematical finance, stochastic control, and machine learning with applications in risk analytics and quantitative trading. Education: Ph.D. in Mathematics, Rutgers University (1999) Research Interests: Professor Guo's work centers on mathematical finance , stochastic games , and reinforcement learning . She develops theoretical frameworks for α-potential games and mean-field systems while applying signature methods and GANs to financial data. Her research addresses critical problems in portfolio optimization, fraud detection (e.g., Medicare analytics), and market forecasting, emphasizing the intersection of stochastic control with machine learning for real-world decision-making under uncertainty. Publication Trends: Recent work (2023-2025) shows increasing focus on multi-agent reinforcement learning through mean-field game theory, with applications spanning finance (corporate bonds, trading), healthcare (fraud detection), and transportation (rate forecasting). Key innovations include BSDE approaches for stochastic games, signature-based time series analysis, and theoretical guarantees for GAN training dynamics. Scientific Awards: Holds the prestigious Coleman Fung Chair in Financial Modeling, reflecting significant contributions to quantitative finance research. Advising and Grants: As IEOR Department Chair, Professor Guo mentors graduate students in stochastic modeling and financial engineering. Her research is supported by the Coleman Fung Endowment Fund, with collaborations spanning finance, healthcare, and transportation sectors through industry partnerships. Labs and Teams: Leads the Risk Analytics & Data Analysis Research (RADAResearch) Lab ( https://risklab.ieor.berkeley.edu/ ), which develops cutting-edge methodologies for risk assessment, data-driven decision-making, and game-theoretic solutions to complex systems. The lab fosters interdisciplinary work connecting mathematical theory with practical applications in FinTech and beyond.

Verdiana Grace Masanjaمشاهده پروفایل

استاد

• Applied Mathematics
• Mathematics Education
• Gender Equity in STEM
• +۲ مورد دیگر

Verdiana Grace Masanja is a Tanzanian mathematician and the first woman from Tanzania to earn a Doktor-Ingenieur (Doctor of Engineering) in mathematics. She holds the rank of Full Professor of Applied and Computational Mathematics at the Nelson Mandela African Institute of Science and Technology (NM-AIST). Born in 1954, she pursued her education at the University of Dar es Salaam (BSc and MSc in Mathematics) and earned her doctoral degree from the Technical University of Berlin. Her research focuses on fluid mechanics, optimal control theory, and mathematics education advocacy. She has been a leading advocate for girls' and women's participation in STEM, serving in prominent roles such as Vice-President for Eastern Africa on the African Mathematical Union's executive committee and chairperson of the Tanzania Education Network. Education: BSc (Mathematics & Physics, UDSM, 1976); MSc (Mathematics, UDSM, 1981); Doktor-Ingenieur (Technical University of Berlin, 1986). Research interests include applied mathematics with a focus on education equity. Her recent work combines optimal control methods with biological systems modeling, as seen in studies on disease dynamics and nanofluid behavior. Awards: 2011 UDSM Golden Outstanding Award for contributions to mathematics education. Leadership roles include coordinating initiatives like Female Education in Mathematics in Africa and serving on commissions such as the Commission on Women in Mathematics in Africa.

• Applied Topology
• Dynamical Systems
• Algebraic Topology
• +۵ مورد دیگر

Robert Ghrist is the Andrea Mitchell University Professor at the University of Pennsylvania with dual appointments in the Department of Mathematics and the Department of Electrical and Systems Engineering. He serves as Associate Dean for Undergraduate Education for Penn Engineering. His educational background includes a B.S. in Mechanical Engineering from the University of Toledo (1991), and M.S. and Ph.D. degrees in Applied Mathematics from Cornell University (1994, 1995). Ghrist's research bridges pure and applied mathematics, focusing on applied algebraic topology , dynamical systems , and geometric methods in data science. His work extends to network theory, topological data analysis, and computational geometry, with applications spanning robotics, neuroscience, and social dynamics. Key innovations include developing sheaf-theoretic approaches for networked systems and persistence homology techniques for high-dimensional data. Analysis of his recent publications reveals a strong emphasis on lattice-theoretic frameworks , topological robotics , and network dynamics , with emerging applications in neural data interpretation and geometric computing. His research consistently integrates category theory with real-world engineering challenges. Significant scientific recognition includes: Presidential Early Career Award (PECASE, 2004) Scientific American 'Top 50' Research Leader (2007) Mathematical Association of America's Chauvenet Prize (2013) University of Pennsylvania Lindback Award for Distinguished Teaching (2015) DoD National Security Science and Engineering Faculty Fellowship (NSSEFF, 2015) Ghrist leads multiple federally funded research initiatives supported by AFOSR, DARPA, NSF, and ONR. He directs the development of educational tools including the Calculus BLUE/GREEN Project video series and custom GPTs for mathematical pedagogy. His open online courses have reached over 100,000 learners globally.

Timothy Roscoeمشاهده پروفایل

استاد

• Operating Systems
• Networking
• Distributed Systems
• +۳ مورد دیگر

Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.

Liang Chengمشاهده پروفایل

استاد

• Cyber-Physical Systems (CPS)
• Internet of Things (IoT)
• AI/ML Applications
• +۷ مورد دیگر

Dr. Liang Cheng is the Department Chair and Professor in the Department of Electrical Engineering and Computer Science at the University of Toledo. He leads a department with ~700 students across CS, CSE, and EE programs. His research focuses on Cyber-Physical Systems (CPS), IoT, AI/ML, and intelligent infrastructure, supported by over $30M in funding from NSF, DOE, DOT, and industry. Notable projects include CPS Breakthrough initiatives and underground sensing systems. He co-edited a multidisciplinary book on Underground Sensing and contributed to smart grid cybersecurity. Dr. Cheng has held leadership roles at Lehigh University, shaping faculty governance and equity policies. His 100+ publications span networking, real-time systems, and sensor networks. He advises on funded projects totaling $30M+ and has pioneered pedagogical approaches in computer science education. Research Interests: Cyber-Physical Systems (CPS): Focuses on autonomous drones, energy systems, and real-time infrastructure Networking: Expertise in TSN, DTN, and wireless protocols Cybersecurity: SCADA systems, PLC attack detection, and blockchain energy modeling Underground Sensing: Geo-sensing via wireless signals and subsurface tomography Grants & Projects: Over 20 sponsored projects including NSF CPS Breakthrough (2018-2023), ABB smart grid projects, and DARPA-funded EDIFY systems. Key contributions include reconfigurable wireless architectures and network calculus tools for real-time systems. Teaching: Courses span senior design, compiler design, parallel computing, and wireless sensor networks. Developed pedagogical patterns for non-CS programming education. Awards: Recognized for leadership in academic governance and interdisciplinary research collaboration.

• 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).

David Duvenaudمشاهده پروفایل

دانشیار

• Machine Learning
• Generative Models
• Bayesian Inference
• +۵ مورد دیگر

David Duvenaud is an Associate Professor at the University of Toronto , holding a Canada Research Chair in Generative Models and a Schwartz Reisman Chair in Technology and Society . He is cross-appointed to the Department of Computer Science and Department of Statistical Sciences . A Sloan Research Fellow and founding member of the Vector Institute , his work bridges deep probabilistic models , AI safety , and scientific computing . PhD in Machine Learning (University of Cambridge, 2014) Postdoc in Hyperparameter Optimization (Harvard University, 2016) Co-founded Invenia (energy forecasting company) His research spans foundational Neural Ordinary Differential Equations (NeurIPS 2018 Best Paper) and Automatic Chemical Design (ACS Central Science 2018) to recent work on AGI governance (2025) and AI safety (2024). Key contributions include stochastic variational inference , implicit differentiation frameworks , and antisymmetrization layers for quantum Monte Carlo. Recent publications (2024-2025) focus on systemic existential risks from AI , many-shot jailbreaking attacks , and epistemic uncertainty quantification . His group trains energy-based models with scalable MCMC samplers and develops invertible neural architectures (e.g., Residual Flows NeurIPS 2019). He also explores human-AI alignment through LLM Processes (NeurIPS 2024) and Sycophancy in Language Models (ICLR 2024). Canada Research Chair (2025) NSERC Grant (2025) Sloan Research Fellow (2021) Schwartz Reisman Chair (2021) Best Paper Award (NeurIPS 2018) Distinguished Paper Award (ICFP 2021) His students include James Requeima , Jesse Bettencourt , and Raymond Douglas . He teaches courses on Statistical Methods for Machine Learning and Differentiable Inference . Current work (2025) investigates systemic human disempowerment through incremental AI capabilities and sabotage risk mitigation via hyperparameter-aware evaluations.

Na Duمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Human Factors in Smart City Technologies
• Human-Centered Computing
• +۴ مورد دیگر

Na Du is an Assistant Professor in the Department of Informatics and Networked Systems at the University of Pittsburgh's School of Computing and Information. She holds a PhD in Industrial & Operations Engineering from the University of Michigan (2021) and a Graduate Certificate in Data Science. Her research focuses on human factors in smart cities, human-centered computing, and user experience design. She is affiliated with the Intelligent Systems Program, Pitt Cyber, and the Center for Governance and Markets. Education: PhD in Industrial & Operations Engineering (University of Michigan, 2021); Undergraduate in Psychology (Zhejiang University). Research emphasizes explainable AI, human-AI teaming, and smart technologies. Recent grants include funding from Honda Research Institute and Pitt Cyber Accelerator for projects on emotions in Human-AI interaction and Metaverse privacy awareness. Her work has been recognized with awards like the HFES Best Paper Award and the IOE Outstanding Student Award. Advising includes PhD students and researchers in human factors and UX design. The HAT Lab under her leadership explores interdisciplinary challenges in human-computer interaction and smart systems.

• Security and Privacy
• Cryptography
• Blockchain
• +۴ مورد دیگر

Andrew Miller is an Associate Professor in the Electrical and Computer Engineering department at the University of Illinois, specializing in Programming Languages, Formal Methods, Software Engineering, Security and Privacy, and Systems and Networking. His research focuses on blockchain technologies, cryptography, and secure systems. Professor Miller's research spans multiple critical areas in modern computer security. His work primarily focuses on blockchain technologies , where he has made significant contributions to understanding and improving the security, privacy, and performance of systems like Bitcoin and Ethereum. He has conducted empirical analyses of privacy in the Lightning Network and developed protocols for confidential smart contracts. His work in cryptography includes research on multiparty computation, zero-knowledge proofs, and formal methods for cryptographic protocol design. Miller also investigates security vulnerabilities in proof-of-stake systems and resource exhaustion attacks, contributing to the robustness of decentralized systems. His applied security research extends to privacy-preserving health applications, as evidenced by his work on the Safer Illinois platform for COVID-19 contact tracing. Miller's publication record demonstrates consistent contributions to top security and systems venues including IEEE Security & Privacy, ACM CCS, Financial Cryptography, and USENIX Security. His research shows a clear trajectory from foundational work in blockchain security to more applied systems addressing real-world privacy and security challenges. Recent work focuses on making multiparty computation services publicly auditable and developing decentralized identity solutions that maintain compatibility with existing systems. Distinguished Reviewer Award, IEEE Security & Privacy 2018 Professor Miller has advised students including Vivek Nair, who joined the prestigious Hertz Fellows program in 2022. He has taught various courses including Introduction to Algorithms & Models of Computation, Advanced Computer Security, Cryptography, Applied Cryptography, and Ideal Functionality in Cryptography. His research has received support through grants including the SaTC: CORE: Medium project on "Automated Support for Writing High-Assurance Smart Contracts" in 2018. Miller is actively involved in research groups focusing on blockchain security, cryptographic protocols, and privacy-preserving systems. His lab appears to collaborate extensively with researchers across multiple institutions, as evidenced by the diverse author lists on his publications. Current work seems to be focused on making decentralized systems more secure, privacy-preserving, and accessible for real-world applications.

Maarten de Hoopمشاهده پروفایل

استاد

• Seismic Wave Analysis
• Inverse Problems
• Deep Learning
• +۵ مورد دیگر

Maarten de Hoop is the Simons Chair and Professor of Computational and Applied Mathematics at Rice University, part of the George R. Brown School of Engineering. He holds visiting roles at MIT and the Chinese Academy of Sciences. His research spans seismic wave analysis, inverse problems, deep learning, and planetary seismology. He earned his Ph.D. in Technical Sciences from Delft University of Technology (1992), and earlier degrees from Utrecht University. Notable awards include the 1996 J. Clarence Karcher Award and 2001 Fellowship from the Institute of Physics. His work integrates computational mathematics with geophysics, focusing on extracting signal information from large datasets, developing novel inverse scattering methods, and applying deep learning to geoscience challenges. Recent studies include transformer models for in-context learning, semialgebraic neural networks, and seismic waveform foundation models like SeisLM. He leads the Geo-Mathematical Imaging Group, fostering interdisciplinary projects in planetary missions and data-driven discovery.

Laura Andersonمشاهده پروفایل

دانشیار

• Combinatorics
• Topology
• Matroid Theory
• +۳ مورد دیگر

Laura Anderson is an Associate Professor in the Department of Mathematics at Binghamton University. She holds a Ph.D. from MIT (1994) and has been affiliated with Binghamton since 2001. Her research focuses on Combinatorics and Topology, with a specialization in matroid theory, hyperplane transversals, and topological combinatorics. She teaches advanced courses such as Introduction to Combinatorics (Math 511) and Discrete Mathematics (Math 314). Her academic contributions include groundbreaking work on oriented matroids, combinatorial Grassmannians, and hyperfield applications. Anderson has advised multiple Ph.D. students, including Olakunle Abawonse, Ulysses Alvarez, and Leandro Junes, whose theses explore topics like matroid extensions and tropical phased matroids. She actively participates in academic conferences, co-organizing the Binghamton University Graduate Conference in Algebra and Topology (BUGCAT). Anderson’s research integrates algebraic topology with discrete mathematics, addressing geometric realizations, hyperfield structures, and topological invariants. Her pedagogical innovations include experimenting with flipped classroom methods in calculus education. She maintains an active presence in academic service, contributing to journal reviews and editorial work in combinatorial geometry.

• Programming Language Theory
• Semantics of Programming Languages
• Domain Theory
• +۷ مورد دیگر

Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.

• Numerical Modeling
• Computational Simulation
• Materials Science
• +۵ مورد دیگر

Assoc Prof Ng Teng Yong is an Associate Professor at the School of Mechanical & Aerospace Engineering (NTU), specializing in numerical modeling and simulation. With a background as Research Manager at A*STAR Institute of High Performance Computing, his work spans materials science, nanotechnology, and aerospace engineering. Current focus on graphene-based desalination membranes Expertise in molecular dynamics simulations Investigates nanoscale fluid mechanics and structural dynamics Recent publications highlight advancements in energy-efficient electrodialysis, smart robotics, and nonlinear vibration analysis. His interdisciplinary approach integrates computational methods with experimental validation in additive manufacturing and soft material mechanics.

Anders Rantzerمشاهده پروفایل

استاد

• Control Systems Theory
• Scalable Control
• Adaptive Control
• +۷ مورد دیگر

Anders Rantzer is a Professor of Automatic Control at the Department of Control Engineering, Faculty of Engineering, Lund University, Sweden. He has held visiting positions at Caltech (2004–2005) and the University of Minnesota (2015–2016) as the Taylor Family Distinguished Visiting Professor. His academic journey began with a PhD from KTH Stockholm in 1991, followed by a postdoc at the Institute for Mathematics and its Applications (IMA), University of Minnesota. His research interests center on modeling, analysis, and synthesis of control systems , with a strong focus on scalability, adaptation, and applications in energy networks . He is particularly known for foundational work in positive systems and integral quadratic constraints (IQCs) . These theoretical frameworks are critical in analyzing stability and robustness of large-scale interconnected systems. His work bridges mathematical rigor with practical engineering applications, especially in sustainable energy and networked systems. The recent publications and lecture materials reflect a consistent trajectory in scalable and robust control, optimization, and distributed systems. Themes such as large-scale convex optimization , nonlinear and stochastic control , and network dynamics dominate his scholarly output, indicating a sustained commitment to advancing control theory for complex, real-world systems. Scientific honors include: Fellow of IEEE Member of the Royal Swedish Academy of Engineering Sciences (IVA) Chairman of the Swedish Scientific Council for Natural and Engineering Sciences Chairman of the Royal Physiographic Society of Lund Rantzer has supervised numerous students and contributed extensively to academic leadership and education. He has been involved in major national and international research initiatives such as WASP (Wallenberg AI, Autonomous Systems and Software Program) and ELLIIT. His work includes developing educational tools and courses in control, optimization, and machine learning. He leads and contributes to research projects on autonomous systems, cloud control, and smart energy networks. He is affiliated with the Control Lab at LTH and participates in collaborative efforts such as the Nordic University Hub on Industrial Internet of Things (HI2OT). His work integrates theoretical advances with practical implementations in robotics, biomedical systems, and industrial automation.