Alfredo Miranda
Senior Software Engineer at Signal AI
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolAlfredo Miranda is a senior software engineer based in London with 12 years of experience building backend systems and user interfaces using JavaScript/TypeScript, Node.js, React, and Clojure. He has shipped production services at organizations ranging from EMBL-EBI to Signal AI, pairing data-aware backend design with interactive front-end visualizations (D3.js) and cloud deployments on GCP. Comfortable across GraphQL/REST and PostgreSQL, he blends strong problem-solving skills—demonstrated by a long-running CodingBat Java solutions repo—with pragmatic engineering for research and commercial products. Alfredo’s background in electrical engineering and an MS in computer science inform a systems-thinking approach to performance and scalability. Colleagues value his ability to move between low-level algorithmic work and high-level product concerns, and he often surfaces data insights through thoughtful UI design.
12 years of coding experience
7 years of employment as a software developer
Bachelor of Science, Electrical Engineering, Bachelor of Science, Electrical Engineering at The University of Texas at AustinHarvard Extension SchoolMaster of Science, Computer Science, Master of Science, Computer Science at University of North Carolina at Chapel Hill
English
Stackoverflow
275reputation
57kreached
0answers
2questions
Github Skills (15)
javas10
algorithms10
solve10
java10
solution10
parallel-arrays9
typed-array9
multidimensional-arrays9
arrayobject9
dynamic-array9
strings9
recursion8
udp6
sendto6
iperf6
Programming languages (6)
Github contributions (5)
mirandaio/codingbat
Nov 2013 - Jan 2014
Solutions to CodingBat problems
Role in this project:
Back-end Developer
Back-end DeveloperContributions:112 commits, 1 push in 1 month
Contributions summary:Alfredo primarily contributed solutions to CodingBat problems. Their work involved implementing Java methods to solve programming challenges, focusing on various logical operations, string manipulations, and array processing. The commits added code for a diverse range of problems within the Warmup-1, Warmup-2, Logic-2, String-1, String-2, String-3, Array-1, Array-2, Array-3, AP-1, and Recursion-1 sections. This demonstrates a strong ability to solve coding problems with Java.
cppleetcodecodingbatproblemscodingbat-solutions
mirandaio/leetcode
Dec 2014 - Feb 2015
Contributions:106 commits, 74 pushes, 1 issue in 1 month
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.