Jonathan is the founder of Pareto and Solomon. He is pursuing an MS in Computer Science at Johns Hopkins University (Theory focus area), with concurrent coursework in pure mathematics. He holds a BA from St. John's College, where the Great Books program immersed him in philosophy and the history of mathematics and science. He brings 8 years of experience in cybersecurity and software engineering. His research interests include network science applied to formalized mathematics, spectral graph theory, and formal verification. For more information, visit jllovet.com.