Yi Liu Profile Picture

Yi Liu

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

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

Organization of a compiler including lexical and syntax analysis, symbol tables, object code generation, error detection and recovery, code optimization techniques, and overall design. Compilation techniques and run-time structures in block-structured language.

Organization of a compiler including lexical and syntax analysis, symbol tables, object code generation, error detection and recovery, code optimization techniques, and overall design. Compilation techniques and run-time structures in block-structured language.

Principles and techniques for obtaining an architectural design from a system specification. Where appropriate, automated software design tools are used to demonstrate particular methodology. The relation of various design methods to the production of quality software that meets its specification, and the relation of design method to other life-cycle aspects. Design methods, design tools, the design process, and particular application domains for design techniques.

Research

Research Interests

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

Request edits to your profile