Leif Eriksson

Questo studio si concentra su variabili quantificate esistenzialmente in QBF, puntando a soluzioni efficienti.

OpenMetBuoys forniscono dati fondamentali sulle interazioni tra ghiaccio marino e onde nella Zona di Ghiaccio Marginale.