!!!Bruno Buchberger
\\
%%(float:left;margin-right:30px; margin-left:20px)
[{Image src='buchberger_bruno_small.jpg'  alt='Bruno Buchberger' height='200'}]
%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://www.risc.uni-linz.ac.at/people/buchberger]
\\ \\
\\ \\
\\ \\
__Present and Previous Positions__
\\ \\
*since 1989  Head of Softwarepark Hagenberg
*since 2002 Research Professor at RISc
*1987-1999 Chairman of RISC
*1987-2002 Full Professor at Research Institute for Symbolic Computation (RISC) of Johannes Kepler University, Linz, Austria
*1974-1987 Full Professor at Mathematical Institute of Johannes Kepler University, Linz, Austria
*1966-1974 Assistant at Mathematical Institute of University of Innsbruck, Austria
\\
__Fields of Scholarship__
\\ \\
*Computer algebra: polynomial algorithms,theory of Groebner Bases, automated geometrical theorem proving
*Symbolic computation: automated theorem proving, formal methods for software, algorithm synthesis and verification, mathematical knowledge management
*Mathematical education: logic-based mathematics education, in particular for computer scientists
\\
__Honours and Awards__
%%(display:none;)
INSERT YOUR HONOURS AND AWARDS HERE AS SHOWN BELOW (EACH AWARD ETC. PRECEDED BY AN ASTERISK)
*Member of Academia Europaea (1999)
*Award of Excellence (2001)
*Member of Austrian Academy of Science
*etc.
%%
\\ \\
*2007 ACM Kanellakis Award of Theory and Practice
*Three honorary doctorates (University of Nijmegen 1993, University of Timisoara 2000, University of Bath 2005)
*Ten Austrian Awards, among them the Austrian Cross of Honors for Science and Arts, First Class
\\ \\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Buchberger_Bruno/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Buchberger_Bruno/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Buchberger_Bruno/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Buchberger_Bruno/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit bbuchberger}]
[{ALLOW upload bbuchberger}]

[{ALLOW comment All}]