◣ Founding Team
Recognized leaders and academics in mathematics and computer science at the University of Pennsylvania.

Robert Ghrist
Co-CEO · President
Andrea Mitchell PIK Professor of Mathematics, University of Pennsylvania.
More
Robert Ghrist (1995 Ph.D., Applied Mathematics, Cornell University) is the Andrea Mitchell University Professor in the departments of Mathematics and Electrical & Systems Engineering. He is one of the founders of applied algebraic topology, and is a recipient of numerous awards in research and teaching, including the Presidential Early Career Award for Scientists and Engineers (PECASE) in 2004, the Chauvenet Prize by the Mathematical Association of America in 2013, and the Vannevar Bush Faculty Fellowship in 2015. He has been an invited speaker at two International Congresses of Mathematicians (2006, 2014).

Mayur Naik
Co-CEO · Secretary
Misra Family Professor of Computer Science, University of Pennsylvania.
More
Mayur Naik (2008 Ph.D., Computer Science, Stanford University) is Misra Family Professor in the department of Computer and Information Science. His expertise spans the fields of programming languages and artificial intelligence. His current research focuses on neurosymbolic programming, which integrates deep learning with symbolic reasoning to make AI applications safe, interpretable, efficient, and easier to develop. He has published over 80 papers in top-tier conferences in programming languages, deep learning, and related fields. His work has earned four Distinguished Paper awards, three Test-of-Time honors, and four Spotlight Paper recognitions. His online course on software analysis has been taken by over 10,000 students in Georgia Tech's OMSCS program.

Oscar Xu
Chief Technical Officer
Ph.D. Candidate in Computer Science, University of Pennsylvania.
More
Zhiqiu (Oscar) Xu is a third year PhD student in the department of Computer and Information Science advised by Prof. Naik. He is an expert in deep learning representations, training algorithms, and benchmarking. He has five publications in top-tier deep learning conferences. He holds bachelors and Masters degrees from UC Berkeley in Computer Science and Applied Mathematics.

Shreya Arya
Chief Research Officer
Rademacher Postdoctoral Fellow in Mathematics, University of Pennsylvania.
More
Shreya Arya (2024 Ph.D., Mathematics, Duke University) is a postdoctoral scholar and Hans Rademacher Instructor in the department of Mathematics. Her areas of expertise include geometry, topology, and category theory with applications to statistics, computer science, and mathematical physics. She won the Rudin Prize for Outstanding PhD Dissertation in 2024.