Skip to content

Instantly share code, notes, and snippets.

@kammitama5

kammitama5/KM_PL.md

Last active December 11, 2019 20:54
Show Gist options
  • Save kammitama5/5ad1bee73a6dea3e5e0f081a9a14b9f8 to your computer and use it in GitHub Desktop.
Save kammitama5/5ad1bee73a6dea3e5e0f081a9a14b9f8 to your computer and use it in GitHub Desktop.
Download ZIP
PL-focused resume
Raw
KM_PL.md

Krystal Maughan

krystal.maughan@gmail.com

Github: https://github.com/kammitama5

Blog: https://kammitama5.github.io/

https://blog.coursera.org/learner-story-film-architecture-python-programming/

Objective: Matriculating in 2019 to a PhD Programme with a focus on Programming Language Theory (with an emphasis on Correctness)

SKILLS:

Programming Languages:

  • Python, Haskell, C++, Rust, Julia, Racket, PureScript

Build Tools/ Packages:

  • Stack /Cabal (Haskell), Cargo (Rust), Pandas (Python)

Other:

  • Git/Github, LaTeX, Mathematical Notation, Markdown, Jupyter iPython Notebook, Mathematica

Databases:

  • SQL, PostgreSQL, BigQuery

Systems:

  • Linux, Windows

EXPERIENCE

Google Summer of Code 2018

Haskell.Org Mentorship (2018)

  • Worked on Open Source Project, CodeWorld, as an Open Source contributor, under mentors Chris Smith (Google) and Gabriel Gonzalez (Awake Security) for 40 - 65 hours a week.
  • Project involved creating better visual debugging tools for CodeWorld using type inference and nesting of type primitives.
  • Project used Haskell, JavaScript, with code generation of HTML using Haskell.
  • Refactored code and made daily/weekly pull requests, reviewed by mentors remotely (mentors located in Silicon Valley).
  • Used ghcjs and cabal, git.
  • 1 of 17 chosen by Haskell.org / Google

Mozilla: Increasing Rust's Reach 2018

Rust CLI Mentorship (2018)

  • Worked with Aaron Power for 3 to 5 hours a week on command-line tooling in Rust
  • Project used Rust, working remotely (mentor located in Dublin)
  • 1 of 14 chosen for summer 2018

Internet Brands

Testing Automation Internship (2018)

  • Worked part-time (29 hours a week) learning TestRails, JIRA, and Confluence and the automation process
  • Automation mainly in Python, with frameworks such as Cucumber, Selenium, Robot Framework
  • training in Confluence and Jira
  • Worked locally/ on-site with intention of becoming a stronger developer with some automation experience who can identify edge cases and write correct code with less likelihood of bugs.

Other Past Working Experience

Technician (2008-2018)

  • Worked with high speed cameras (up to 1 million frames per second, military grade)
  • Worked with high speed lighting systems (up to 1 million watts of light, long-arc xenon, plasma technology)
  • Responsible for small repairs and (electronics) trouble-shooting with clients.

EDUCATION:

Racket School - Summer Racket School, Salt Lake City, Utah

  • Working with Programming language Racket and preparation for PhD programme
  • Exploring Language Challenges and areas for Programming Research
  • taught by Bobby Findler, Matthias Felleisen, Jay McCarthy.

PLMW Programming Languages Mentorship Workshop (2018) - Programming Languages Design and Implementation.

  • Mentorship for students researching programming languages
  • Advice on career and how to choose a PhD research topic

Glendale Community College (Coursework): Undergraduate Research (year-long course : Fall 2018-Spring 2019), Advanced Data Structures (C++ : Fall 2018), Discrete Mathematics (C++: Fall 2018), Concepts of Programming Languages, Advanced C++ (C++), Data Structures (C++), Intro to Algorithms (Java), Programming in C/C++, SQL (Oracle SQL), Intro to Robotics(C), Advanced Soldering Technology, Intro to Programming with Java, Electronic Circuits, Solid State Devices

Coursera: Machine Learning/ Data Visualization (2013-present)

EDUCATION:

Glendale Community College (2015-2018), Los Angeles

  • Intention to transfer to a PhD programme in Programming Languages / Software Verification

Cornell University (2008), Ithaca, NY

Ithaca College (2004-2008), Ithaca, NY

