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

• Graph Algorithms
• Optimization
• High-Dimensional Geometry
• +۳ مورد دیگر

Yang P. Liu is an Assistant Professor at Carnegie Mellon University 's Department of Computer Science . He received his PhD from Stanford University under the supervision of Aaron Sidford and previously studied at MIT . Fields of Interest : Graph Algorithms, Optimization, High-Dimensional Geometry, Additive Combinatorics, Theoretical Computer Science. His research focuses on algorithmic design and analysis for graph problems, optimization, and combinatorics, with applications in machine learning and complexity theory. Recent work includes advancements in parallel repetition games , combinatorial lines , and dynamic graph algorithms . In 2024, his research spanned FOCS , STOC , and RANDOM conferences, addressing problems in k-CSPs , min-cost flow , and hypergraph sparsification . Earlier contributions (2023) included deterministic flow algorithms and spectral hypergraph techniques. Scientific Awards : NDSEG Fellowship (2018-2021), Google PhD Fellowship (2022-2023), FOCS Best Paper (2022), STOC Best Student Paper (2022), FOCS Best Student Paper (2021). He teaches CS 15-759 , a graduate course on convex optimization theory and applications, covering gradient descent, interior point methods, and algorithmic sparsification techniques.

Stephen S. Kudlaمشاهده پروفایل

استاد

• Automorphic Forms
• Arithmetic Geometry
• Theta Functions
• +۴ مورد دیگر

Stephen S. Kudla is a Professor in the Department of Mathematics at the University of Toronto, located in the Bahen Centre for Information Technology. He holds the prestigious distinction of being a Fellow of the Royal Society of Canada (FRSC), reflecting his significant contributions to mathematical research. Professor Kudla's research focuses on the deep connections between number theory and geometry, with particular expertise in automorphic forms, arithmetic geometry, and theta functions. His work bridges abstract mathematical theory with concrete geometric structures, exploring how modular forms can encode arithmetic information about algebraic varieties. Analysis of Kudla's publication record reveals a sustained research program centered on the relationship between derivatives of Eisenstein series and arithmetic geometry. His work consistently explores how modular and automorphic forms can be used to study arithmetic cycles on Shimura varieties. A notable pattern in his research is the interplay between analytic objects (like Eisenstein series) and geometric structures (such as arithmetic cycles), with applications to understanding heights, intersection theory, and special values of L-functions. Fellow of the Royal Society of Canada (FRSC) While specific details about Kudla's advising activities aren't provided in the available materials, his extensive publication record with prominent collaborators like Michael Rapoport and Tonghai Yang suggests he has likely mentored numerous graduate students and postdoctoral researchers throughout his career. His participation in major mathematical conferences including the International Congress of Mathematicians (ICM) indicates recognition by the broader mathematical community. Kudla's research has clearly been supported by significant funding, as evidenced by his ability to maintain a sustained publication record in top mathematical journals.

Alexandre Bouchard-Côtéمشاهده پروفایل

استاد

• Computational Statistics
• Bayesian Inference
• Monte Carlo Methods
• +۴ مورد دیگر

Alexandre Bouchard-Côté is a Professor of Statistics at the University of British Columbia (UBC), affiliated with the Department of Statistics within the Faculty of Science. His research focuses on computational statistics, Bayesian methods, and Monte Carlo techniques, with applications in evolutionary biology, cancer genomics, and computational linguistics. Education : PhD in Computer Science (with Designated Emphasis in Statistics) from UC Berkeley (2010), BSc in Mathematics and Computer Science from McGill University (2005). Affiliations : Director of the Blang probabilistic programming project and leader of the Bouncy Particle Sampler research group. Research Interests : Bouchard-Côté develops scalable Bayesian computational methods, including non-reversible Monte Carlo algorithms like the Bouncy Particle Sampler, and applies these to problems in cancer phylogenetics, evolutionary dynamics, and historical linguistics. His work emphasizes bridging theoretical foundations with practical tools for data science. Publications Trends : Recent work spans distributed sampling frameworks (e.g., Pigeons.jl), variational phylogenetic inference, and cancer clonal evolution modeling. His articles often address algorithmic scalability and interdisciplinary applications in biology and astronomy. Awards : CRM-SSC Prize in Statistics (2024) PIMS-UBC Mathematical Sciences Young Faculty Award (2018) Tweedie New Researcher Award (2016) Advising & Grants : Supervises graduate students (e.g., Son Luu, Nikola Surjanovic) and leads funded projects on distributed MCMC and cancer genomics. Collaborates with institutions like the Simons Foundation and the Canadian Statistical Sciences Institute (CANSSI). Labs/Teams : Core member of the UBC Statistical Machine Learning group, contributing to open-source tools like Blang and the Bouncy Particle Sampler implementation.

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.

