Education
Skills
languages
Python, Perl, Datalog/Prolog, Java, Haskell, C/C++
web
Python/Django/Flask, PHP/Symfony, JavaScript/Node.js/Vue.js/jQuery, HTML/CSS
data
MySQL,
MongoDB,
Elasticsearch
tools/libraries
Gurobi, SageMath, LaTeX
Positions
Software EngineerPeach Finance, Oakland, CA, July 2020-present
- Developed features for the system backend, written in Flask-SQLAlchemy.
Stockwell.ai, Oakland, CA, October 2019-July 2020
- Investigated methods to improve delivery scheduling from a central warehouse location for multiple drivers
- Developed a routing method using Google OR Tools, which met all business logic constraints and showed an average 7% value increase on past data
- Used open-source mixed integer programming software to optimize store inventory for margin, subject to constraints set by the retail department
MarkSYS Holdings, Rocklin, CA, November 2018-October 2019
- Wrote specifications for, developed and tested new features of the MarkSYS application, written in PHP Symfony and Vue.js, such as reporting, automation and integration with vendor APIs
- Led development on a project that used Elasticsearch to ingest and analyze over 30M US consumer records
- Worked with another developer on a Node.js application to batch-process real-time streamed JSON records
- Completed a two-person project to process scanned images with OpenCV, built with Flask and Vuetify
Cia Paulista Sacramento, Sacramento, December 2017-November 2019
- Taught fundamental concepts and principles of Brazilian jiujitsu to a semiweekly class of children aged 4-8
- Assisted with Brazilian jiujitsu class of students aged 8-14
- Facilitated a weekly conditioning/rolling class for adults
University of California, Davis, Computer Science Department
- Graded and provided feedback on homework and assessments for
- Led weekly discussion sections and held office hours to assist students in their understanding of course material
University of California, Davis, September 2013-December 2019
- Developed algorithms for solving combinatorial optimization problems involving phylogenetic networks
- Developed integer linear programming models to simulate phylogenetic network problems
Academy Learning Center, Sacramento, January-April 2017
- Taught fundamental concepts and principles of Brazilian jiujitsu with an emphasis on safety, fitness and self-defense to a weekly class of children aged 5-11
LogicBlox, Atlanta, GA, June-August 2012
- Conducted a literature review of theoretical results related to functional dependency analysis
- Implemented a static analysis tool for detecting functional dependency violations in Datalog programs
- Contributed to the redesign of the LogicBlox static analysis API to facilitate automated rewriting of Datalog code
University of California, Davis, September 2011-June 2012
- Studied broad theoretical aspects of database systems, including distributed query evaluation, provenance, completeness and expressiveness results
Harvey Mudd College Physics Department, January 2008-May 2011
- Evaluated, recorded grades and provided prompt, constructive feedback on biweekly homework sets for the PHYS 24 (Mechanics) and PHYS 51 (Electromagnetism and Optics) courses.
Harvey Mudd College, Computer Science Department, June 2010-May 2011
- Implemented an observationally cooperative framework for writing multithreaded code in the form of a source-to-source converter written in C++ and Haskell
Dreamhost, San Francisco, CA, May-August 2009
- Implemented new features of the Dreamhost application, both internal and customer-facing
- Optimized internal analytics scripts to for speed and efficiency
Affinity Circles, Mountain View, CA, May-August 2008
- Developed parts of the inCircle application
- Updating components to more modern Perl web application frameworks
San Jose, CA, 2003-2007; 2010-2014
- Designed, developed and maintained seamedical.com of SEA Medical Systems, written in PHP
- Created professional websites on a volunteer or paid part-time basis for various local clients
- Developed and maintained key functional components, such as small databases and photo galleries
Academic
(paper)
Matsieva, J., St. John, K.
Most Parsimonious Likelihood Exhibits Multiple Optima for Compatible Characters.
Bull Math Biol 82, 10
(2020).
(dissertation)
Matsieva, Julia.
Optimization techniques for phylogenetics.
UC Davis, 2019.
(paper)
Matsieva J, Kelk S, Scornavacca C, Whidden C, Gusfield D.,
A resolution of the static formulation question for the problem of computing the history bound,
IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 14, no. 2, pp. 404-417, March-April 1 2017
A resolution of the static formulation question for the problem of computing the history bound,
IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 14, no. 2, pp. 404-417, March-April 1 2017
(presentation)
Trying to Simulate the History Bound by ILP,
Integer Linear Programming in Computational Biology, May 2016
Simons Institute for the Theory of Computing
Integer Linear Programming in Computational Biology, May 2016
Simons Institute for the Theory of Computing
(thesis)
Matsieva, Julia. A Static Formulation of the History Bound Problem.
UC Davis, 2014.
(paper)
Christopher A. Stone, Melissa E. O'Neill, Sonja A. Bohr, Adam M. Cozzette, M.
Joe DeBlasio, Julia Matsieva, Stuart A. Pernsteiner, Ari D. Schumer.
Observationally Cooperative Multithreading.
arXiv.
Harvey Mudd College, 2012.
Projects
Analysis of maximum likelihood for phylogenetic trees
University of California, Davis, September 2014-present
University of California, Davis, September 2013-December 2019
Harvey Mudd College, September 2010-May 2011
Harvey Mudd College, Computer Science Department, June 2010-May 2011
University of California, Davis, September 2014-present
- Fully characterized the behavior of the individual parsimonious likelihood functions, which had previously only been approximated for use in statistical analysis
- Demonstrated that hill-climbing methods cannot be used to find unique optima for most parsimonious likelihood for phylogenetic trees representing character data
- Independently verified known properties of maximum average likelihood using calculus, linear algebra and algebraic geometry, implemented in sage
University of California, Davis, September 2013-December 2019
- Clarified and solved an open problem about the combinatorial properties of an algorithm to compute a lower bound on reticulation number
- Developed an output-sensitive algorithm for generating phylogenetic networks with the fewest number of reticulation nodes, with runtime np (where p is the solution), improving on the best known method that runs in exponential time
- Developed novel methods to compute reticulation number on some classes of networks using integer linear programming and dynamic programming
Harvey Mudd College, September 2010-May 2011
- Worked with a team of three other students to distribute the computation of the COSI-Corr software developed by our liaisons at Caltech to run on the geological computing cluster CITerra and instances of Amazon EC2
- Ran thorough benchmarks to analyze the effects of program design parameters on speed and performance to minimize actual running time for different systems
Harvey Mudd College, Computer Science Department, June 2010-May 2011
- Implemented the back-end of a multithreading paradigm intended to allow the programmer to reason about parallel code in a linear way, using common multithreading tools, such as locks, semaphors
- Implemented a source-to-source code converter written in C++ and Haskell
Web
Volunteer
Circulation/Catalog Volunteer
Lavender Library, Archives, and Cultural Exchange (LLACE)
Sacramento, CA, April 2015-April 2018
University of California, Davis, Computer Science Department, February-April 2017
Southgate Library, Sacramento, CA, January-June 2014
Harvey Mudd College, 2007-2009; 2009-2011
Lavender Library, Archives, and Cultural Exchange (LLACE)
Sacramento, CA, April 2015-April 2018
- Performed all circulation tasks efficiently with attention to detail, including checking materials in/out to patrons, shelving, creating and updating patron memberships
- Cataloged new materials to include all relevant information; conducted additional research to populate subject fields
- Processed newly cataloged materials: generated and attached barcode labels, created covers for hardcover books
- Documented and processed donation materials, processed credit card transactions, tabulated cash totals, provided relevant donation policy and tax information to donors
University of California, Davis, Computer Science Department, February-April 2017
- Attended talks by prospective faculty members
- Met with candidates and other students to discuss their research, teaching style and plans for the community
- Submitted short written evaluations of the candidates
Southgate Library, Sacramento, CA, January-June 2014
- Evaluated and distributed resources to connect veterans with state and federal benefits
Harvey Mudd College, 2007-2009; 2009-2011
- Facilitated the design and production of a 100-page print publication
- Designed student yearbook pages, cover and endsheets using Herff Jones publishing software for print media
- Worked with the school photographer to create, organize and update headshots of the faculty and student body of over 800 students
- Negotiated and managed a budget; met all relevant production deadlines to avoid penalty payments
- Facilitated communication with parents and alumni for the production of senior pages
- Organized the distribution of yearbooks to seniors after their graduation
One-time
Canvasser –
Alison Hartson Senate Campaign
Tower Cafe, Sacramento, CA, June 2, 2018
Brockway Park, Sacramento, CA, May 26, 2018
1600 Exposition Blvd, Sacramento, CA
Sabroso: Craft Beer, Taco & Music Festival, April 8, 2018
Punk in Drublic: Craft Beer & Music Festival, October 15, 2017
1900 K Street, Sacramento, CA, November 4, 2017
1215 9th Street, Sacramento, CA, November 1, 2014
Moscone Center West, San Francisco, CA, March 28, 2017
ARC Pavilion, UC Davis, Davis, CA, March 22, 2017
2107 6th Street, Sacramento, CA, February 21, 2017
Inderkum High School, Sacramento, CA, January 16, 2016
Tower Cafe, Sacramento, CA, June 2, 2018
Brockway Park, Sacramento, CA, May 26, 2018
- Knocked on doors, spoke with voters, distributed print information about the candidate
- Recorded all available voter data using MiniVAN smartphone application
1600 Exposition Blvd, Sacramento, CA
Sabroso: Craft Beer, Taco & Music Festival, April 8, 2018
Punk in Drublic: Craft Beer & Music Festival, October 15, 2017
- Poured 3 ounce serving of beer for event attendees
- Received training to assess and handle intoxicated patrons
1900 K Street, Sacramento, CA, November 4, 2017
1215 9th Street, Sacramento, CA, November 1, 2014
- Greeted guests, sold raffle tickets, processed credit card payments using the Square smartphone application
- Assisted with live auction staffing and clean-up
Moscone Center West, San Francisco, CA, March 28, 2017
- Ushered attendees to their assigned seating during the keynote session
- Assisted with assembly of dessert platters for reception /a>
ARC Pavilion, UC Davis, Davis, CA, March 22, 2017
- Assisted with measurement, marking and taping of field carpet, and assembly of driver stations and rotors for the SteamWorks field
2107 6th Street, Sacramento, CA, February 21, 2017
- Assisted with sign-in and morning sign-out process
- Handed out coffee and assisted with calling taxis
Inderkum High School, Sacramento, CA, January 16, 2016
- Evaluated project presentations according to criteria given by the program directors
- Interviewed team members and followed up on project details
- Communicated with other judges to produce an overall ranking of all participating teams
- Wrote short introductions for award winners
Awards
- GGCS Graduate Student Fellowship, SQ13
- Harvey S. Mudd Merit Award, 2007-2011
- Dean's List, 2008-2011
- Computer Science Department Honors, 2011
- Humanities, Social Sciences and the Arts Department Honors, 2011
- MCM Honorable Mention, 2010
Relevant coursework
- Theory of Molecular Computation
- Design and Analysis of Algorithms
- Cryptography for E-Commerce
- Modern Cryptography
- Operating System Models
- Computer and Information Security
- Finite Model Theory
- Algorithms for Strings and Computational Biology
- Machine Learning and Discovery
- Algorithms
- Computer Systems
- Computer Networks
- Scientific Computing
- Graph Theory
- Real Analysis I and II
- Algebraic Geometry
- Abstract Algebra
- Representation Theory
- Topics in Advanced Algorithms
- Topics in Complexity Theory
- Computability and Logic
- Programming Languages
- Discrete Mathematics
Irrelevant coursework
Theoretical Mechanics •
General Relativity and Cosmology •
Quantum Physics •
Fundamentals of Drawing
• Beginning Painting
• Beginning Painting