Fangzhen Lin

Fangzhen Lin is a Professor in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology. His research interests include artificial intelligence, software engineering, and programming languages. He has previously been affiliated with the Department of Computer Science at the University of Toronto and Stanford University. Lin holds a PhD in Computer Science from Stanford University and has a background in knowledge representation, reasoning, and learning with applications in programming languages, robotics, multiagent systems, game theory, and social choice theory. He is an AAAI Fellow and has received a Croucher Senior Research Fellowship.

Fangzhen Lin is a researcher whose work focuses on logic programming, non-monotonic reasoning, and the formalization of knowledge and action. His research explores the integration of logic with artificial intelligence, particularly in the context of dynamic domains and reasoning about actions. Lin has contributed to the development of logical frameworks for agent programming, epistemic semantics, and the use of logic in reasoning about knowledge and justified assumptions. His publications include foundational work on logic programming languages such as GOLOG and ASSAT, as well as studies on the logical foundations of action theories and the epistemic semantics of non-monotonic logics.