Riccardo Bernardini
I graduated in 1990 in Electrical Engineering and since then I have been in university, doing research in the field of DSP. To me programming is more a tool than a job.
Education
PhD (in DSP)
Badges
Writing Debut
Awarded for writing and sharing your first DEV post! Continue sharing your work to earn the 4 Week Writing Streak Badge.
Six Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least six years.
Five Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least five years.
2 Week Community Wellness Streak
Keep the community conversation going! Post at least 2 comments for 2 straight weeks and unlock the 4 Week Badge.
1 Week Community Wellness Streak
For actively engaging with the community by posting at least 2 comments in a single week.
Four Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.
Three Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
Two Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
One Year Club
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Skills/Languages
Currently I work mostly with three languages (four, if you count shell scripting): Ruby (for fast-and-dirty SW), matlab (for number crunching, I work in DSP, remember?), Ada (for everything else and long-lived SW). C, C++ and web stuff (PHP, JavaScript, ...) if I really must (e.g., C for kernel programming). In the past I also used: FORTRAN, Perl, PostScript (yes! :-)), Tcl/Tk, LISP.
Currently learning
Currently I am learning about SW certification (DO-178C & stuff) and Linux kernel programming. I also want to learn to doing formal checking with SPARK, the subset of Ada suited for formal checking (nothing to do with Apache, despite the name clash)
Currently hacking on
Besides my main job in DSP, I am writing a Linux driver, in C (kernel) and in Ada (userland). Why? For the fun of it.
I have also a project ("Terra Bruciata") about promoting the development of correct code (we Ada-ists have a soft spot for correctness :-). If you want to know more, check:
https://www.slideshare.net/RiccardoBernardini/terra-bruciata-an-open-source-initiative-for-software-correctness
I have also a launchpad page with mixed stuff: https://launchpad.net/~framefritti
Want to connect with Riccardo Bernardini?
Create an account to connect with Riccardo Bernardini. You can also sign in below to proceed if you already have an account.