Philipp Czerner

Novos métodos visam simplificar as provas interativas na ciência da computação, melhorando a eficiência.

Diagramas fracamente acíclicos ajudam os computadores a navegar em dados complexos de forma eficiente.

Descubra como os ninjas se comunicam e decidem ações importantes em um ambiente dinâmico.