The field of quantum computation and communication has indeed been developing rapidly, and the landscape is now quite different from when the cooperation in quantum information processing started in the beginning of JFLI. It involves researchers from different fields: physics, theoretical computer science, networking, etc.
The areas to be developed within JFLI in the Quantum Computing topic are:
- Quantum communication
- Quantum networks
- Visualization of quantum computations
- Continuous Variable (CV) quantum information processing
Due to recent advances in machine learning techniques and their large applicability, Artificial Intelligence is a field that have been pushed on the forefront of the research agenda by many countries in the recent years, in both academic and the industrial sectors. Considering the current collaboration between French and Japanese researchers in AI, the following areas have been considered to be the basis of the AI topic within JFLI:
- AI, Music & creativity
- Integration of Knowledge Representation, Machine Learning and optimization methods
- New architectures for satisfiability and optimization
- AI and High Performance Computing
- AI for video content security
Networks and Cybersecurity
This topic will be the continuation of the “Next Generation Networks” topic which exists in JFLI since its creation. The security of the cyberspace has become an essential feature and it is compulsory to deal with it in any research field involving distant communication through any type of network. Cybersecurity is therefore becoming a major topic for which all Networking-related researches (ICN, SDN, IoT, etc) will take into account novel threats and propose new methodologies and countermeasures.
The “Networks and Cybersecurity” topic at JFLI is centered around four sub-topics:
- Internet Measurements
- Information-Centric Networking
- Software-Defined Networking
- 5G and IoT
Foundations of Informatics
Foundations of informatics consists of all branches of computer science where the objects of interest are mathematical models, rather than actual programs or systems.
An important area is that of formal methods, which are computational techniques to automatically prove that a system meets a given specification. Those techniques rely on a mathematical basis allowing formal reasoning on the objects at hand.
Research in this topic at JFLI will therefore be centered around four main areas:
- Software verification & validation and formal methods
- Logics, semantics, and category theory
- Cryptography & Information Security
- Geometric Algebras and Discrete Geometry