Laboratory faculty members participate in some Computer and Information Sciences Department activities and shared recreational activities. The laboratory provides financial support for students and fosters an intimate relationship among a small group of researchers working in closely-related areas and the graduate students they supervise. CIRL currently has openings for talented students. In the long term, we are committed to having no more than twice as many students as faculty members. An introduction to each of the research areas in which CIRL members are working.
Some software packages developed at CIRL are available.
You can view a demo that allows you to test a number of satisfiability solvers on problems of your choice, you can download the sources or binaries of some of these solvers, or if you prefer, you can download MVL, Matt Ginsberg's inference engine. Links range from research papers by CIRL members to a list of publicly available AI systems. If you are looking for something in particular, you may want to use our search engine . Development CIRL is a research laboratory, and doesn't undertake development projects, per se. However, On Time Systems, Inc. is a startup company that is developing practical, fielded, applications of CIRL's optimization technology in areas ranging from aircraft routing to scheduling of ship construction.