Registered user since Mon 5 Jan 2015
I have been working on adaptive systems for the last couple of years. Currently I am approaching adaptive systems from programming language perspective, working on development (programming language design), verification (partial, and incremental techniques), and application (smart environments, CPS, and IoT) of these systems.
Committee Member in Program Committee within the COP 2022-track
|Show activities from other conferences|