Scott Kirkpatrick is known for his work in the field of computer science, particularly in optimization and artificial intelligence. He is credited with the development of simulated annealing, a probabilistic technique that is used for approximating the global optimum of a given function. Simulated annealing mimics the process of annealing in metallurgy, where controlled cooling helps to minimize defects. Kirkpatrick introduced this algorithm in a landmark paper co-authored with Chilean physicist Jorge A.
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.