About Us
News & Events
Research
Members
People
Home
>
Research
Research Directions
Trustworthy Computing
2016-11-10
Multi Modal Sensing and Scene Understanding
2016-11-10
Computational Models for Earth and Life Sciences
2016-11-10
Current LIAMA Projects
FER4HM:Facial expression recognition with applicat...
2018-07-27
VIP: Verification, Interaction and Proofs (2017 CA...
2018-07-26
CONVEX：Compositional Verification of Cyber-Physica...
2018-07-26
cPlant: Computational Plants
2016-11-09
SACCADES: Formal Methods for Embedded Systems (mer...
2016-11-08
Former LIAMA Projects
TCMR: Green cellular networks Modeling and Perform...
2018-12-18
Crypt: Cryptanalysis
2018-12-18
CARIOCA (formerly named TIPE): Climate and lAndcov...
2018-05-02
CAD: Computer Aided Design
2016-11-10
ECCA：Exact/Certifed Computation with Algebraic Sys...
2016-11-08
Publications
Publications
2016-09-06
电话：
+86(0)10 82544772
传真：
+86(0)10 82544594
地址：
中国北京中关村东路95号
E-mail：
xuefei.liu@nlpr.ia.ac.cn
