Programming Languages

Programming Languages

Programming languages are a medium for specifying computation precisely both to computers and to other people. Our faculty does work on programming language design, compilers, runtime systems, type systems, program verification, performance, static and dynamic analysis, and other areas.

People

'; print include_node($p); print '
'; } ?>