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. Courses numbers >= 5000 are graduate-level.
Computer Science
Distributed Systems (CS7610) — C. Nita-Rotaru, Fall 2024
Special Topics in PL: Formal Security for Cryptography* (CS7480) — J. Gancher, Fall 2024
Applications of Formal Methods for Security of Network Protocols and Distributed Systems (CS7670) — C. Nita-Rotaru, Spring 2024
Programming Languages* (CS4400) — S. Holtzen, Spring 2024
Theory of Computation (CS3800) — A. Hamlin, Fall 2023
Advanced Algorithms (CS7800) — H. Nguyen, Fall 2023
Formal Specification, Verification, and Synthesis (CS7430) — S. Tripakis, Fall 2023
Computer Science Research Seminar (CS4950) — O. Vitek, Spring 2023
Foundations of Computer Security & Privacy: Breakthroughs and Research (CS4973) — S. Sprecher, Spring 2023
Computer Systems (CS5600) — C. Tan, Spring 2023
Cybersecurity Research Seminar (CS4950) — R. Aanjhan, Fall 2022
Logic and Computation (CS2800) — S. Tripakis, Fall 2022
Algorithms (CS5800) — V. Pavlu, Fall 2022
Object-Oriented Design (CS3500) — M. Vidoje, Fall 2022
Intro to Computer Science Research (CS3950) — O. Vitek, Spring 2021
Mathematics
Mathematics Research Capstone (MATH4020) — A. Iarrobino, Spring 2025
Dynamics, Chaos, and Fractals (MATH3543) — E. Dummit, Spring 2025
Graph Theory (MATH3545) — G. Lippner, Fall 2024
Topology (MATH4565) — A. Suicu, Fall 2024
Abstract Algebra 2 (MATH5112) — I. Halacheva, Fall 2024
Advanced Group Theory (MATH3275) — A. Sadegh, Spring 2024
Partial Differential Equations & Fourier Series (MATH4545) — S. Jekel, Spring 2024
Number Theory 2 (MATH4527) — E. Dummit, Spring 2024
Analysis 1 (MATH5101) — X, Zhu, Fall 2023
Number Theory 1 (MATH3527) — E. Dummit, Spring 2023
Advanced Linear Algbera (MATH4571) — E. Dummit, Spring 2023
Other
Computer Hardware Security (EECE7390) — X. Xaiolin, Spring 2025
The Law, Ethics, and Policy of Data & Digital Technology (CY4170) — L. Edelson, Spring 2025
Advanced Logic* (PHIL4515) — B. Fitelson, Fall 2023
* denotes audit (followed along all lectures and works, but no course evaluation nor tuition payment :))