June Kelly
Engineering Manager at Sona (getsona.com)
City of Edinburgh, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolJune Kelly is an engineering manager and former senior software engineer with 13 years of experience building and shipping production web services from Edinburgh. A functional programming enthusiast comfortable in Elixir and Clojure, she combines hands-on backend development with team leadership and delivery focus. Her long tenure at Overleaf/ShareLaTeX shows deep expertise in collaborative web platforms, session and auth systems, and backend reliability work on a widely used LaTeX editor. She also contributes to developer tooling and UX through Emacs theming, reflecting an eye for both developer experience and polish. June writes with a formal, concise style and enjoys turning experimental hacks into stable production features. Her background in audio/video engineering and an MSc in Software Technology give her a practical, multidisciplinary approach to solving systems problems.
13 years of coding experience
13 years of employment as a software developer
Msc Computing: Software Technology with Network Management Computer Science, Msc Computing: Software Technology with Network Management Computer Science at Robert Gordon UniversityBachelor of Engineering (BEng) Audio and Video Technology, Bachelor of Engineering (BEng) Audio and Video Technology at Limerick Institute of Technology
Github Skills (22)
javascript10
back-end-development10
session-management10
redis10
color-scheme10
ui-theme10
emacs10
coffeescript9
wordpress-themes9
custom-theme9
authentication9
apidoc9
authorization9
api9
auth9
Programming languages (21)
Github contributions (5)
overleaf/web
Aug 2015 - Aug 2021
The web front end for Overleaf, a web-based collaborative LaTeX editor
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1563 commits, 147 PRs, 823 pushes in 6 years
Contributions summary:June's commits focus on modifications to a collaborative LaTeX editor's back-end, specifically related to user session management and integration with a Redis database. They refactored code to improve truth testing and ensure correct user session tracking by adding and modifying session expiration. They also updated the user authentication and authorization logic by integrating session information. Furthermore, the user made adjustments to the project's settings within the infrastructure.
latex-editorweb-front-endweb-basedoverleaflatex
overleaf/overleaf
Aug 2015 - Dec 2022
A web-based collaborative LaTeX editor
Role in this project:Back-end Developer
Back-end DeveloperContributions:20 reviews, 1932 commits, 23 PRs in 7 years 5 months
Contributions summary:June's contributions primarily focused on enhancing the backend functionality of the collaborative LaTeX editor. These improvements included adding an "expect404" option to the API request functionality, improving logging for subscription-related events, fixing a broken test in the RecurlyWrapperTests, and integrating a debug query string to the updateSubscription endpoint. In addition, they made changes to the code related to the handling of project tokens and user access.
latex-editorweb-basedlatexcollaborativeeditor
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.