Personal profile

Research and education information

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

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.

Research 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-17

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

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/ReportPh.D. thesis

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-42

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

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 journalJournal article

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 proceedingArticle in proceedings

Activities 2008 2008

  • 1 Membership in research network

Forskerskole FIRST (External organisation)

Lassen, O. T. (Member)
1 Feb 200831 Jul 2010

Activity: Membership in research network