Chinmayi Baramashetru

Postdoctoral Researcher, University of Kent, University of Oslo

Semantics • Type Systems • Formal Verification • Privacy

Email: c.baramashetru@kent.ac.uk & cpbarama@ifi.uio.no
🐙 GitHub 🎓 Scholar 🧬 ORCID 📘 DBLP

About

I am a postdoctoral researcher focused on the formal foundations of programming languages, user privacy, and the correctness of systems. My current research lies at the intersection of type systems, formal verification, and privacy-preserving programming. I am also exploring languages for modeling and simulating climate systems.

Publications

A Type System for Data Privacy Compliance in Active Object Languages, ASE Prog 2024 (submitted). [PDF] [DOI]
GreenhouseDT: An Exemplar for Digital Twins, SEAMS 2024. [PDF] [DOI]
A Policy Language to Capture Compliance of Data Protection Requirements, iFM 2022. [PDF] [DOI]
Active Object Languages: Current Research Trends, Springer 2024. [PDF] [DOI]
Privacy-Preserving Transactive Energy Systems, arXiv 2023. [PDF] [DOI]
Integrating Data Privacy Compliance in Active Object Languages, AOLA 2024. [PDF] [DOI]
Assuring GDPR Conformance Through Language-Based Compliance, IFIP 2023. [PDF] [DOI]

Talks & Presentations

iFM’22, NISK’21, AOL’23, IFIPSC’23, NWPT’21, ISOLA’22

Teaching

Teaching Assistant, Models of Concurrency (University of Oslo, 2022 & 2023)
Guest Lecture, Adaptive Methods for Data-Based Decision Making (UiO,2022 & 2023)
Guest Lecture, Programming Languages (University of Oslo, 2023)

Service

PC Member: AOL’23, PROPL’25

Reviewe and Artifact Evaluation: iFM’22, SEFM’21, F-IDE’21, TACAS’24, FM’24

AEC: FASE’23

Volunteer: POPL’24

Awards & Recognition

OPLSS'23 Fellowship

British Council 70th Anniversary Scholarship for Women