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

Analytica

quadratic search algorithms

 e-mail & url  home
Andrej.Bauer@andrej.com

http://andrej.com/

Andrej Bauer
5516 Bartlett Street
Pittsburgh PA 15217
USA

Phone: +1(412)521-5512

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

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

Andrej Bauer
Bratovseva pl. 8
1000 Ljubljana
Slovenia

Phone: +386(61)345-372