Qianchuan Ye

PhD

Qianchuan Ye.

Qianchuan Ye

PhD

Qianchuan Ye

PhD

Assistant Professor
Department of Computer Science and Engineering
School of Engineering and Applied Sciences

Research Topics

Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security

Biography Teaching Research Students

Research

  • Computer Security and Cryptography
    1/17/23
    Focuses on applied cryptography, authentication, software and system security, threat modeling, anomaly detection, wireless security, cloud security, human-centered security, differential privacy and empirical cyber security.
  • Programming Languages and Software Engineering
    1/17/23
    Programming Language research focuses on type systems, program logics, language-based and differential privacy and security; language, compiler, and run-time design for reliable systems; static and dynamic analyses for real-time Android; run-time visualization and verification; adaptive memory management; language concepts for database programming; logic- and constraint-based systems.