Yi Liu

Yi Liu, PhD

Associate Professor

Computer & Information Science

508-910-6692

508-999-9144

{nkw33Bwocuuf0gfw

Dion 302E

Education

2005University of MississippiPhD
1998Nanjing University, ChinaM.Eng

Teaching

  • Software Engineering

Teaching

Programs

Teaching

Courses

Software development processes and the management of software projects. Software lifecycle processes and process models are studied, including universal software development models, models of software evolution, process management, and process assessment and improvement. Also studied are the management of teams and people, software size and cost estimation, project scheduling, and risk management. The use of industry standards is emphasized throughout.

Course in presentation of formal model-based methods of software development. Review of mathematical foundations for formal methods. Formal languages and techniques for specification and design, including specifying syntax using grammars, finite state machines, and Petri nets. Analysis and verification of specifications and designs. Use of assertions, invariants, and proofs. Automated program and design transformation

Research

Research Interests

  • Software engineering with specific interests in software architecture, software frameworks, and software design patterns and secure software engineering
  • Geospatial data science
Latest from Yi

Request edits to your profile