diff --git a/acl.cool/site/resume.pdf b/acl.cool/site/resume.pdf
index 000746c..79dd1f6 100755
Binary files a/acl.cool/site/resume.pdf and b/acl.cool/site/resume.pdf differ
diff --git a/acl.cool/site/resume.typ.txt b/acl.cool/site/resume.typ.txt
index 019cfa5..0958a8a 100755
--- a/acl.cool/site/resume.typ.txt
+++ b/acl.cool/site/resume.typ.txt
@@ -37,7 +37,7 @@
 
 == Summary
 I am a computer science enthusiast with an inclination for harnessing CS
-theory to tackle practical challenges in a clean, efficient, and maintainable way. I'm especially interested in expanding my skills in domain modeling techniques and software testing methodologies.
+theory to tackle practical challenges in a clean, efficient, and maintainable way. I'm especially interested in expanding my skills in compiler engineering, advanced domain modeling techniques, and formal methods.
 
 == Skills
 #let skills = [
@@ -49,7 +49,6 @@ theory to tackle practical challenges in a clean, efficient, and maintainable wa
   #linebreak()
   *Soft Skills*: Technical Writing, Software Documentation, Presentation
 ]
-
 #skills
 
 #let interline() = {
@@ -58,14 +57,14 @@ theory to tackle practical challenges in a clean, efficient, and maintainable wa
 
 == Experience
 #let experience = [
-  *Embedded Software Engineer, Jr.* #interline() #text(weight: "semibold")[Trusted Microelectronics, KBR, 01/2025-05/2025 (End of Funds)]
+  *Embedded Software Engineer, Jr.* #interline() #text(weight: "semibold")[KBR, 01/2025-05/2025 (End of Funds)]
   - Accepted regular position working with the same great team and software as in my internship.
   - Developed QEMU virtual hardware devices for building/testing platform-specific applications.
   - Designed and implemented error-recovering protocols for inter-board communications.
   - Built graphical user-interfaces for configuring test programs and controlling custom device drivers.
 
-  *Linux Driver Development Intern, Full-time* #interline() #text(weight: "semibold")[Trusted Microelectronics, KBR, 05/2024-08/2024]
-  - Learned Linux kernel subsystems and developed device drivers for custom "system on a chip" hardware, including GPIO/pin controllers and an AES encryption accelerator module.
+  *Linux Driver Development Intern, Full-time* #interline() #text(weight: "semibold")[KBR, 05/2024-08/2024]
+  - Learned Linux kernel subsystems and developed device drivers for custom system-on-a-chip hardware, including GPIO/pin controllers and an AES encryption accelerator module.
   - Worked with team members to develop testing and assurance methodologies including coverage profiling and input fuzzing for Linux drivers while porting Linux to our boards.
   - Automated common tasks, writing scripts to handle OS installations and code restructuring.
   - Presented project status and details to large, cross-functional and interdisciplinary groups.
@@ -74,7 +73,6 @@ theory to tackle practical challenges in a clean, efficient, and maintainable wa
   - Took questions and led review sessions in proofs, programming, tooling, and debugging software.
   - Mentored students, helping them to develop the skills needed to succeed in challenging courses.
 ]
-
 #experience
 
 == Education
@@ -109,5 +107,4 @@ theory to tackle practical challenges in a clean, efficient, and maintainable wa
   #linebreak()
   *Randall* (on #underline([#link("https://gitlab.com/mobotsar/randall")[Gitlab]])) is a Discord bot to execute dice-notation for playing TTRPGs remotely. It uses a recursive descent parser/interpreter on the backend and .NET's "Discord" library up front.
 ]
-
 #projects