Peter Selingerمشاهده پروفایل

استاد

• Quantum Computing
• Category Theory
• Mathematical Logic
• +۴ مورد دیگر

Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.

• Combinatorial Game Theory
• Graph Theory
• Computer Science Education
• +۶ مورد دیگر

Dr. Angela Siegel is an Assistant Professor and Assistant Dean, Academic Outreach in the Faculty of Computer Science at Dalhousie University, Halifax, Canada. She is actively involved in both academic leadership and research. Education: Ph.D. in Mathematics (Combinatorial Game Theory), Dalhousie University, 2011 M.Sc. in Mathematics, Dalhousie University, 2005 B.Sc. in Mathematics & Marine Geophysics, 1997 Her research focuses on combinatorial game theory, graph theory, discrete mathematics, and number theory, with a strong emphasis on computer science education and inclusive teaching . She investigates the challenges students face when transitioning into computer science programs, aiming to improve pedagogical approaches and support systems. Her work bridges theoretical mathematics and practical educational innovation. The recent publications highlight a dual focus: theoretical contributions to combinatorial games (e.g., partizan games, placement games, geography variants) and applied research in computing education, particularly student transition and inclusive practices. Her interdisciplinary work spans mathematics, computer science, and educational theory. Scientific Awards: Dr. Siegel has supervised and collaborated with students and researchers on topics including student transition into higher education computing, LEGO-based pedagogy, and workplace readiness. While no specific grants are listed, her repeated presentations and publications suggest active research funding and scholarly engagement. She has contributed to major conference proceedings and book volumes such as Games of No Chance . She is associated with research teams focused on combinatorial games and computer science education innovation, often collaborating with scholars like Richard Nowakowski, Neil McKay, and Mark Zarb. Her work in inclusive teaching and student support reflects a commitment to building accessible and equitable learning environments in computing.

Baris Fidanمشاهده پروفایل

استاد

• Control Systems
• Autonomous Vehicles
• Robotics
• +۵ مورد دیگر

Baris Fidan is a Professor in Mechanical & Mechatronics Engineering at the University of Waterloo, with cross appointments in System Design Engineering and Electrical & Computer Engineering. He is a senior member of IEEE and AIAA. His research focuses on cooperative/adaptive control, autonomous systems, multi-agent networks, and vehicular control applications. He leads the Cooperative & Adaptive Mechatronic Systems (CAMS) Lab, which develops control strategies for autonomous vehicles, robotic systems, and intelligent transportation. Education: PhD in Electrical Engineering, University of Southern California (2003) Masters in Electrical & Electronic Engineering, Bilkent University (1998) Bachelor's in Electrical & Electronic Engineering & Mathematics, Middle East Technical University (1996) Research Interests: His work spans adaptive control theory, sensor networks, multi-agent coordination, autonomous vehicle networks, and biomedical systems control. He emphasizes practical applications in intelligent transportation, robotic navigation, and distributed system optimization. Grants & Projects: He has led major grants including NSERC Discovery Programs on cooperative mechatronic systems and 3D autonomous vehicle coordination. Industrial projects include autonomous driving strategies, vehicle control optimization, and high-precision gear manufacturing technologies. Labs/Teams: Directs the CAMS Lab, which collaborates on projects involving distributed motion planning, sensor localization, and autonomous vehicle networks. Current projects address challenges in urban autonomous driving, cooperative robotic systems, and resilient sensor networks.

Euijin Chooمشاهده پروفایل

استادیار

• Data-driven Cybersecurity
• Big Data Analytics
• Graph Mining
• +۶ مورد دیگر

Dr. Euijin (Alley) Choo is an Assistant Professor in the Department of Computer Science at the University of Alberta, specializing in data-driven cybersecurity and big data analytics. Her research focuses on AI-based cybersecurity solutions, anomaly detection in network traffic, and adversarial attacks on federated learning systems. She holds a Ph.D. from North Carolina State University and has held roles at Qatar Computing Research Institute, Korea University, and the University of Missouri-Rolla. Education: Ph.D., Computer Science, North Carolina State University (2015) M.S., Computer Science & Engineering, Korea University (2008) B.S. Dual Degree in Computer Science & Mathematics, Korea University (2006) Research Interests: Security and big data analysis intersections Federated learning security and privacy Anomaly detection in network logs and enterprise systems Malware/phishing detection using graph inference AI-driven threat intelligence aggregation Recent Grants: Mitacs Accelerate Program Grant: Fraud Detection in Financial Graphs ($60,000, 2025) National CyberSecurity Consortium Grant: IntruderInsight ($2M, 2025-2027) NSERC Discovery Grant: Threat Detection Framework ($180,000, 2025-2031) Awards: Best Paper Award at DBSEC 2015 NSERC Early Career Researcher Award (2025) Provost Fellowship (NC State, 2009-2010) Labs/Teams: Leads the Data-driven Network and Cyber Security (DANS) Lab, focusing on federated learning defenses, compromised entity detection, and malicious domain analysis.

