DEV Community

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

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

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

Reactions 5 Comments
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

Reactions 6 Comments
9 min read
Watchdoging in Ada

Watchdoging in Ada

Reactions 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

Reactions 9 Comments 3
5 min read
Ada for Webassembly

Ada for Webassembly

Reactions 5 Comments
1 min read
My first experience with SPARK-Ada

My first experience with SPARK-Ada

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

Reasons for loving Ada. #1: strong typing

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

Which programming language should you learn?

Reactions 8 Comments
5 min read
loading...
Forem Open with the Forem app