Daniele Filaretti

Senior R&D Engineer at Daniele Filaretti Music

Emilia-Romagna, Italy
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
Daniele Filaretti is a Senior R&D Engineer with 13 years of experience merging rigorous computer science research and hands-on software engineering, currently leading R&D at Veridise from Italy's Emilia-Romagna. He holds a PhD in Computer Science from Imperial College London and has shipped production systems across domains including embedded audio, blockchain, and full‑stack Clojure(Script). Daniele balances technical depth (Haskell, C++, C#, .NET, embedded systems) with creative practice as a signed trance producer and label-backed DJ, bringing a rare blend of signal-processing intuition to software design. His background includes roles at Runtime Verification, Solid State Logic, and contract work for audio and music-tech firms, reflecting a specialty at the intersection of audio, research and robust engineering. Notably, he moves comfortably between academic rigour and product-focused delivery, often leveraging domain knowledge from music production to influence engineering trade-offs.
code13 years of coding experience
job13 years of employment as a software developer
bookUniversity of Milan
bookDoctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Imperial College London
languagesEnglish, Italian
stackoverflow-logo

Stackoverflow

Stats
46reputation
2kreached
2answers
0questions
github-logo-circle

Github Skills (69)

semantics10
solidity9
symbolic-execution-engine9
hackage9
symbolic-execution9
agda9
servant9
smart-contracts9
solc9
synth8
music8
midi8
haskell8
specification8
ethereum8

Programming languages (10)

TypeScriptJavaC++ShellCoqMaxJavaScriptHaskell

Github contributions (5)

github-logo-circle
dfilaretti/WeirdDrums

Nov 2018 - Apr 2019

Open Source Drum Synth plugin
Contributions:218 commits, 8 PRs, 160 pushes in 5 months
synthesizerdrummidic-plus-plusmusic
dfilaretti/KPHP

Sep 2014 - Jul 2015

Contributions:20 commits, 1 PR, 52 pushes in 10 months
php-5phpformalsemanticsexecutable
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
Daniele Filaretti - Senior R&D Engineer at Daniele Filaretti Music