Alexandra Silva

O NetKAT simplifica a criação e verificação de regras de rede pra uma gestão mais eficiente.

Uma imersão profunda em programação probabilística pra lidar com incertezas em várias aplicações.

Saiba por que a terminação de programas é crucial para a programação de computadores.

Descubra como a randomização pode melhorar a eficiência da programação concorrente.