lecturer @ FMI contact: Faculty of Mathematics and Computer Science University of Bucharest PBT, Bd. Iuliu Maniu 15G București 061075 România room 409 claudia-elena.chirita@g.unibuc.ro teaching: 2025/2026 Functional Programming 2025/2026 Web Technologies 2025/2026 Fundamentals of Programming Languages 2025/2026 New Media 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