Krystal Maughan

PhD Candidate (Fall 2019 - Spring 2026)

San Francisco Bay Area United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Krystal Maughan is a PhD candidate in Computer Science based in the San Francisco Bay Area with a decade of experience at the intersection of pure mathematics, quantum computing, and cryptography, specializing in isogeny-based, quantum-safe cryptography. She combines deep theoretical training in arithmetic geometry, elliptic curves and algebraic/spectral graph theory with practical software chops—contributing to Haskell projects like Google CodeWorld and building tooling for debugging and UI improvements. Her background includes research internships at Visa and Simons Institute participation in quantum algorithms workshops, plus diverse applied experience from fintech Haskell work to blockchain and open-source cryptography fellowships. Notably, she deliberately avoids AI research while using machine learning as a mathematical tool, and she brings a creative, interdisciplinary perspective rooted in both a BFA in film/video and extensive math-focused study.
code10 years of coding experience
job2 years of employment as a software developer
bookCertfication (typically with Distinction) data science Python mathematical logic, Certfication (typically with Distinction) data science Python mathematical logic at Coursera
bookN/A Post-quantum Cryptography, N/A Post-quantum Cryptography at SLMath aka Mathematical Sciences Research Institute
bookStrange Loop Intro to Tensorflow Workshop via Project Alloy Grant, Strange Loop Intro to Tensorflow Workshop via Project Alloy Grant at Strange Loop (2017)
bookProgramming Languages Research, Programming Languages Research at RacketLang
bookData Science, Data Science at Data Camp
bookOne Semester-Exchange Programme, One Semester-Exchange Programme at Cornell University
bookBIRS (Banff International Research Station)
bookGoogle Los Angeles Onsite Training (Google Cloud)
bookNanoDegree : Data Analyst Intro to Programming Front-End Development Data Analyst Intro to Programming Front End Development, NanoDegree : Data Analyst Intro to Programming Front-End Development Data Analyst Intro to Programming Front End Development at Udacity
bookComputer Science, Computer Science at Glendale Community College
bookAlgebra and Number Theory, Algebra and Number Theory at Cornell University Number Theory Conference: Cornell Department of Mathematics
bookSimons institute (Berkeley)
bookMostly Electronics Engineering Software Architecture etc, Mostly Electronics Engineering Software Architecture etc at Continuing Education Center via Design News
bookCertificate in Programming for Correctness Mathematics and Computer Science, Certificate in Programming for Correctness Mathematics and Computer Science at edX
bookIPAM
bookBachelor of Fine Arts - BFA Film/Video and Photographic Arts, Bachelor of Fine Arts - BFA Film/Video and Photographic Arts at Ithaca College
bookCertificate of Completion Google Cloud Data Engineering, Certificate of Completion Google Cloud Data Engineering at Google Cloud On-Board
bookN/A Data+Ethics+Technology+Surveillance, N/A Data+Ethics+Technology+Surveillance at School for Poetic Computation
bookEncrypted Search Workshop (one week duration), Encrypted Search Workshop (one week duration) at ICERM (Institute for Computational and Experimental Research in Mathematics)
bookCombination of Architecture Engineering and Processing Computational Architecture Dynamic Architecture Robotics Projection Mapping, Combination of Architecture Engineering and Processing Computational Architecture Dynamic Architecture Robotics Projection Mapping at Somewhere Something
bookEngineering Architecture Welding Metalworking, Engineering Architecture Welding Metalworking at Pasadena City College
bookPure mathematics research workshop (two week duration) Mathematics and Computer Science, Pure mathematics research workshop (two week duration) Mathematics and Computer Science at Mathematical Sciences Research Institute
bookSpacecraft Flight Software Workshop, Spacecraft Flight Software Workshop at JHU APL (John Hopkins University Applied Physics Lab) and NASA
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Vermont
bookBIRS
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (8)

functional-programming10
codeworld10
functional-programming-language10
haskell10
ghcjs10
ui-design9
debug9
debugging9

Programming languages (13)

LeanC++RustHTMLPerlJupyter NotebookRDhall

Github contributions (5)

github-logo-circle
google/codeworld

Apr 2018 - Aug 2018

Educational computer programming environment using Haskell
Role in this project:
userFull-stack Developer
Contributions:31 commits, 24 PRs, 139 comments in 3 months
Contributions summary:Krystal made significant contributions to the `codeworld` repository, primarily focusing on enhancing the API and user interface components. They refactored and extended core functionalities related to drawing, specifically by introducing new picture constructors and splitting existing ones. The user also addressed several bugs and made improvements to the debugging and control features of the application, adding features such as a speed slider, and zoom and pan functionality. Furthermore, they optimized the codebase by incorporating precision improvements and various UI improvements.
ghcjsfunctional-programmingprogramming-environmenthaskellfiddle
kammitama5/my_db_repo

Jun 2016 - Oct 2019

Contributions:1 PR, 1 push, 1 branch in 3 years 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial