Research Output per year
Personal profile
Research
Teaching
- (spring 2009) Project-Supervisor, (the international program for basic studies in Natural Sciences at Roskilde University)
- (spring 2009) Teaching assistant on course DAT-C (IGA), Introduction to Graphics and Animation.
Research
- Member of the Programming, Logic and Intelligent Systems research group in the Department of Communication, Business and Information Technologies at Roskilde University.
Projects
- PhD project: Biosequence Analysis in PRISM. My PhD project is supervised by Henning Christiansen. It falls within the larger LoSt project and concerns itself with the ongoing conduct and documentation of a series of explorative experiments with stochastic logic models and problems formulated in the PRISM programming language. The PRISM system is basically BProlog extended with probabilistic variables and builtin tools for probabilistic learning and reasoning. In close collaboration with experts from molecular biology and bioinformatics (Ole Skovgaard and Søren Mørk), I plan to contribute to the overall goal of the LoSt project by designing and documenting experiments with the PRISM system and relevant bio informatical problems of discovering, recognizing and predicting structure in biological sequence data.
Education/Academic qualification
Computer Science, Ph.D, Roskilde University
1 Nov 2007 → 1 Nov 2010
Computer science, Master of Science, Datalogisk Institut Københavns Universitet
… → 2006
External positions
Post Doctoral researcher, Universite Pierre et Marie Curie
1 Apr 2013 → 31 Aug 2031Research Output 2008 2012
A declarative pipeline language for big data analysis
Christiansen, H., Theil-Have, C., Lassen, O. T. & Petit, M., Sep 2012, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012). Leuven: Katholieke Universiteit Leuven, Vol. Report CW 625. p. 3-17Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Compositionality in probabilistic logic modelling for biological sequence analysis
Lassen, O. T., 2011, Roskilde: Roskilde Universitet. 151 p. (Datalogiske Skrifter; No. 135).Research output: Book/Report › Ph.D. thesis › Research
Taming the Zoo of Discrete HMM Subspecies & some of their Relatives
Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2011, Biology, Computation and Linguistics: Proceedings of 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays. Bel-Enguix, G., Dahl, V. & Jimenez-Lopez, M. D. (eds.). IOS Press, p. 28-42Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Inference with constrained hidden Markov models in PRISM
Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2010, In : Theory and Practice of Logic Programming. 10, 4-6, p. 449-464 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
The Viterbi Algorithm expressed in Constraint Handling Rules
Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., May 2010, Proceeedings of the 7th International Workshop on Constraint Handling Rules. Van Weert, P. & De Koninck, L. (eds.). Leuven, Belgium: Katholieke Universiteit Leuven, p. 17-24 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Activities 2008 2008
- 1 Membership in research network
Forskerskole FIRST (External organisation)
Ole Torp Lassen (Member)1 Feb 2008 → 31 Jul 2010
Activity: Membership › Membership in research network