This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
16.11.1985
yangjia.li@ut.ee

Career

Institution and occupation
04.12.2017–...   
University of Tartu, Post-Doc (1,00)
04.12.2017–31.08.2020   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Research Fellow in Verification of Quantum Cryptography (1,00)
15.12.2014–03.12.2017   
Institute of Software, Chinese Academy of Sciences, Researcher (1,00)
02.07.2014–14.12.2014   
Institute of Applied Mathematics, Chinese Academy of Sciences, Visiting Researcher (1,00)
 
 
Education
01.07.2008–01.07.2014   
PhD

Qualifications

Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS SPECIALTY: P170 Computer science, numerical analysis, systems, control ; SPECIALITY: Quantum Programming, Formal Method

Publications

Category
Year
Publication
 
1.1.
2018
1.2.
2018
3.1.
2018
3.1.
2018
1.1.
2017
3.1.
2017
3.1.
2016
3.1.
2016
3.1.
2016
1.1.
2014
1.1.
2014
1.1.
2014
3.1.
2014
1.1.
2010
24.05.2019
16.11.1985
yangjia.li@ut.ee

Teenistuskäik

Töökohad ja ametid
04.12.2017–...   
Tartu Ülikool, Järeldoktor (1,00)
04.12.2017–31.08.2020   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, kvantkrüptograafia verifitseerimise teadur (1,00)
15.12.2014–03.12.2017   
中国科学院软件研究所, Teadur (1,00)
02.07.2014–14.12.2014   
中国科学院应用数学研究所, Külalisteadur (1,00)
 
 
Haridustee
01.07.2008–01.07.2014   
PhD

Kvalifikatsioon

Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS ERIALA: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2018
1.2.
2018
3.1.
2018
3.1.
2018
1.1.
2017
3.1.
2017
3.1.
2016
3.1.
2016
3.1.
2016
1.1.
2014
1.1.
2014
1.1.
2014
3.1.
2014
1.1.
2010
24.05.2019
  • Found 2 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFinancing
TKSLTAT16148T (TK148)Estonian Centre of Excellence in IT (EXCITE) (TK148)01.01.201601.03.2023Jaak ViloUniversity of Tartu, Faculty of Science and Technology, Institute of Computer Science1 446 840,73 EUR
IUTIUT2-1Provably secure and verifiable systems01.01.201331.12.2018Dominique Peer Ghislain Dr UnruhUniversity of Tartu, Faculty of Science and Technology, Institute of Computer Science1 038 000,00 EUR