Skip to main content

ISU Index Menu

iastate.edu
Index
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z

ISU Quick Links Menu

Directory
Maps
Safety
Sign Ons

Iowa State University

Department of Computer Science

Search form

Search

Main menu

Main Menu

Home
Future Students
Current Students
- Undergraduate Program
- Graduate Program
People
Research
Support CS
About

Lichuan Deng

People

PhD Student

Area of Expertise:

Formal Methods

Model Checking and Verification

Major:

Computer Science

Contact

Email:

lcdeng@iastate.edu

Tags:

Computer Science

College of Liberal Arts and Sciences

Department of Computer Science
226 Atanasoff Hall
2434 Osborn Dr
Ames, IA 50011-1090
Phone (515) 294-4377

Facebook
Instagram
Twitter

Site Index
Site map

Copyright © 2023
Iowa State University of Science and Technology. All rights reserved.

Non-discrimination Policy
Privacy Policy
Digital Access & Accessibility