News

CL welcomes its new member: Cezary Kaliszyk (February 1, 2012)

Dr. Cezary Kaliszyk is an expert on interactive theorem proving and joins us from the renowned University of Tsukuba, Japan.

For more information on Cezary, kindly see his homepage.