Please complete the CAPTCHA to continue
A concise factual answer block for searchers comparing this professional profile.
Matthew Weaver is listed as Recent Ph.D. graduate from Princeton University based in Greater Philadelphia, United States, United States. AeroLeads shows a matched LinkedIn profile for Matthew Weaver.
Matthew Weaver previously worked as Research in Dependent Type Theory at University Of Pennsylvania and Teaching Assistant at University Of Pennsylvania. Matthew Weaver holds Doctor Of Philosophy - Phd, Computer Science from Princeton University.
Matthew Weaver is a Recent Ph.D. graduate from Princeton University. They is proficient in Italian.
A career timeline built from the work history available for this profile.
Studying dependent type theory under the supervision of Professor Stephanie Weirich. This research was supported by a University Scholars Summer Research Grant for Summer 2015.
Teaching Assistant for the following courses:CIS 160: Mathematical Foundations of Computer Science (Summer 2014, Summer 2015)CIS 261: Discrete Probability, Stochastic Processes, and Statistical Inference (Fall 2014, Fall 2015)CIS 500: Software Foundations (Spring 2016)
Worked with Professor Rajeev Alur on the online tutoring tool http://www.automatatutor.com. AutomataTutor generates personalized feedback to help teach introductory automata theory. Beyond improving the preexisting interface for teaching deterministic finite automata, I expanded the tool to teach nondeterministic finite automata.
Studying graph theory and finite model theory under the supervision of Professor Scott Weinstein. This research was supported by a University Scholars Summer Research Grant for Summer 2014.
Philadelphia, PA, US
Studying complexity theory and finite model theory under the supervision of Professor Scott Weinstein. This research was supported by a Benjamin Franklin Scholar Summer Research Grant for Summer 2013.
Quick answers generated from the profile data available on this page.
Matthew Weaver is listed as Recent Ph.D. graduate from Princeton University.
Matthew Weaver is based in Greater Philadelphia, United States, United States.
Matthew Weaver has worked for University Of Pennsylvania.
You can use AeroLeads to view verified contact signals for Matthew Weaver, including work email, phone, and LinkedIn data when available.
Matthew Weaver holds Doctor Of Philosophy - Phd, Computer Science from Princeton University.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contacts