Photo of Ole Torp Lassen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20082012
If you made any changes in Pure these will be visible here soon.

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.

 

Education/Academic qualification

Computer Science, Ph.D, Roskilde University

1 Nov 20071 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 201331 Aug 2031

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

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 proceedingsResearchpeer-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 journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Activities 2008 2008

  • 1 Membership in research network

Forskerskole FIRST (External organisation)

Ole Torp Lassen (Member)
1 Feb 200831 Jul 2010

Activity: MembershipMembership in research network