Eulogy for Professor Mirka Miller (1949-2016). - Valentina Badia; Hebert Pérez-Rosés; Joe Ryan 001 (Math. Comput. Sci., 2018)