Chaitanya Swamyمشاهده پروفایل

استاد

• Combinatorial Optimization
• Approximation Algorithms
• Algorithmic Game Theory
• +۴ مورد دیگر

Chaitanya Swamy is a Professor and University Research Chair in the Department of Combinatorics & Optimization at the University of Waterloo, Canada. His primary affiliation is within the Faculty of Mathematics, and he holds positions in both the Department of Combinatorics & Optimization and the School of Computer Science. He obtained his Ph.D. in Computer Science from Cornell University under the supervision of David Shmoys, followed by postdoctoral research at Caltech's Center for the Mathematics of Information. Swamy’s research focuses on algorithms, particularly in combinatorial optimization, approximation algorithms, algorithmic game theory, stochastic optimization, network design, scheduling, and online algorithms. His work spans theoretical contributions and practical applications, including algorithm design for facility location, network routing, and mechanism design. He has contributed to foundational results in approximation algorithms, such as the development of primal-dual methods and LP-rounding techniques. Swamy has held significant editorial roles, including as an associate editor for Discrete Optimization and SIAM Journal on Computing . He has organized major conferences like CanaDAM 2021 and sessions at ISMP 2018. His teaching record includes courses on combinatorial optimization, scheduling, and algorithmic game theory. He has advised numerous Ph.D. and Master’s students, many of whom have gone on to prestigious academic and industry positions. Swamy’s research has been recognized through awards for his students, including the University of Waterloo Alumni Gold Medal. He actively contributes to the academic community through committee work for conferences like STOC, APPROX, and SODA, and his publications reflect a deep engagement with both theoretical and applied aspects of algorithms and optimization.

Furkan Alacaمشاهده پروفایل

استادیار

• Computer Security
• User Authentication
• Usable Security
• +۴ مورد دیگر

Furkan Alaca is an Assistant Professor at Queen's University's School of Computing, part of the Faculty of Arts and Science. His research focuses on user authentication systems, addressing security and usability challenges. He holds a Ph.D. (2018) in Computer Science from Carleton University, an M.A.Sc. (2012) in Electrical and Computer Engineering, and a B.Eng. (2010) in Communications Engineering, all from Carleton University. His academic career includes teaching roles at Queen's University and the University of Toronto Mississauga, where he taught courses such as Cryptography, Cybersecurity, and Discrete Mathematics. He is affiliated with Queen's Security Research Group and Computer Security Research Lab. Research interests include computer and internet security, usable security, authentication mechanisms, and systems security. He has contributed to advancements in web authentication frameworks, malware analysis, and privacy-preserving technologies. His work spans conferences like IEEE and ACM, with notable publications in cybersecurity, machine learning, and network efficiency. Current teaching includes CISC 447 (Introduction to Cybersecurity) and CISC 468 (Cryptography). He has advised on courses ranging from undergraduate programming to graduate-level security topics.

Agustinus Kristiadiمشاهده پروفایل

استادیار

• Probabilistic Machine Learning
• Uncertainty Quantification
• Decision-Making Under Uncertainty
• +۳ مورد دیگر

Agustinus Kristiadi is an Assistant Professor in the Department of Computer Science at Western University, London, Ontario, Canada. He is also a Faculty Affiliate at the Vector Institute. His research focuses on probabilistic machine learning, uncertainty quantification, and decision-making under uncertainty in foundational models like deep neural networks and large language models, with applications in scientific domains such as chemistry and biology. His recent work on efficient reward-guided text generation in large language models has been accepted to ICML 2025 and COLM 2025. His research has been recognized through a Best PhD Thesis Award and multiple spotlight papers at leading machine learning conferences. He actively contributes to the scientific community through mentoring underrepresented students and open-source development. Agustinus is currently hiring funded PhD and MSc students to work on large-scale probabilistic models, decision-making under uncertainty, and AI for Science applications. Prospective students must demonstrate mathematical maturity, programming proficiency, and reliability.

Margaret P. Chapmanمشاهده پروفایل

استادیار

• Risk-Averse Control Theory
• Stochastic Control Theory
• Safety Analysis for Dynamical Systems
• +۴ مورد دیگر

