麻豆社区

Scientific Advisory Board:

• Claes de Vreese

  Professor, University of Amsterdam, and Director, SDU Digital Democracy Centre
  Fellow of the Royal Dutch Academy of Sciences, Fellow of the ICA, Carlsberg Foundation Research Prize

  chv@sam.sdu.dk
  Areas: Communication Science, Digital Democracy, Interdisciplinary Research

• Professor, Stanford University, Director, Stanford Center for Automated Reasoning, and Co-Director, Stanford Center for AI Safety
  ACM Fellow

  barrettc@stanford.edu
  Area: Automated Reasoning

• Professor, University of Toronto
  ACM Fellow

  faith@cs.toronto.edu
  Areas: Distributed Computing and Data Structures

• Professor, TU Darmstadt
  ACM Fellow, Dahl-Nygaard Prize

  mezini@informatik.tu-darmstadt.de
  Areas: Distributed Systems, Software Technology

• Research Director, INRIA, and Professor, University College London
  Fellow of the Royal Statistical Society, Franco-British Council Young Leader

  benjamin.guedj@inria.fr
  Areas: Machine Learning and Foundational Artificial Intelligence

• Professor, University of Edinburgh
  Birkhoff-von Neumann Prize, EPSRC Early Career Fellow

  chris.heunen@ed.ac.uk
  Area: Quantum Programming

• Senior Principal Applied Scientist, Amazon, and Chief Architect, Lean FRO
  ACM SIGPLAN Programming Languages Software Award

  leodemoura0@gmail.com
  Areas: Automated Reasoning, Theorem Proving

• Professor, University of Oxford
  EPSRC Established Career Fellow, Fellow of the British Computer Society

  
  Areas: Concurrency Theory, Session Types

• Professor, UT Austin, and Research Scientist, Google DeepMind
  Guggenheim Fellow

  meganb@cs.utexas.edu
  Areas: Machine Learning, Reliable Software, Security