Daniele Nantes-Sobrinho

Um jeito de garantir a correção do software por meio de análise estruturada.

Explorar o papel da álgebra nominal na gestão de nomes e ligações na programação.

Entendendo a não-determinismo tipado e seu impacto na gestão de recursos em computação.