1. Derivation of quantum logic identities: Boolean logic identities form the basis for conventional logic optimization. Quantum logic identities are similarly needed for quantum logic optimization. The project involves derivation of logic identities for three qubits or more.
2. Novel FinFET circuits and architectures: The semiconductor industry is moving from MOSFETs to FinFETs at the 14nm technology node in 2014. FinFETs come in many styles: shorted-gate, independent-gate, asymmetric, and thus offer a much richer design space than bulk CMOS. There are many projects that are likely to lead to novel FinFET circuits and architectures. These span various levels of the design hierarchy: device, standard cells, optimization under process variations, SRAMs, microarchitecture, cache, network-on-chip, chip multiprocessor.
3. Security of Internet of Things (IoT): By 2020, it is expected that 50 billion devices will be connected to the Internet. That is very exciting. However, it also implies that billions of devices can be hacked remotely. Hacking of medical devices and automobiles has attracted recent attention. However, the problem is much larger. The question is how do we maintain privacy, confidentiality, integrity and availability in the IoT era.
4. Energy-efficient buildings: 40% of US energy is consumed in commercial and residential buildings. We have developed a simulator called retrofit-oriented building energy simulator (ROBESim) to analyze how retrofit solutions can significantly reduce the energy consumption of existing buildings. This project involves extensive energy/cost/CO2 analysis of buildings under various climate conditions.