Luminous Fennell (M.Sc.)

Luminous Fennell

I am working as an assistant in the Programming Languages working group under Prof. Dr. Peter Thiemann. My research activities focus on the systematic integration of typed and untyped programming languages.

Also, I enjoy functional programming (especially in languages with rich type systems) and machine checked theorem proving.

Contact

Address

Luminous Fennell
Institute for Computer Science
University of Freiburg
Georges-Köhler-Allee 79
D-79110 Freiburg i. Br.
Germany

Room

079-00-014

Email

Phone

+49 (0)761 203 8053

Fax

+49 (0)761 203 8052

Publications

Teaching

I assisted with the following courses: