Artificial Intelligence to Assist Mathematical Reasoning Proceedings of a Workshop (2023) / Chapter Skim
Currently Skimming:

Appendix B: Biographical Information for Planning Committee Members
Pages 75-78

The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.


From page 75...
... , and the Radcliffe Institute of Advanced Study at Harvard University, and he is a Distinguished Affiliated Professor at the Technical University of Munich. Koumoutsakos is an elected fellow of the American Society of M ­ echanical Engineers (ASME)
Read the entire page →
From page 76...
... Greer also is adjunct faculty for the advanced academic program at Johns Hopkins University, where he teaches the master of science course, "Practical Applications of Artificial Intelligence." He has also been appointed senior advisor at the University of ­California, Berkeley, Goldman School of Public Policy where he develops and accelerates the adoption of public policy for emerging and advanced technologies. BRENDAN HASSETT joined the Brown University faculty in 2015 as a professor of mathematics.
Read the entire page →
From page 77...
... Their main interest is in making program verification using interactive theorem provers more accessible through better proof engineering tools and practices, especially when it comes to maintaining proofs as programs change over time. Ringer's vision is a future of verification that is accessible to all programmers, not just to experts.
Read the entire page →
From page 78...
... Srinivas has received several outstanding technical achievements awards at IBM Research, is published in major conferences such as ACM's SIGMOD (Special Interest Group on Management of Data) , the Association for the Advancement of Artificial Intelligence, the International Joint Conferences on Artificial Intelligence, the International Conference on Very Large Data Bases, and the International Semantic Web Conference, and been on organizational committees and program committees of conferences such as the International Conference on Extending Database Technology, the International Joint Conference on Artificial Intelligence, the World Wide Web Conference, etc.
Read the entire page →

Key Terms

  • data science
  • senior advisor
  • technical university
  • outstanding technical
  • research fellowship

  • applied mathematics
  • web conference
  • ibm research
  • interactive theorem
  • applied sciences

  • major conferences
  • ringer recently
  • york public
  • engineering breakthroughs
  • public library

  • mentoring program
  • partial differential
  • rice university
  • held visiting
  • hassett received

  • parallel computing
  • blockchain zero
  • compressed sensing
  • connections fellowship
  • brown university

  • postdoctoral fellow
  • advanced technologies
  • chief technical
  • lions fiction
  • joint conferences


    • This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
    More information on Chapter Skim is available.