lecturer @ FMI contact: Faculty of Mathematics and Computer Science University of Bucharest Str. Academiei 14 București 010014 România room 209 firstname.lastname@example.org teaching: 2022/2023 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! : member of LOS and ILDS.
claudia chiriță: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 Uncanny Order a multimedia art project @ qolony.eu : writing for Dilema Veche. : 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