Detectó el gran cometa de 1683 ocho días antes que lo hiciera Johannes Hevelius.