![]() |
Tian Zhao
Department of Computer Science |
I'm currently an Associate Professor at the Computer Science Department of the University of Wisconsin-Milwaukee .
Programming Languages, Type Systems, Type Inference, Static Program Analysis, Object-Oriented Programming.
I am currently interested in domain specific programming, program analysis, dynamic languages, and machine learning.
| Recent projects | |
| GC-UNet | CS-UNet |
| DeepDSL | |
| Arrows | AsynM |
| GIS research |
| CS 738 | Program Analysis |
| CS 732 | Type System |
| CS 715 | Programming for Machine Learning |
| CS 790 | Function programming |
| CS 790 | Domain Specific programming for AI |
| CS 790 | Software testing and quality assurance |
| CS 790 | Parallel programming |
| CS 552 | Object-oriented programming |
| CS 535 | Algorithm design and analysis |
| CS 536 | Software engineering |
| CS 431 | Programming language concepts |
| CS 351 | Data structures and algorithms |
| CS 251 | Intermediate computer programming |
| CS 201 | Introductory computer programming |