Jakob Lichtenberg

Jakob Lichtenberg.

Former Ph.D. student at the The IT University of Copenhagen. Now working as Product Manager at Configit Software.

Research:

My research area is generation of tests for software and relates to research areas such as program analysis, verification, model checking and testing.

I am also interested in modeling, embedded and real-time systems as well as functional programming.

Supervisors:

Henrik Reif Andersen and Henrik Hulgaard.

Projects:

Consistency Testing of C Programs. My ph. d. project.

MuDDy. Boolean Decision Diagrams for ML.

Difference Decision Diagrams. A promising new data structure for model checking. Developed together with my supervisors Henrik Hulgaard and Henrik Reif Andersen and my fellow student Jesper Møller.

Publications:

A list of publications is available.

Address:

Jakob Lichtenberg

IT University of Copenhagen

Glentevej 67

DK-2400 Copenhagen NV

Denmark

Room:	2.42
Direct:	+45 3816 8844
Phone:	+45 3816 8888
Fax:	+45 3816 8899
Private:	+45 3990 0001
Mobile:	+45 4021 0001
Web:	http://www.itu.dk/people/jl
E-mail:	jl@itu.dk

Other Interest

		In my sparetime I prefer to go sailing. Mostly I sail match race in KDY/SKS Match Race Center. I also sail fleet race in the International Yngling Class. To the left you see four DS Match Racers competing in pretty rough conditions during our 2001 Spring Regatta.
		I love to go skiing, and really try to take out a week every winter. On the picture to the left I am out bathing in perfect fresh snow found a sunny morning, February 2001 in Canazei, Italy. Life cannot get any better!
		I am a co-founder of the IT company Configit Software. Configit Software develops powerful and easy-to-use configuration tools for the Internet. The company is a start-up from the IT University of Copenhagen.

Jakob Lichtenberg