Verification and Test for Deep Neural Networks
I am currently a research associate in the Departement of Computer Science of the University of Liverpool, where I investigate new abstraction techniques for the design of meaningful high-level test criteria for Deep Neural Networks. This work is conducted with Xiaowei Huang.
Our work on this topic is briefly referenced here; more details are on the page about DeepConcolic.
Control for Energy Efficient Circuit Designs
In my first years at Liverpool, I also studied the design of energy efficient circuits with Sven Schewe and Dominik Wojtczak. This work was funded by the EPSRC project Energy Efficient Control.
Papers on this topic are listed here.
Reactive Control Techniques for Clouds Management
Between June 2013 and November 2015, I was a member of the SUMO team at INRIA Rennes. Until June 2013, I was a postdoctoral fellow in the ERODS team (formerly known as the Sardes team โ LIG, INRIA Grenoble); I was also a member of the Ctrl-A working group. Both positions were related to the Ctrl-Green project, in which reactive control techniques are investigated for the design of autonomic systems (i.e., software whose role is to automate system administration tasks). In this context, my primary objectives were:
- to investigate new approaches for designing autonomic management systems; and
- to augment the body of discrete controller synthesis techniques in order to handle quantitative aspects of managed systems (e.g., power consumption, workloads), as well as to be able to enforce properties about such quantities.
Theses
PhD on Global Resource Control in Embedded Systems
I prepared my PhD in the Synchrone team at the Verimag laboratory, where I worked on the design of power-aware sofware for embedded systems.