Things your should know...

  • Students in the lab do NOT necessarily involve in the theoretical research.
  • Hence, candidates do NOT necessarily have theoretical background (although with theoretical background you have wider choice of researches).
  • On the contrary, we welcome candidates who have different backgrounds, e.g. physics, linguistics, engineering, etc. and good programming skills.
  • The way to supervise students...

  • We will not assign heavy project tasks to students.
  • We aim to give each student a brief view of researches at least, especially if you will not continue persuing PhD. study.
  • We have close research cooperations overseas, so students have chances to study overseas (Japan, France, UK, Australia, etc.) for at least half a year, according to their different research choices.
  • Due to different aim of students (working, continuing education in SJTU, continuing education overseas), we will design different research plans and schedules and assign different supervisors (supervisors in SJTU, supervisors overseas, industrial supervisors, etc.).
  • We require you...

    Ambitious, with clear future plan, smart, cooperative, fond of learning, good English skills.

    Current researches...

  • For the most students, maybe the researches you are interested in are the big data analytics and AIs. We have cooperation project with CSIRO and UNSW in medical big data analytics and machine intelligence. We have a large research group in our lab. The students who choose this topic are supervised by the experts overseas, engineers in BAT, and myself as well. The topic includes NLP, knowledge graphs, knowledge reasoning, etc.
  • Another main group in the Lab. is programming languange theory and verification techniques, covering both theories and applications, which attracts those who are interested in programming languages and formal methods. The research is cooperated with on of the best language group locating in University of Oxford and University of Tokyo. Futhermore, there are increasing job opportunities in Huawei, BAT etc. in recent years.
  • We also have a group on data analytics of Fintech.
  • We continuously attact those who are interested in theoretical computer sciences.

    Guoqiang Li
    Last modified: Saturday, June 1, 2019.