Heule, Kullmann y Marek son tres matemáticos que han resuelto con uno de los superordenadores de la Universidad de Texas uno de los problemas que desde hace décadas ha estado eludiendo a los expertos de los números: una cuestión combinatoria sobre las llamadas ternas pitagóricas booleanas (más conocidas por ser del tipo a²+b²=c²). Lo más interesante es que para resolverlo utilizaron la potencia de un superordenador: un clúster de 800 procesadores, trabajando ininterrumpidamente durante 48 horas recopiló la solución en un archivo de 200 TB.

La aplicación web VentuSky se ha desarrollado en la empresa, InMeteo, en colaboración con Marek Mojzík y Martin Prantl. Es una empresa con sede en la República Checa (Pilsen). La empresa se centra en la predicción del tiempo y la visualización de datos meteorológicos.