Deild:  


Tarmo Uustalu, Professor

School:School of Technology / Department of Computer Science 
Location:V220 
Phone:5996495   Mobile: 8256495 
Email:tarmoru.is 
Website:https://www.ru.is/haskolinn/starfsfolk/tarmo
http://www.ru.is/faculty/tarmo

RU teaching record

2024-3T-733-ICAPIntroduction to computer-assisted proof
2024-1T-899-MSTHMS Thesis
2023-3T-899-MSTHMS Thesis
2023-1T-501-FMALProgramming Languages
2022-3T-999-PHDTPhD Thesis in Computer Science
2022-3T-743-PLSASemantics with Applications
2022-1T-999-PHDTPhD Thesis in Computer Science
2022-1T-501-FMALProgramming Languages
2022-1T-911-PRDEProposal Defence
More...