Andrej Bauer
   I am a graduate student in Pure & Applied Logic, at the School of Computer Science, Carnegie Mellon University.
   I am supported by Institute for Mathematics, Physics, and Mechanics at the University of Ljubljana, Slovenia.
   My advisor is Professor Dana Scott.
   entertainment    work
random art

forum 2000

become an Objectivist in ten easy steps

aikido at CMU

my fan clubs

selected papers and notes

the logic group at CMU

symbolic computation


quadratic search algorithms

 e-mail & url  home

Andrej Bauer
5516 Bartlett Street
Pittsburgh PA 15217

Phone: +1(412)521-5512

 office  address in Slovenia
Andrej Bauer
Carnegie Mellon University
Computer Science Department
Wean Hall 4212
Pittsburgh PA 15213-3891

Phone: +1(412)268-3042
Fax:   +1(412)268-5576

Andrej Bauer
Bratovseva pl. 8
1000 Ljubljana

Phone: +386(61)345-372