## Jacob Ginesin - Selected Coursework

This list is by no means exhaustive,
it includes mostly advanced electives reflecting my
academic interest. A copy of my unofficial transcript is
available upon request. Underlined denotes research/project oriented
with original or individual work, * denotes graduate level courses,
^ denotes audit (no course evaluation but
followed along all lectures and works).

**Computer Science**

Programming Languages (S. Holtzen) (^), Spring 2024

Applications of Formal Methods for Security of Network Protocols and Distributed Systems (C. Nita-Rotaru) (*), Spring 2024

Theory of Computation (A. Hamlin), Fall 2023

Formal Specification, Verification, and Synthesis (S. Tripakis), Fall 2023

Advanced Algorithms (H. Nguyen) (*), Fall 2023

Advanced Logic (B. Fitelson) (^), Fall 2023

Computer Science Reseach Seminar (O. Vitek), Spring 2023

Computer Security & Privacy - Breakthroughs and Research (S. Sprecher), Spring 2023

Computer Systems (C. Tan) (*), Spring 2023

Cybersecurity Research Seminar (R. Aanjhan), Fall 2022

Object-Oriented Design (M. Vidoje), Fall 2022

Algorithms (V. Pavlu) (*), Fall 2022

Intro to Computer Science Research, (O. Vitek), Spring 2021

**Mathematics**

Advanced Group Theory (A. Sadegh), Spring 2024

Partial Differential Equations & Fourier Series (S. Jekel), Spring 2024

Number Theory II (E. Dummit), Spring 2024

Analysis 1 (X, Zhu) (*), Fall 2024

Number Theory I (E. Dummit), Spring 2023

Advanced Linear Algbera (E. Dummit), Spring 2023