Francesco Lavra
Software Engineer at Self-Employed
Greater Cagliari Metropolitan Area Italy
Summary
🤩
Rockstar🎓
Top SchoolFrancesco Lavra is a seasoned software engineer with 13 years of experience building low-level systems and cloud deployment tooling from the Greater Cagliari area. As a self-employed engineer after a long tenure at Telit, he focuses on back-end, systems and DevOps work, contributing to unikernel and cloud image tooling such as the notable nanovms/nanos and nanovms/ops projects. His contributions span kernel-level features (monotonic clocks, getrandom, volume mounting, dynamic linking) and cloud deployment refinements for Azure, showing comfort across systems programming and infrastructure. Trained as an electrical and electronics engineer, he combines hardware-aware discipline with pragmatic software delivery, often tackling subtle platform and networking edge cases that improve reliability and performance.
13 years of coding experience
7 years of employment as a software developer
Master of Science - MS, Electrical and Electronics Engineering, Master of Science - MS, Electrical and Electronics Engineering at Università degli Studi di Cagliari
Stackoverflow
839reputation
58kreached
24answers
0questions
Github Skills (36)
system-programming10
cloud-computing10
os-development10
microsoft-azure10
c1110
network-programming10
c1710
go10
azure10
devops10
operating-system10
filesystem9
displays9
multithreading9
memory-management9
Programming languages (6)
Github contributions (5)
nanovms/nanos
Apr 2019 - Jan 2023
A kernel designed to run one and only one application in a virtualized environment
Role in this project:
Back-end Developer & Systems Engineer
Back-end Developer & Systems EngineerContributions:455 reviews, 623 commits, 776 PRs in 3 years 9 months
Contributions summary:Francesco's contributions primarily focused on enhancing the Nanos kernel's system functionalities. Their work included fixing a field value for uptime, adding handling of a monotonic clock and implementing various utilities like getrandom, as well as a file operation to control file metadata, the support for multiple servers and setting the content length. In addition, the user added support for features such as volume mounting, dynamic linking to the kernel, and various socket options to enhance the performance of the network features.
kerneloperating-systemssecuritysandboxlinux
nanovms/ops
Sep 2020 - Jan 2023
ops - build and run nanos unikernels
Role in this project:Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:72 reviews, 34 commits, 67 PRs in 2 years 4 months
Contributions summary:Francesco's contributions focused on enhancing the `ops` project's cloud deployment capabilities, particularly for Azure. They implemented configurable location settings for Azure image and instance creation, allowing users to specify the deployment zone. Furthermore, they fixed an issue in the dynamic linking check for Linux executables and refactored functions for improved code organization. These changes involved modifications to both core functionality and infrastructure setup related to cloud deployments.
opsedge-computingoperating-systemsimagebuilderdevops
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.