Justin Hsu

Uma olhada em como os modelos DIBI analisam as relações entre eventos.

Novas técnicas melhoram o corte de bolo sem inveja entre vários participantes.

Um novo sistema de tipos melhora a análise de erros de arredondamento em cálculos numéricos.