T.H. Tse is a computer scientist known for his work in software engineering, formal methods, and the analysis of programming languages. He has significantly contributed to areas such as program verification, type systems, and software reliability. Notably, he is a professor at The University of Hong Kong and has published numerous scholarly articles and research papers in these fields. If you're looking for something specific about T.H.
Articles by others on the same topic
There are currently no matching articles.