David Quinn Alvarez
Promovendus
- Naam
- D.Q. Alvarez MSc
- Telefoon
- 071 5272727
- d.q.alvarez@liacs.leidenuniv.nl
Ik gebruik algebraïsche, coalgebraïsche en categorische technieken om leeralgoritmen te bestuderen en te ontwerpen voor eindige-toestandsautomaten, wiskundige modellen die bestaan uit een eindige verzameling toestanden en overgangsrelaties die het gedrag van het systeem bepalen.
Zie ook
Promovendus
- Faculteit der Wiskunde en Natuurwetenschappen
- LIACS
- Theory