Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | China, VR |
|---|---|
| Ort | Beijing |
| Universität/Institution | Tsinghua University |
| Institut/Abteilung | Department of Computer Science and Technology |
Profil
| Fachgebiet | Numerik, Optimierung, Simulation |
|---|---|
| Keywords | quantum computation and quantum information, formal methods, artifical intelligence, logics in computer science |