I am currently spending four years at Oregon State University to complete three majors: mathematics, computer science, and electrical and computer engineering. Currently, I work as a learning assistant and a resident assistant at OSU, and I am also completing both a capstone and a thesis. You can find my current and past research and work below. In the future, I plan to to continue studying mathematics at a PhD program after I complete my undergrad in the spring of 2027. I hope to one day be a professor of mathematics, doing both research and teaching students.

A PDF copy of my resume is linked below, which has much of the information above in more detail, along with several of my projects and my coursework. The best way to get in contact with me is usually by email, but my LinkedIn and GitHub are also linked below.

CV: CV PDF

Email: carewj@oregonstate.edu

LinkedIn: linkedin.com/in/jonas-carew

GitHub: github.com/Jonas-Carew

This fall, and over the course of the 2026-27 school year, I will be completing both my honors thesis under Prof. Jon Kujawa. Currently, I am looking into the representation theory of Hecke algebras over the symmetric group using Hopf algebras. Much of the structure of the representation theory of the symmetric group can be carried over to a larger Hopf algebra which contains the Hecke algebra of the symmetric group, allowing us to transfer this well known structure.

This year I will also be working on my (CS/ECE) capstone project under Prof. Kyle Hale. For this capstone, I am working to expand the capabilities of virtines, a concept first explored in this 2021 paper. We’d like to expand the support for a variety of libraries and better compile-time analysis of which libraries are needed in each virtine.

I am also still working to complete further research in temporal logic, the topic of my REU this past summer. We are finishing to develop an implementation of our robustness algorithms into R2U2 and run an analysis of the various tools that implement runtime robustness and robust interval calculations. We would also like to finish proving sufficient conditions for when we can calculate robust satisfaction intervals exactly, but our current results are not very strong. We will be submitting this work to a formal methods conference soon.

I am currently a learning assistant for integral calculus and a transitions course, where I help students understand material in a flipped classroom environment. The learning assistant program at OSU also had me attend a pedagogy course which helped develop my active teaching skills. The environment I work in means that I get time to guide students to figuring out problems themselves instead of giving them the answers, which I find to be a very satisfying process.

I have also been working as a lab assistant for an introductory on electronic devices such as diodes and transistors since fall 2025. My first term working on this course was the first term the course had a lab in nearly 20 years, and as such I have helped to develop and improve much of the content of the labs within the course to match the modern curriculum better. The lab primarily has the students building the components to a power supply such as a voltage rectifier, voltage regulator, and current regulator, using fundamental techniques such as feedback loops and Darlington pairs.

Outside of academia, I have been a resident assistant since my second year of undergrad (fall 2024), where I help new students living in residence halls get acquianted with our campus and find a sense of community. This is a particularly rewarding job as I get to help so many young adults find their different pathways through life, while making sure that they stay healthy and are forming connections within their communities.

Over summer 2026 I did weekly readings with my thesis advisor Prof. Jon Kujawa and another mathematics student, where we studied the representation theory of the symmetric group via partition algebras. We also discussed the construction and the importance of Deligne’s category in generalizing the representation theory of partition algebras. This reading has lead up to some of the current work that I am doing for my honors thesis.

I recently (summer 2026) finished doing research at an REU at Iowa State University studying temporal logic under Prof. Kristin Yvonne Rozier and Prof. Phillip Jones. My group took up the task of translating the semantics for spatial robustness from signal temporal logic (STL) into mission-time linear temporal logic (MLTL). This involves defining signals and signal maps, robustness, and robust intervals with a version of finite interval-based linear temporal logic which can specify to MLTL. This has led to disproving a highly-cited paper’s foundational lemma, and instead providing sufficient conditions for which it holds. We have also made algorithms for calculating robust intervals in real-time and proven their correctness for online stream-based monitors. We are in the process of implementing the first version of these algorithms into R2U2, an MLTL monitor that previously had no robustness metrics. We presented our progress at Iowa State’s summer poster session and at the MAA Math Fest in Boston, where we won an oustanding poster award. Here I have copies of both the poster we presented, as well as a more detailed poster suited better for standalone reading. We are continuing this research and hope to soon publish a paper detailing what we have found.

In my third year of my undergrad (2025-26), I participated in the pilot program for the OSU Math Department’s directed reading program. Alongside Kellen Houchin, I did various readings directed by Addison Day, a student of Prof. Jon Kujawa. We primarily read about the representations of finite groups, and the classification of the representations of the symmetric groups using partitions and Young tableau. We also read about representations of Lie algebras and Schur-Weyl duality. I gave a presentation about the characters of representations, which worked from the definition of a representation up to characters tables, mainly providing motivations instead of proofs. Here is the a pdf of the presentation.

In my second year of my undergrad (2024-25), I worked with Prof. Nick Marshall through the URSA program to do basic research in stochastic linear algebra. In particular, I examined the randomized Kaczmarz algorithm and variations upon it. I developed my own version to allow it to more effectively counteract highly corrupted datasets, and gave a poster presentation on this at OSU’s spring poster symposium. Here is the pdf of my poster.

I have previously worked as a learning assistant for vector calculus, during which I attended a pedagogy course. Teaching this material gave me a much better foundation for multivariable calculus than I previously had, which has been very useful, as it is very often a tricky subject.

In high school, I worked as a tech assistant, meaning I helped repair laptops that were brought in and format new laptops. This gave me invaluable technological skills that have allowed me to be consistently up-to-date with techonology and always able to troubleshoot and fix problems on the fly.