!!!Franz Baader \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='baader_franz_small.jpg' alt='Franz Baader' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ \\ \\ __Present and Previous Positions__ *2012, 12 to 2015, 12: Dean of the Faculty of Computer Science at TU Dresden *2007, 8 to 2008, 3: visiting scholar at the National ICT Australia Inc. (NICTA), Canberra, Australia *2006, 4 to PRESENT: director of the Institute for Theoretical Computer Science, TU Dresden, Germany *2003, 11 to 2004, 2: visiting researcher at the National ICT Australia Inc. (NICTA), Canberra, Australia *2002, 4 to PRESENT: full professor for Theoretical Computer Science, TU Dresden, Germany *1993, 10 to 2002, 3: assistant professor for Theoretical Computer Science, RWTH Aachen, Germany *1989, 9 to 1993, 9: senior researcher, German Research Institute for Artificial Intelligence (DFKI), Kaiserslautern and Saarbrücken, Germany *1985, 10 to 1989, 8: research assistant, Friedrich-Alexander University Erlangen-Nürnberg, Germany \\ \\ __Fields of Scholarship__ [{AcadMemberFOScholarshipPlugin}] \\ __Honours and Awards__ *2004: Fellow of the European Association for Artificial Intelligence (EurAI Fellow) %%[https://www.eurai.org/awards_and_grants/fellows] *2020: Herbrand Award for Distinguished Contributions to Automated Reasoning %%[https://www.cadeinc.org/Herbrand-Award] \\ \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Baader_Franz/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Baader_Franz/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Baader_Franz/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] [Other information|User/Baader_Franz/OtherInformation] %% %% [{ALLOW view All}][{ALLOW edit fbaader}][{ALLOW upload fbaader}][{ALLOW comment All}]