lecturer @ FMI contact: Faculty of Mathematics and Computer Science University of Bucharest Str. Academiei 14 București 010014 România room 209 claudia-elena.chirita@unibuc.ro teaching: 2024/2025 Functional Programming 2024/2025 Analysis and Modelling of Software Systems 2024/2025 Web Technologies 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!claudia chiriță:
bonus track: i work as an illustrator & graphic designer. i do multimedia art. i play percussion instruments. i love free jazz. i shoot on 35mm film. currently: : working on a graphic novel. : translating Surreal Numbers. : looking like this. causes: use open-source software! redecentralize and switch.software! tapirs are great. _,.,.__,--.__,-----. ,"" ')) `. ,' e )) ( .-'__, , `~` `-\ /._____,/ / | | ) ( ( ; | | | / / / / 27th of April: publications +
dblp profile phd thesis selected papers . Dynamic Reconfiguration via Typed Modalities . Logical Support for Bike-Sharing System Design . Many-valued Institutions for Constraint Specification . Free Jazz in the Land of Algebraic Improvisation . An Institutional Foundation for the K Semantic Framework