Matthew Rhea

Software Developer and Research Assistant

University of California Santa Cruz

This homepage is currently under construction!

I am a software developer and aspiring computer scientist living the the California Bay Area. I work as a research assistant at the Languages, Systems, and Data Lab at UC Santa Cruz; and am a software developer at the Center for Research in Open Source Software. My researched interests span programming lanuages, distributed systems, and formal verification. Currently I am working on building client-layer applications for the Skyhook data management system, and implementing support for 3D geometry in the probabilistic programming langauge Scenic.

Interests

Programming Languages
Distributed Systems
Formal Verification

Education

Bachelors of Science, Computer Science, 2020

University of California, Santa Cruz

Projects

Projects I Worked On

Scenic: A Scenario Description Language

Gallifrey: The Geodistributed Programming Language

Skyhook: Programmable Storage for Databases

Personal Projects

SDSL

OS

Experience

Research Assistant

Languages, Systems, and Data Lab

Jun 2020 – Sep 2020 California

Implemented 3D geometry support in Scenic, a probabilistic programming language for designing and analyzing perception systems. Extended Scenic’s compiler and runtime in Python to support new syntax and semantics. Integrated 3D simulators by generalizing Scenic’s API to support new types and classes for simulator models. Collaborated with other research groups who use Scenic in order to incorporate features they need.

Software Developer

Center for Research in Open Source Software

Jun 2020 – Sep 2020 California

Developed a client-layer Python application for the SkyhookDM – a data management system that extends the Ceph object storage system with management functionality for tabular data – that parses SQL statements into SkyhookDM CLI commands, executes them, and serializes the resulting Arrow, FlatBuffer, or CSV data frames. Worked on C++ libraries that defined the SkyhookDM API for applications by abstracting underlying binaries. Assisted a team with merging multiple Python modules into a single frontend for Skyhook. Designing a SkyhookDM SQL dialect that will be used to set SkyhookDM specific options for querying.

Individual Tutor

Baskin School of Engineering

Oct 2018 – Dec 2018 California

Tutor for individual students in an upper division algorithms and data types class. Students assisted by me were given constructive feedback on homeworks and performed better overall in the class.

Teaching Assistant

Girls Who Code

Jun 2018 – Aug 2018 California

Assisted in instruction of introductory computer science, web development, robotics, and data science. Acted as coordinator for events and administration between the class and host company, Electronic Arts. Developed and managed a successful mentorship program that paired students with Electronic Arts employees.

Recent & Upcoming Talks

Client Layer SQL Processing for SkyhookDM-Ceph

October 7, 2020

The Skyhook is rapidly developing multiple frontend APIs for applications to interface at a high level with the data management system. I present on a prototype SQL processing API that ingests raw SQL, and translates and executes the resulting query.

KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs

Presented on KLEE, a symbolic virtual machine for executing LLVM, for the Applied Programming Languages Seminar at UC Santa Cruz.

Constraints as Control

Presented on Kaplan for Lindsey Kuper’s graduate course on Solver-Aided programming languages, an extension of the Scala programming language that builds on top of Z3.

Teaching

CSE 42A: Survey of Applied Computer Science

University of California, Santa Cruz Jan 2019 – Mar 2019

A survey of interesting and important topics in the field of computer science. Students will learn to read and understand research papers. Topics include: Information Theory, Number Theory, Proofs and Problem Solving.