Zeer dankbaar om een wiskundige sponsoring van het Harmonic-team te ontvangen ter ondersteuning van mijn onafhankelijke formele methoden/ML-onderzoek!