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.
|LASSY 2018||Committee Member in Organizing Committee within the LASSY 2018 (cancelled)-track|
|PASS 2018||Committee Member in Program Committee within the PASS 2018-track|
|Show activities from other conferences|
View general profile