Phillip Lopes Mates Education Research Interests Experience

Phillip Lopes Mateshttp://www.eng.utah.edu/~matesphillip.mates@utah.eduEducationHonors B.S. in Computer Science – University of Utah August 2008 – December 2011Research Interests• Static Analysis, Type Theory, Mechanized Theorem ProvingExperience• Undergraduate Senior Thesis March 2011 – December 2011School of Computing – University of Utah, Salt Lake City, UtahConducted an in-depth study of the Curry-Howard Isomorphism.Research blog at http://cubeoflambda.wordpress.comMentor: Matthew Might• Software Engineer Intern June 2011 – August 2011AdSense for Domains – Google, Santa Monica, CaliforniaBuilt a domain name classifier to enforce policy violations. Built internal analytics scripts.Mentor: Joe Vanderwaart• Visiting Research Student October 2010 – December 2010Institute for Theoretical Physics – ETH Zürich, Zürich, SwitzerlandWorked with Computational Physicists to create more useful data management tools.Surveyed the field of Randomness Extractors and explored possible implementation designs for use inMonte Carlo simulations.Mentor: Matthias Troyer• Research Undergrad May 2009 – September 2010Scientific Computing and Imaging Institute – University of Utah, Salt Lake City, UtahLead Developer of an online visualization repository which leverages the VisTrails system to fostercollaboration and enable scientists to easily present and share their visualizations. Developer for theVisTrails open-source provenance and workflow management system, which has had over 15,000downloads since its beta release in 2007.Mentor: Claudio Silva• Intern December 2008 – May 2009Scientific Computing and Imaging Institute – University of Utah, Salt Lake City, UtahCo-Developed a device driven visualization environment that uses tiled display walls and iPhones,among other devices.Mentor: Claudio Silva

Awards/Honors• Richard and Brenda Brown Scholarship (2010 – 2011).• School of Computing Tuition Waiver (2010 – 2011).• Research Posters on the Hill (January 2010).• Merrill Engineering Scholar (August 2008 – May 2009).• International Baccalaureate Diploma (June 2008).• Rotary Youth Exchange Student in Bahia, Brazil (August 2006 – May 2007)PublicationsConferences and Workshops[1] David Koop, Emanuele Santos, Phillip Mates, Huy T. Vo, Philippe Bonnet, Bela Bauer, Brigitte Surer,Matthias Troyer, Dean N. Williams, Joel E. Tohline, Juliana Freire, and Cláudio T. Silva. A Provenance-Based Infrastructure to Support the Life Cycle of Executable Papers. Procedia CS, 4:648–657, January2011.[2] Phillip Mates, Emanuele Santos, Juliana Freire, and Cludio Silva. Crowdlabs: Social analysis andvisualization for the sciences. In Judith Bayard Cushing, James French, and Shawn Bowers, editors,Scientific and Statistical Database Management, volume 6809 of Lecture Notes in Computer Science,pages 555–564. Springer Berlin / Heidelberg, 2011.[3] Emanuele Santos, Phillip Mates, Erik Anderson, Brad Grimm, Juliana Freire, and Claudio Silva. Towardssupporting collaborative data analysis and visualization in a coastal margin observatory. Proceedingsof the ACM CSCW Workshop on The Changing Dynamics of Scientic Collaborations, 2010.Journals[1] B. Bauer, L. D. Carr, H. G. Evertz, A. Feiguin, J. Freire, S. Fuchs, L. Gamper, J. Gukelberger, E. Gull,S. Guertler, A. Hehn, R. Igarashi, S. V. Isakov, D. Koop, P. N. Ma, P. Mates, H. Matsuo, O. Parcollet,G. Pawłowski, J. D. Picon, L. Pollet, E. Santos, V. W. Scarola, U. Schollwöck, C. Silva, B. Surer, S. Todo,S. Trebst, M. Troyer, M. L. Wall, P. Werner, and S. Wessel. The ALPS project release 2.0: open sourcesoftware for strongly correlated systems. Journal of Statistical Mechanics: Theory and Experiment,2011(05):P05001+, May 2011.Submitted[1] L. Scheidegger, E. Anderson, M. Bellem, T. Fogal, P. Mates, C. Scheidegger, B. Summa, H. Vo, V. Pascucci,J. Krueger, and C. Silva. Collaborative device-driven visualization with avis. 2009.