PhD Theses

2024

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

S-Y. Lee / G. De Micheli (Dir.)  

Lausanne, EPFL, 2024. 

2023

Optimizing Quantum Compilers: Efficient and Effective Algorithms

F. Mozafari Ghoraba / G. De Micheli (Dir.)  

Lausanne, EPFL, 2023. 

2022

Practical Compilation of Quantum Programs

B. Schmitt Antunes / G. De Micheli; M. Soeken (Dir.)  

Lausanne, EPFL, 2022. 

2021

Hardware and Software Interfaces Design for Multi-Panel Electrochemical Sensors

M. I. Ny Hanitra / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2021. 

2020

Program compilation for large-scale quantum computers

G. Meuli / G. De Micheli; M. Soeken (Dir.)  

Lausanne, EPFL, 2020. 

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

E. Testa / G. De Micheli; M. Soeken (Dir.)  

Lausanne, EPFL, 2020. 

Wearable multi-electrode platform for ion sensing

F. Criscuolo / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2020. 

2019

Polarity-Controllable Devices and Circuits for Doping-Free 2D Electronics

G. V. Resta / G. De Micheli; P-E. J. M. Gaillardon (Dir.)  

Lausanne, EPFL, 2019. 

SAT-Based Exact Synthesis for Multi-Level Logic Networks

W. J. Haaswijk / G. De Micheli; M. Soeken (Dir.)  

Lausanne, EPFL, 2019. 

2018

3-Dimensional Ultrasound Imaging for Medical Telesonography: Algorithms and Architectures

A. M. N. A. Ibrahim / G. De Micheli; F. Angiolini (Dir.)  

Lausanne, EPFL, 2018. 

IoT Bio-Electronic Multi-Panel Device for On-line Monitoring of Anaesthesia Delivery

F. Stradolini / S. Carrara; G. De Micheli (Dir.)  

Lausanne, EPFL, 2018. 

2017

Circuit Design, Architecture and CAD for RRAM-based FPGAs

X. Tang / G. De Micheli; P-E. J. M. Gaillardon (Dir.)  

Lausanne, EPFL, 2017. 

Efficient Adaptive Hard Real-time Multi-processor Systems

S. Skalistis / G. De Micheli; J. Sifakis (Dir.)  

Lausanne, EPFL, 2017. 

Nanoscale Sensors for Ultrasensitive Label-free Detection of Cancer Biomarkers and Monitoring of Therapeutic Compounds

I. Tzouvadaki / S. Carrara; G. De Micheli (Dir.)  

Lausanne, EPFL, 2017. 

Ultra Selective and Sensitive Electrochemical Detection of Anti-Cancer and Anti-Viral Drugs by Optimized Nano-Bio-Sensors

N. Aliakbarinodehi / S. Carrara; G. De Micheli (Dir.)  

Lausanne, EPFL, 2017. 

2016

SiNW-based Biosensors for Profiling Biomarkers in Breast Tumor Tissues

F. Puppo / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2016. 

Robustness Analysis of Controllable-Polarity Silicon Nanowire Devices and Circuits

H. Ghasemzadeh Mohammadi / G. De Micheli (Dir.)  

Lausanne, EPFL, 2016. 

Multiple-Independent-Gate Field-Effect Transistors for High Computational Density and Low Power Consumption

J. Zhang / G. De Micheli (Dir.)  

Lausanne, EPFL, 2016. 

2015

New Data Structures and Algorithms for Logic Synthesis and Verification

L. G. Amarù / G. De Micheli; A. P. Burg (Dir.)  

Lausanne, EPFL, 2015. 

Polarity Control at Runtime

M. De Marchi / G. De Micheli (Dir.)  

Lausanne, EPFL, 2015. 

Carbon and Platinum Nanostructured Electrodes on Miniaturized Devices for Biomedical Diagnostics

I. Taurino / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2015. 

Implantable Multi-panel Platform for Continuous Monitoring of Exogenous and Endogenous Metabolites for Applications in Personalized Medicine

C. Baj-Rossi / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2015. 

Image processing on reconfigurable hardware for continuous monitoring of fluorescent biomarkers in cell cultures

J. M. Ghaye / S. Carrara; G. De Micheli (Dir.)  

Lausanne, EPFL, 2015. 

Integrated Electronics to Control and Readout Electrochemical Biosensors for Implantable Applications

S. S. Ghoreishizadeh / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2015. 

Signaling in 3-D integrated circuits, benefits and challenges

S. Rahimian Omam / G. De Micheli (Dir.)  

Lausanne, EPFL, 2015. 

2014

Speed/Power/Area Trade-offs for High Speed Inter Layer Data Transmission in 3D Stacked ICs

G. Beanato / Y. Leblebici; G. De Micheli (Dir.)  

Lausanne, EPFL, 2014. 

An Algorithmic Approach to Personalized Drug Concentration Predictions

W. You Dubout / G. De Micheli (Dir.)  

Lausanne, EPFL, 2014. 

2013

Remote Powering and Communication of Implantable Biosensors Through Inductive Link

J. Olivo / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2013. 

Multi-Terminal Am-Bipolar Memristive Devices for Emerging Logic and Memory Architectures

D. Sacchetto / Y. Leblebici; G. De Micheli (Dir.)  

Lausanne, EPFL, 2013. 

Design Methodologies and CAD for Emerging Nanotechnologies

S. K. Bobba / G. De Micheli (Dir.)  

Lausanne, EPFL, 2013. 

An implantable biosensor array for personalized therapy applications

A. Cavallini / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2013. 

2012

Electrochemical Biosensors for On-line Monitoring of Cell Culture Metabolism

C. Boero / G. De Micheli; S. Carrara (Dir.)  

Lausanne, EPFL, 2012. 

Modeling and Design Techniques for 3-D ICs under Process, Voltage, and Temperature Variations

H. Xu / G. De Micheli (Dir.)  

Lausanne, EPFL, 2012. 

Design Methods and Tools for Application-Specific Predictable Networks-on-Chip

C. Seiculescu / G. De Micheli; L. Benini (Dir.)  

Lausanne, EPFL, 2012. 

2011

Design of Thermal Management Control Policies for Multiprocessors Systems on Chip

F. Zanini / G. De Micheli (Dir.)  

Lausanne, EPFL, 2011. 

2009

Fabrication and design of nanoscale regular circuits

M. H. Ben Jamaa / G. De Micheli; Y. Leblebici (Dir.)  

Lausanne, EPFL, 2009. 

Implicit methods for modeling gene regulatory networks

A. Garg / G. De Micheli (Dir.)  

Lausanne, EPFL, 2009.