Spacecraft Flight Software Workshop 2017 (NASA workshop held at John Hopkins Applied Laboratory), Laurel, MD

NCAS (NASA Community College Aerospace Scholars 2016 (NASA workshop held at Jet Propulsion Laboratory), Pasadena, CA

AWARDS

Highlights:

  • FSW (Flight Software Workshop) at John Hopkins Applied Physics Laboratory (workshop in conjuntion with JHU APL and NASA)
  • NCAS (NASA Community College Aerospace Scholars) NASA Aerospace Scholar (with on-site portion at Jet Propulsion Lab, programming a robot)
  • Featured by Coursera as profile for auto-didactic student in Data Science/ Python specialization (2017)
  • Featured on Django Girls' Impact Report (2017)
  • Top 500 on CodeWars
  • Recepient of Who's Who Award 2008
  • Best BFA Award 2008 (as chosen by Faculty)
  • Evaluation Member for Clojure Grant Committee (for Clojure West 2017)

Scholarships/ Grants:

  • RustConf 2018 (via Increasing Rust's Reach 2018)
  • PLMW (PLDI) 2018 (Programming Languages Mentorship Workshop Scholarship) (Philadelphia, Pennsylvannia)
  • Racket School (2018) (Fully Funded) (Salt Lake City, Utah)
  • OPLSS partial grant/ scholarship for Summer School (Oregon Programming Languages School) 2018 (Eugene, Oregon) - declined
  • Google Summer of Code 2018 Scholar (via Haskell.org)
  • Women Who Code Google IO Reimbursement Stipend 2018
  • EARLy career scholarship, R Data Science EARL conference 2018 (Seattle, Washington) - declined
  • Udacity Bertelsmann Data Science Challenge Scholarship (2018/ 2019) - declined
  • ngGirls Attendee: Angular workshop at Google HQ (2018)
  • Clojure/Conj 2017 (Baltimore, Maryland)
  • Clojure/Conj 2016 (Austin, Texas),
  • Clojure West 2017 (Portland, Oregon),
  • LambdaConf 2017 (Boulder, Colorado),
  • LambdaConf 2018 (Boulder, Colorado),
  • StrangeLoop 2017 (St. Louis, Missouri),
  • AT and T Aspire to Tech 2017 winner,
  • Google/Udacity 2017 Scholarship winner,
  • Women in Leadership / Peggy Williams Scholarship 2008,
  • Presidential Merit Scholarship(2004-2008),
  • AccelerateU LinkedIn (LA) Recruiting Event Applicant/Attendee (2017),
  • Chrome Dev Summit 2016/2017,
  • Google I/O student Grant 2016/2017/2018,
  • Google International Women's Day Summit (Los Angeles) 2018,
  • SCNA (Software Craftmanship America Conference) - 2017 Grant recipient
  • Women Who Code Cloud Guru Full-Year Scholarship (access to AWS and Cloud training and certification)

Volunteer:

  • SPLASH (Systems Programming Languages and Applications), 2018
  • PLDI (Programming Languages Design and Implementation), 2018
  • ICFP (ACM SIGPLAN International Conference on Functional Programming), 2018
  • MarinaFest (volunteer at booth for WSASMB: Women's Sailing Association of Santa Monica Bay), 2018
  • SCALE (Southern California Linux Expo) (2017, 2018)
  • POPL (Principles of Programming Languages) (2018)
  • Layer-One Hacker conference (2017)
  • Hackaday Superconference (2016), San Francisco

Mentorship:

  • Udacity Mentor (2017-present): Assisting students with Intro to Programming coursework (Python), remote

Talks

  • Tech Talk "Expressive Meaning: Denotational Semantics" for Learn Teach Code (3rd Anniversary), 2018
  • Google Developers Group (Los Angeles), Google IO 2018 recap talk (5/31/18 at GDG Los Angeles)

Interests/Groups:

  • member of Null Space Labs (hackerspace in Los Angeles)
  • member of LA PureScript Meetup
  • member of several meetups and participant of workshops such as Rails Girls LA (2016), Django Girls (2017), Lambda Ladies (2017)
  • member of Women Techmakers Silicon Valley Chapter (early career)
  • member of SVROS (Silicon Valley Robot Operation System)

Other Activities/ Hobbies:

  • WSASMB (Womens' Sailing Association of Santa Monica Bay)
  • boat racing (30' to 50' sailboats)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment