Information for students, faculty and staff regarding COVID-19. (Updated: 15 April 2021)
Research project The project focuses on the theory and implementation of formal systems generating and transforming complex data structures such as trees, graphs, and pictures.