Qirun Zhang

Qirun Zhang
qrzhang@gatech.edu
Website
Qirun Zhang is an Assistant Professor in the School of Computer Science, College of Computing at the Georgia Institute of Technology. His main area of research is programming languages, focusing on program analysis and testing. His compiler testing work has led to 300+ confirmed/fixed bugs in important production/research compilers (such as GCC/LLVM/CompCert, Scala, and Rust) and enjoyed wide public acknowledgments from the community. His work on InterDyck-reachability received a PLDI Distinguished Paper Award. Zhang completed his Ph.D. in Computer Science and Engineering from The Chinese University of Hong Kong and his B.E. in Computer Science from Zhejiang University.
Assistant Professor
Phone
Office
KACB 2324
Additional Research
Programming Languages & Correctness;
Research Focus Areas
Qirun
Zhang
Show Regular Profile

Andrew Zeliff

Placeholder for headshot
andrew.zeliff@gtri.gatech.edu

Andrew Zeliff is a Research Engineer at Georgia Tech Research Institute (GTRI), in the CIPHER Lab, Software Assurance Branch.  His interests revolve around building secure, hardened systems and software, often with a focus on attack surface reduction and secure-by-design concepts.  Some of his recent work includes building a hardened, secure alternate-data-path solution for a real-time system and developing tools to assess maritime and aviation systems protocol implementations. Mr. Zeliff possesses a MS in Computer Engineering from Syracuse University and a BS in Computer Science from Embry-Riddle Aeronautical University. Prior to GTRI, Mr. Zeliff worked with the US Air Force in many capacities, including as a civilian at the Air Force Research Laboratory.  There, Mr. Zeliff worked on numerous projects in the general field of Mission Assurance spanning across the Air, Space, and Cyberspace domains.

Research Engineer
Phone
530.339.5265
Office
Wells Fargo
Additional Research
Defense / National Security; Algorithms; Computer Engineering; Architecture & Design
GTRI
Geogia Tech Research Institute > Cybersecurity, Information Protection, and Hardware Evaluation Research Laboratory
Andrew
Zeliff
Show Regular Profile

Kit Plummer

Placeholder for headshot
kit.plummer@gtri.gatech.edu

Kit Plummer has been engineering and automating continuous integration and delivery of software within the DoD and Intelligence Community for almost 30 years. Starting as an enlisted wideband radio technician in the U.S. Air Force and since working in just about every type and size of organization Kit has supported everything imagineable from missiles, to autonomy systems, to open source developer tools, to in-flight entertainment systems. Kit's current area of interest is the DevSecOps and software factory pieces of the modern software engineering enterprise puzzle - with focus on cognitive engineering and the system risks developers bring with their reliance on open source languages and library ecosystems. Kit has been a Principal Research Engineer with the Advanced Embedded Systems division of the Electronic Systems lab at the Georgia Tech Research Institute for three years.

Principal Research Engineer
Phone
Office
250 14th Street, NW
Additional Research
Data Mining & Analytics; Large-Scale or Distributed Systems; Programming Languages & Correctness; Cloud Security
GTRI
Geogia Tech Research Institute > Electronic Systems Laboratory
Kit
Plummer
Show Regular Profile

Qirun Zhang


Qirun Zhang is an Assistant Professor in the School of Computer Science, College of Computing at the Georgia Institute of Technology. His main area of research is programming languages, focusing on program analysis and testing. His compiler testing work has led to 300+ confirmed/fixed bugs in important production/research compilers (such as GCC/LLVM/CompCert, Scala, and Rust) and enjoyed wide public acknowledgments from the community. His work on InterDyck-reachability received a PLDI Distinguished Paper Award. Zhang completed his Ph.D.

Andrew Zeliff


Andrew Zeliff is a Research Engineer at Georgia Tech Research Institute (GTRI), in the CIPHER Lab, Software Assurance Branch.  His interests revolve around building secure, hardened systems and software, often with a focus on attack surface reduction and secure-by-design concepts.  Some of his recent work includes building a hardened, secure alternate-data-path solution for a real-time system and developing tools to assess maritime and aviation systems protocol implementations. Mr.

Kit Plummer


Kit Plummer has been engineering and automating continuous integration and delivery of software within the DoD and Intelligence Community for almost 30 years. Starting as an enlisted wideband radio technician in the U.S. Air Force and since working in just about every type and size of organization Kit has supported everything imagineable from missiles, to autonomy systems, to open source developer tools, to in-flight entertainment systems.