scqin.github.io - Shengchao Qin

home > domains > scqin.github.io

Example domain paragraphs

In general: formal methods; programming languages; software engineering; cybersecurity; AI.

Recent & more specific: program analysis and verification, software verfication and validation, fuzz testing, trustworthy AI.

A fully funded 3-year University Ph.D studentship available (Contact me if you are interested).

Links to scqin.github.io (2)

• xujuefei.com Felix Juefei-Xu - Home Page
• naivec.com 七台河裙略信息科技有限公司