Contacting the Authors

The Teyjus project aspires to a truly open perspective and has the objective of developing ideas and software that are meant for free public use. In keeping with this spirit, it also encourages the participation of members of the larger research community. The project members would be happy to receive feedback in the form of bug reports or suggestions for improvement from the users of the Teyjus system. Such feedback would typically be provided through the Issues forum.

You are, of course, also welcome to contact current project members concerning specific ideas or details underlying the system or if you would like to contribute to its development. While you can approach any team member with such questions, here is a guide to the best possible contact for particular kinds of issues:

Andrew Gacek [andrew dot gacek atsign gmail dot com]

for matters related to overall system structure, general issues related to the logic and Teyjus programming or if you want to get the attention of any of the others quickly

Steven Holte [sholte atsign gmail dot com]

for details about the treatment of separate compilation and the linking and loading schemes present in the Teyjus system

Gopalan Nadathur [gopalan atsign cs dot umn dot edu]

if you are interested in finding out about ongoing developments and possible projects or if you want to discuss new ideas that you have related to Teyjus-like languages and systems

Xiaochu Qi [xqi atsign cs dot umn dot edu]

if you want the low-down on the virtual machine, the compiler, the treatment of portability issues and the code that realizes these various aspects; in short if you want any information about the real heart of the Teyjus system

Zachary Snow [zacharysnow atsign gmail dot com]

for questions about the front-end of the compiler, the treatment of types or if you would like to hear about the ongoing project aimed at implementing Twelf using the Lambda Prolog machine