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:


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.

Master Thesis & Various Internship Reports