Research Software Engineer
Current
Aug 2023 - Present
AeroLeads people directory · profile
Mac Malone Email & Phone Number
Lean PL/ITP R&D
at
Lean FRO
1 work email found
@unc.edu
2 phones found area 919
LinkedIn matched
✓ Verified August 2026
4 data sources
Profile completeness 100%
Who is Mac Malone? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Mac Malone is listed as Lean PL/ITP R&D at Lean FRO, based in Chapel Hill, North Carolina, United States. AeroLeads shows a work email signal at unc.edu, phone signal with area code 919, and a matched LinkedIn profile for Mac Malone.
Mac Malone previously worked as Research Software Engineer at Lean Fro and Graduate Teaching Assistant at University Of North Carolina At Chapel Hill. Mac Malone holds Doctor Of Philosophy - Phd, Computer Science from University Of North Carolina At Chapel Hill.
Company email context
Email format at Lean FRO
This section adds company-level context without repeating Mac Malone's masked contact details.
{first}_{last}@unc.edu
86% confidence
AeroLeads found 1 current-domain work email signal for Mac Malone. Compare company email patterns before reaching out.
Profile bio
About Mac Malone
I am a Ph.D. in Computer Science from the University of North Carolina at Chapel Hill. I work as a Research Software Engineer at Lean FRO, LLC, the non-profit research and development team behind the Lean 4 theorem prover and general-purpose programming language. Prior to the formation of the LLC, I worked as an intern at Microsoft Research on Lean 4. I proposed, created, and maintain Lake, the package manager and build system for Lean 4.At Chapel Hill, I worked in Dr. Fabian Monrose's computer security group, where my focus was on education and teaching students through gamification. I have published and presented papers as 1st author at ACM SIGCSE, ITiCSE, SIGITE, and IEEE ICST. My primary work was researching and developing an online gamified learning platform called Riposte to teach cybersecurity and other computer science topics.Outside of computer science, I also have an interest in philosophy and creative writing, and I studied both during my undergraduate career. My greatest accomplishment in that area has been having a play I wrote performed live at my university during the selective Long Story Shorts festival hosted by the Writing for Screen and Stage program.
Listed skills include Computer Science, Assistant Teaching, Programming, Operating Systems, and 36 others.
Current workplace
Mac Malone's current company
Company context helps verify the profile and gives searchers a useful next step.
8 roles
Mac Malone work experience
A career timeline built from the work history available for this profile.
Graduate Teaching Assistant
Assisted Dr. John Majikes with his Files & Databases course, advising him on how to gamify his exam reviews, and proctoring said reviews and exams, and mentoring students. Finished education-related research in preparation for my PhD dissertation.
Aug 2022 - May 2023
Research Intern - Rise
Served on Lean 4’s research and development team under the supervision of Leonardo de Moura, Lean 4’s inventor, discussing present challenges and future ideas for the project. Further developed my package manager and build system, Lake, adding support for cloud builds, multiple, arbitrary build targets, and precompiled modules (a feature which allows compiled symbols to be used by the Lean interpreter). Also interacted heavily with the community, addressing questions, feature requests, and bug reports.
May 2022 - Aug 2022
Graduate Research Assistant
Surveyed relevant papers from top conferences and presented interesting findings to spur future research efforts. Designed and implemented various projects within the computer security group, including a chat bot that aims to discover and understand telephone scams.
May 2018 - May 2022
Undergraduate Research Assistant
Assisted Dr. Fabian Monrose in building a browser-based game that teaches reverse engineering and computer security. Wrote the full stack, utilizing NodeJS for the backend, Webpack for the frontend, and a WebSocket to drive the client/server communication within the game.
Jun 2017 - May 2018
Technical Intern
Worked with the Customer Experience Testing team to transform a set of basic web pages for an internal Tips & Tricks site into a true web application. Wrote the full stack, utilizing Laravel/PHP for the backend, Vue.js and Webpack for the front end, and Git with GitLab CI/CD for version control and continuous deployment.
May 2017 - Aug 2017
Undergraduate Learning Assistant
Assisted Dr. Henry Fuchs and Dr. Anselmo Lastra by creating and grading problem sets, quizzes, and exams. I also held office hours wherein I provided mentoring for students struggling with the course concepts.
Aug 2016 - Dec 2016
Undergraduate Learning Assistant
Assisted Dr. Ketan Mayer-Patel by holding office hours for students wherein I provide mentoring for those struggling with Computer Science. I also helped with grading exams and held special class sessions where we further assisted students.
Jan 2016 - May 2016
3 education records
Mac Malone education
Doctor Of Philosophy - Phd, Computer Science
Master Of Science - Ms, Computer Science
Bachelor Of Science - Bs, Computer Science,, 3.8
FAQ
Frequently asked questions about Mac Malone
Quick answers generated from the profile data available on this page.
What company does Mac Malone work for?
Mac Malone works for Lean FRO.
What is Mac Malone's role at Lean FRO?
Mac Malone is listed as Lean PL/ITP R&D at Lean FRO.
What is Mac Malone's email address?
AeroLeads has found 1 work email signal at @unc.edu for Mac Malone at Lean FRO.
What is Mac Malone's phone number?
AeroLeads has found 2 phone signal(s) with area code 919 for Mac Malone at Lean FRO.
Where is Mac Malone based?
Mac Malone is based in Chapel Hill, North Carolina, United States while working with Lean FRO.
What companies has Mac Malone worked for?
Mac Malone has worked for Lean Fro, University Of North Carolina At Chapel Hill, Microsoft, and Sas.
How can I contact Mac Malone?
You can use AeroLeads to view verified contact signals for Mac Malone at Lean FRO, including work email, phone, and LinkedIn data when available.
What schools did Mac Malone attend?
Mac Malone holds Doctor Of Philosophy - Phd, Computer Science from University Of North Carolina At Chapel Hill.
What skills is Mac Malone known for?
Mac Malone is listed with skills including Computer Science, Assistant Teaching, Programming, Operating Systems, Ruby, Python, Html, and Css.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Mac Malone you were looking for.
View similar profiles
