DEV Community

Riccardo Bernardini profile picture

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)

Seven Year Club
Git
Top 7
Writing Debut
Six Year Club
Five Year Club
2 Week Community Wellness Streak
1 Week Community Wellness Streak
Four Year Club
Three Year Club
Two Year Club
One Year Club
Attaching notes to git branches

Attaching notes to git branches

82
Comments 21
3 min read

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.

Already have an account? Sign in
YaCaC (Yet another Comment about Comments)

YaCaC (Yet another Comment about Comments)

5
Comments 1
6 min read
FOSDEM 2022

FOSDEM 2022

Comments
1 min read
Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)

Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)

8
Comments 1
7 min read
Proving the correctness of a binary search procedure with SPARK/Ada

Proving the correctness of a binary search procedure with SPARK/Ada

6
Comments
9 min read
Watchdoging in Ada

Watchdoging in Ada

5
Comments
9 min read
Safer set-uid programs in Ada with the suid-helper library

Safer set-uid programs in Ada with the suid-helper library

9
Comments 3
5 min read
Ada for Webassembly

Ada for Webassembly

7
Comments
1 min read
My first experience with SPARK-Ada

My first experience with SPARK-Ada

8
Comments 4
6 min read
Reasons for loving Ada. #1: strong typing

Reasons for loving Ada. #1: strong typing

30
Comments 21
8 min read
Which programming language should you learn?

Which programming language should you learn?

8
Comments 1
5 min read
loading...