Tim Dwyer

GeckoGraph simplifie la compréhension des types polymorphes grâce à une représentation visuelle.

Goanna améliore le rapport d'erreurs et le débogage pour les programmeurs Haskell.

Un aperçu de comment les preuves visuelles améliorent la validation des propriétés des graphes.

La technologie AR transforme les inspections de sécurité pour les travailleurs du bâtiment, améliorant la sécurité et l'efficacité.