NuLogiCS Research: New Logics for Security and Artificial Intelligence

Vision:
Human intelligence lies on the capability of thinking. With the development of the programmable computer, slow thinking has found its solid foundation on computation. With the recent progress of machine learning, especially deep learning, fast thinking is discovering its root on learning. Logics is the foundation of both computaiton and learning. NuLogiCS group's goal is to build the new logic foundation for Artificial Intelligence (which needs a tight integration between computation and learning), and for Security (which needs a tight integration between cryptography and formal verification).

Objectives:
To achieve the vision, we pursue the following research directions:
1. Develop a logic and cryptographic foundation for logic encryption of digital circuits.
2. Develop a logic foundation for formal verificaiton of system security.
3. Develop a learning foundation for speeding up formal verification of complex system.
4. Develop a logic foundation for the robustness and correctness of machine learning.
5. Develop a hardware foundation for approximate and efficient deep learning.

Contact:
NuLogiCS Research Group
Department of Electrical Engineering and Computer Science, L465
Technological Institute, Northwestern University
2145 Sheridan Road, Evanston, IL 60208, USA
Telephone : +1-847-491-9925
Email : haizhou AT eecs DOT northwestern DOT edu