Andrej Bauer

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`