Christian Steinruecken

I am a computer scientist at King’s CollegeUniversity of Cambridge, currently doing a PhD in Machine Learning / Artificial Intelligence. My undergraduate dissertation outlined the design and implementation of a statically typed quantum programming language called Quantum ML, which won an Industrial Sponsorship award.

My academic interests are (among other areas) in information theory, artificial intelligence, logic, programming language design, pure mathematics, theorem proving, genetics and (VLSI) hardware design.

Please visit my research page here: http://cstein.kings.cam.ac.uk/~chris/