Margaret P. Chapman is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Toronto's Faculty of Applied Science and Engineering. She leads the DATA Lab (Decision Analysis for Trustworthy Autonomy), focusing on risk-averse and stochastic control theory with applications to environmental and human health. Education: B.S. and M.S. in Mechanical Engineering from Stanford University (2012, 2014), Ph.D. in Electrical Engineering and Computer Sciences from UC Berkeley (2020, advised by Claire Tomlin) Her research bridges robust and stochastic optimal control via risk measure theory, emphasizing safety-critical applications in healthcare and sustainable cities. Key challenges include scalable risk-sensitive control methods, integrating physics-based and data-driven models for safety analysis, and promoting technologies that enhance planetary and human well-being. Recent publications focus on risk-averse autonomous systems, CVaR-based safety analysis, and multi-time-scale modeling for cancer treatment. She has advised students in both graduate and undergraduate research roles, including NSERC awardees and thesis participants. Awards: US National Science Foundation Graduate Research Fellowship, Berkeley Fellowship, Terman Engineering Scholastic Award, Leon O. Chua Award She teaches courses like ECE 557 (Linear Control Theory) and ECE 1643 (Risk-Averse Control with Learning). Her invited talks span institutions such as MIT, Princeton, and Georgia Tech, highlighting risk-sensitive analysis and control for trustworthy autonomy.

Henry Yuenمشاهده پروفایل

دانشیار

• Quantum Computing
• Complexity Theory
• Cryptography
• +۲ مورد دیگر

Henry Yuen is the Srivani Family Associate Professor of Computer Science at Columbia University, with affiliations in the CS Theory group, Data Science Institute, and Columbia Quantum Initiative. His work bridges theoretical computer science and quantum information, focusing on the computational foundations of quantum systems. Yuen received his BA in Mathematics from the University of Southern California (2010) and PhD in Computer Science from MIT (2016). His research explores quantum complexity theory, quantum cryptography, and quantum information through both theoretical frameworks and practical applications. His recent publications reveal a strong focus on quantum pseudorandomness, quantum circuit complexity, and quantum cryptographic primitives. The research trajectory demonstrates increasing sophistication in connecting quantum computational models with fundamental questions in complexity theory, particularly through the lens of quantum interactive proofs and quantum state complexity. His work frequently intersects with operator algebras and quantum information theory, reflecting the interdisciplinary nature of modern quantum computing research. NSF CAREER award Sloan Fellowship Yuen actively mentors graduate students, with several PhD students having graduated to postdoctoral positions or faculty roles. His service includes co-organizing the Columbia CS Theory Seminar and serving on program committees for major conferences including QIP, STOC, and ITCS. He has organized multiple workshops on quantum computing challenges and cryptography. As a member of the Columbia Quantum Initiative, Yuen contributes to Columbia's growing quantum ecosystem, collaborating across departments to advance both theoretical foundations and potential applications of quantum information processing.

Masoud Asgharianمشاهده پروفایل

استاد

• Survival Analysis
• Changepoint Problem
• Nonparametric Bayesian Analysis
• +۵ مورد دیگر

Masoud Asgharian is a Professor in the Department of Mathematics and Statistics at McGill University. His research focuses on survival analysis, changepoint problems, nonparametric Bayesian methods, and data envelopment analysis. He has contributed to influential studies on dementia survival rates, censored data methodologies, and statistical efficiency measures. His work bridges biostatistics and operations research, with applications in public health and medical sciences. Key contributions include methodologies for prevalent cohort survival analysis, input relaxation efficiency measures in stochastic DEA, and causal inference techniques. Asgharian has collaborated extensively with researchers in epidemiology and biomedical engineering, as evidenced by his co-authored publications on topics ranging from tooth enamel properties to low-precision neural network quantization. His research has been published in high-impact journals such as New England Journal of Medicine , Journal of the American Statistical Association , and Biometrics . Current affiliations include leadership roles in statistical research at McGill, with ongoing projects in computational statistics and healthcare analytics.

• Machine Learning
• Artificial Intelligence
• Computer Science
• +۵ مورد دیگر

Gordon Geoffrey J. is a Professor at Carnegie Mellon University, specializing in Machine Learning , Artificial Intelligence , and Computer Science . His research spans Reinforcement Learning , Domain Adaptation , Graph-based Planning , and Relational Learning , with significant contributions to Adversarial Learning , Deep Learning Dynamics , and Mobile Sensor Networks . He has pioneered algorithms like ARA* and Anytime Dynamic A* for efficient planning under constraints. Key research areas: Transfer Learning , Bayesian Knowledge Tracing , Multi-agent Systems , Database Optimization His work has been cited thousands of times across foundational topics in AI and robotics, demonstrating sustained impact in algorithm design and applications to complex systems.