![[TZI]](http://www.informatik.uni-bremen.de/~agbkb/images/buttons/TZI.gif)
![[BISS]](http://www.informatik.uni-bremen.de/~agbkb/images/buttons/BISS.gif)
Zhenyu Qian
Research Interests
Java security, Java extensions, Java semantics,
object-oriented, functional, concurrent, logic programming languages,
specification languages, compiler construction,
program specification, program construction, program transformation,
object-oriented analyse and design,
types, lambda-calculus, unification, algebraic semantics,
theorem proving systems.
I am now working at the Kestrel Institute.
Click here to go to my new homepage.
Zhenyu Qian,
last update June 23, 2000