Informal Systems
Daniel Cason began their work experience in 2019 as a Research Assistant at USI Università della Svizzera italiana. Daniel held this position from May 2019 until February 2023. In 2021, they joined Informal Systems as a Research Engineer, and their employment is ongoing.
Daniel Cason completed their education in a chronological order. From 2005 to 2009, they attended the Universidade Federal da Bahia, where they earned a Bachelor's degree in Computer Science. Following this, they pursued further studies and from 2010 to 2013 they studied at the Universidade Estadual de Campinas, obtaining a Master's degree in Computer Science. Lastly, from 2012 to 2017, they continued their academic journey at the same institution, the Universidade Estadual de Campinas, where they achieved a Doctor of Philosophy (PhD) degree in Computer Science.
This person is not in any offices
Informal Systems
Informal Systems offer research and development at the intersection of formal verification and distributed systems.