-
Ia supernovae, Cepheid variables, etc) and geometric calibration with HST, JWST, Gaia, Rubin, Roman and future facilities. • Development of novel methods of measurement and to reduce systematic
-
methods for large astronomical datasets Human-AI collaboration frameworks for scientific discovery Large-scale applications to observational data from current and future surveys Professor Wandelt is an
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions