claudia chirita:

university teacher contact: School of Informatics University of Edinburgh 11 Crichton Street Edinburgh EH8 9AB Scotland room 5.03 AT cchirita@ed.ac.uk teaching: 2020/2021 Introduction to Computation 2020/2021 Agents and Reasoning research: : semantics first. i study logics, but no logic in particular. now curious about modal & hybrid dynamic logics. : algebraic specification is not dead. : logic programming is still useful. AI, come together! bonus track: i work as an illustrator & graphic designer. i play percussion instruments. i love free jazz. i shoot on 35mm film. currently: : translating Surreal Numbers. : working on a graphic novel. causes: use open-source software! redecentralize and switch.software! tapirs are great. _,.,.__,--.__,-----. ,"" ')) `. ,' e )) ( .-'__, , `~` `-\ /._____,/ / | | ) ( ( ; | | | / / / / 27th of April
accessibility