Main Page

From thelas.dk

A picture of me in Aloha Tower

A screenshot of the upcomming version of Ucom which uses SdlWidgets

A screenshot of the user-interface presented by a sample apims program

Welcome to thelas.dk.
My name is Lasse Nielsen, and this is my page.

I will use this page to share my projects with the world.

Updates

I have submitted my dissertation and will defend it on Feburary 1st 2012 read more.
I have created a public account on GitHub.
I now have a deb repository for easy installation of my programs using apt-get.
LATA'11 accepted Fritz Hengleins and my paper on Bit-coded Regular Expression Parsing.
POPL'11 accepted Fritz Hengleins and my paper on Regular Expression Containment.
Expres'10 accepted the paper on Symmetric Sum Types describing the foundation of the apims.
rcp has been added to the Software Projects page.
apims has been added to the Software Projects page.
DynParser has been added to the Software Projects page.
Version 1.0.4 of Ucom has been released.
Version 1.0.3 of SdlWidgets has been released.

Content

About Me: This is where you can find my public personal information such as contact information.
 Public Information: Public information such as contact information.
 Resume: This is my public resume.
My Projects: This is where you can find my shared projects.
 Software Projects: This section contains my shared programs, languages and libraries.
  apims is an interpretor for the Asynchronous PI-calculus with Multiparty session types and Symmetric sumtypes.
  DynParser is a tokenizer+parser generator library written in C++
  rcp is a library offering multiple efficient regular expression parsing algorithms.
  SdlWidgets is a library for creating GUI applications.
  Ucom is a communication program that uses SdlWidgets for the graphics.
  VCS is an abbreviation of Voice Control System.
 Reports and Articles: This section contains some of my scientific papers and school reports.
  The paper Bit-coded Regular Expression Parsing was accepted by ELATA-2011.
  The paper Regular Expression Containment was accepted by POPL-2011.
  The paper Symmetric Sum Types was accepted by EXPRESS'10, and describes the theory behind Apims.
 Work Projects: This section references some of my work projects.

Favurite Quote

O-la-la-la-oh-la-la... That means thank you in this new language I'm inventing.