• School of Computer Science
  Personal Web Page
• Home
• Curriculum Vitae
• Publications
• Displaying Math
• Timetable

Personal Details

• Name: Liang-Ting Chen (陳亮廷)
• Date of Birth: 1st Oct. 1984
• Nationality: Taiwan (Location)

Education

• Oct. 2009 - now, Ph.D in Computer Science, University of Birmingham with Achim Jung
• Sept. 2008 - Sept. 2009, Research Assistant, Shin-Cheng Mu's Lab, Institute of Information Science, Academia Sinica
• Sept. 2003 - Jun. 2007, B.Sc in Mathematics and Computer Science and Information Engineering, National Cheng Kung University

Interests

• Theory of Computation
• Foundations of Mathematics
• Category Theory

Teaching

• Sept. 2011 - Dec. 2011, Software Workshop Haskell Demonstrator
• Oct. 2010 - Dec. 2010, Software Workshop Haskell Demonstrator
• Jan. 2010 - Mar. 2010, Models of Computations Group Tutor
• Oct. 2009 - Dec. 2009, Software Workshop Haskell Demonstrator

Activities

• Sept. 2011, Domains X
• Aug. 2011, 4^th Conference on Algebra and Coalgebra in Computer Science
• Jul. 2011, Topology, Algebra and Categories in Logic 2011
• Apr. 2011, 27^th British Colloquium for Theoretical Computer Science
• Apr. 2011, Midlands Graduate School 2011
• Mar. 2010, Midlands Graduate School 2010
• Sept. 2009, 1st Asian-Pacific Summer School on Formal Methods, Tsinghua Univ.

Publications