J. Ahlgren and S. Y. Yuen, “Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming”, Journal of Machine Learning Research, vol. 14, pp. 3649-3681, 2013.
J. Ahlgren and S. Y. Yuen, “A Constraint satisfaction approach to tractable theory induction”, Lecture Notes in Computer Science, vol. 7997, pp. 24-29, 2013.
PhD in Computer Science (Machine Learning), City University of Hong Kong.
Master of Science in Applied Physics Engineering, Linköping University.
MSc Thesis: “Pairings in Elliptic Curve Cryptography”.