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.

Udine, Italy Joined on Nov 22, 2017 https://www.linkedin.com/in/riccardobernardini/

Education

PhD (in DSP)

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 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)

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

9 posts published

154 comments written

1 tag followed