Richard Sommer

Learn More
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics courses, allows students to easily input mathematical expressions, apply proof strategies , verify logical inference, and apply mathematical rules. Each course has its own(More)
We describe a model-theoretic approach to ordinal analysis via the finite com-binatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with com-binatorial properties that, in nonstandard instances, give rise to models of the theory being(More)
Simulation-based training is becoming an accepted tool for educating physicians before direct patient care. As ultrasound-guided regional anesthesia (UGRA) becomes a popular method for performing regional blocks, there is a need for learning the technical skills associated with the technique. Although simulator models do exist for learning UGRA, they either(More)
The field of computer science suffers from a lack of diversity. The Stanford Artificial Intelligence Laboratory's Outreach Summer (SAILORS), a two-week non-residential free summer program, recruits high school girls to computer science, specifically to Artificial Intelligence (AI). The program was organized by graduate student and professor volunteers. The(More)
  • 1