Victor Cacciari Miraldo

Hi, I’m Victor, it is nice to meet you! I’m passionate about Functional Programming and Formal Verification. I believe formal methods and functional programming are essential in building software that is reliable, maintainable and reusable. I am currently working at Channable as a software engineer. My work ranges from building to modelling and verifying software from various domains.


You can reach me at: