Imperial College London

MrQuentinCorradi

Faculty of EngineeringDepartment of Electrical and Electronic Engineering

Research Postgraduate
 
 
 
//

Contact

 

q.corradi22

 
 
//

Location

 

Electrical EngineeringSouth Kensington Campus

//

Summary

 

Summary

PhD student under the supervision of John Wickerson.

Interested in many thing related to hardware and formal verification.

Currently working on fuzzing (high-level) synthesisers.


I am not a smartphone user, if you know of a phone with full physical keyboard, please let me know.


My text editor is nvi2, my OS is Arch Linux (because of the available software, otherwise I would use FreeBSD) and my favorite programming language are Python as a calculator and scripting language (over shell, bc, dc), OCaml to write intellectually satisfying code, C for writing low-level code and XeLaTeX for document composition. I am testing Rust, Zig and Haskell at the moment and did not make my opinion on those.