al/pages
1
0
Fork 0
mirror of https://git.acl.cool/al/pages.git synced 2025-12-15 20:11:17 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

updated resume

Browse source
This commit is contained in:
Alexander 2025-10-19 19:29:15 -04:00
parent 01d06c9529
commit fc7213d12f
2 changed files with 4 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

BIN
acl.cool/site/resume.pdf
View file

Binary file not shown.

11
acl.cool/site/resume.typ.txt
View file

@ -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