Suggestions
Scott Viteri
CS PhD Candidate at Stanford at Stanford University
Scott Viteri is an individual with a profound background in programming language theory and artificial intelligence, specializing in program synthesis. He has engaged in AI, robotics, and mathematics research during his undergraduate years at MIT. Having explored automatic theorem proving techniques at CMU recently, he is currently pursuing a PhD at Stanford under the guidance of Clark Barrett. Viteri's primary focus lies in the automatic generation of programs, viewing it as intricately linked to AI challenges. His unique approach blends various perspectives, including hierarchical Bayesian models, function approximation, and story understanding in AI. He aspires to tackle program synthesis by amalgamating symbolic and sub-symbolic techniques.
