Brajnik, Giorgio University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. http://users.dimi.uniud.it/~giorgio.brajnik/ Uniud.it~Site InfoWhoisTrace RouteRBL Check
Bryant, Barrett R. University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology. http://www.cis.uab.edu/bryant/ Uab.edu~Site InfoWhoisTrace RouteRBL Check
Blair, Michael R. MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. http://groups.csail.mit.edu/mac/users/ziggy/ziggy.html Mit.edu~Site InfoWhoisTrace RouteRBL Check