/p> --> PhD candidates : if you are interested in formal verification or quantum computing / programming do get in touch.
“ Ma quanto più m’interno in considerar la vanità de i discorsi popolari, tanto più gli trovo leggieri e stolti .” Galileo Galilei (Dialogo dei Massimi Sistemi, 1632).
/p> --> PhD candidates : if you are interested in formal verification or quantum computing / programming do get in touch as we have PhD studentships available .