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
FCST: Formally Certified Software Tools
2019-01-31
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
Former LIAMA Projects
Crypt: Cryptanalysis
2019-02-15
SACCADES: Formal Methods for Embedded Systems (mer...
2019-01-17
CCM: Center for Computational Medicine
2019-01-17
TCMR: Green cellular networks Modeling and Perform...
2018-12-18
CARIOCA (formerly named TIPE): Climate and lAndcov...
2018-05-02
Publications
Publications
2016-09-06
电话:
+86(0)10 82544772
传真:
+86(0)10 82544594
地址:
N.95, Zhong Guan Cun East Road, Beijing, China
E-mail:
xuefei.liu@nlpr.ia.ac.cn