resume

acl.cool/site/resume.typ

@@ -0,0 +1,110 @@
+#let fontsize = 10.2pt
+#let typeface_text = "Fira Sans"
+#let typeface_math = "STIX Two Math"
+
+#set text(font: typeface_text, size: fontsize)
+#show math.equation: set text(font: typeface_math, size: fontsize)
+
+#let inlineFrac(a, b) = [$#super([#a]) #h(-1pt) slash #h(-1pt) #sub([#b])$]
+
+#set smartquote(enabled: false)
+
+#show heading: q => {
+  if q.depth != 1 {
+    v(fontsize / 5)
+  }
+  text(q, weight: "regular")
+  if q.depth == 2 {
+    v(-0.7em)
+    line(length: 100%, stroke: (thickness: 0.7pt))
+    v(0.5em)
+  }
+}
+
+#let head = {
+  align(center)[
+    = *Alexander Lucas*
+    #set text(font: "Fira Code")
+    #text([alexander.clay.lucas\@gmail.com], size: fontsize * 0.9)
+    #linebreak()
+    #text([(+1) 347-644-9265], size: fontsize * 0.8)
+  ]
+}
+
+#set page(margin: (x: 0.9in, y: 0.35in))
+
+#head
+
+== 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 compilers, real-time systems, and formal methods.
+
+== Skills
+#let skills = [
+  *Proficient Languages*: C, JS/HTML/CSS, Rust, OCaml, Python, Java, Haskell, Lean 4, C\#, LaTeX, Typst
+  #linebreak()
+  *Platforms*: Ten years using GNU/Linux including Debian and Redhat, QEMU, Google Cloud
+  #linebreak()
+  *Technologies*: Buildroot, WebGL, Numpy/Pytorch/Sklearn, Matplotlib, Git, Gitlab/Github, PostgreSQL, Node, Slurm, POSIX IPC, Linux kernel subsystems
+  #linebreak()
+  *Soft Skills*: Technical Writing, Software Documentation, Presentation
+]
+#skills
+
+#let interline() = {
+  box(width: 1fr, inset: fontsize / 4, line(length: 100%, stroke: (thickness: fontsize / 10, dash: "loosely-dotted")))
+}
+
+== Experience
+#let experience = [
+  *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 protocols for inter-device communication on real-time hardware.
+  - Built graphical/textual interfaces (C++) for configuring test programs and device drivers.
+
+  *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.
+
+  *Teaching Assistant* #interline() #text(weight: "semibold")[James Madison University, 08/2022-12/2023]
+  - 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
+#let degrees = [
+  *B.S. Computer Science* (3.8 GPA) #interline() #text(weight: "semibold")[James Madison University, 12/2023]
+]
+#degrees
+#let courses = [
+  - Programming Languages, Compiler Construction
+  - Independent Study in Constructive Logic, Symbolic Logic
+  - Machine Learning, Applied Algorithms & Data Structures
+  - Parallel and Distributed Systems, 3D Graphics
+]
+#courses
+*Study Abroad, London, UK* #interline() #text(weight: "semibold")[JMU at Florida State Study Center, Summer 2023]
+#let cw = [
+  - Rigidity Theory
+  - Independent Study in Computational Geometry
+]
+#cw
+
+*Academic Awards*
+#let awards = [
+  - "President's List" #interline() #text(weight: "semibold")[JMU, 2023]
+  - "Alonzo Church Award for Theory" #interline() #text(weight: "semibold")[JMU CS Department, 2024]
+]
+#awards
+
+== Personal Projects
+#let projects = [
+  *Aasam* (on #underline([#link("https://hackage.haskell.org/package/aasam")[Hackage]])) is a Haskell implementation of the CFG-generation algorithm $#math.cal([M])$ from Annika Aasa's paper "Precedences in specifications and implementations of programming languages".
+  #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