!!!Ulrike Sattler
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://www.cs.man.ac.uk/~sattler]
 \\%%(margin-left:23px;) %%
\\ \\
__Present and Previous Positions__
*Since 2007, 08 Professor in the Department of the School of Computer Science, University of Manchester
* 2006, 08 - 2007, 07 Reader in the School of Computer Science, University of Manchester
* 2003, 07- 2006, 07 Senior Lecturer in the School of Computer Science, University of Manchester
* 2002, 04 - 2003, 06 Senior Researcher (Wissenschaftliche Assistentin) in the Institute for Theoretical Computer Science, TU Dresden
* 2000, 10 - 2000, 12 Guest Researcher at Rice University in Houston, Texas, visiting Prof. Moshe Vardi, sponsored by the DAAD
* 1998, 09 - 2002, 03 Senior researcher (Wissenschaftliche Assistentin) at the RWTH Aachen
\\
__Fields of Scholarship__
* Logic
* Automated reasoning 
* Ontology languages
* Knowledge representation 
* Tableau algorithms 
* Description logic
* Computation complexity
* Modal logic
\\
__Honours and Awards__
*1999 Friedrich Wilhelm Preis of the University of Technology Aachen for her PhD thesis
\\
%%columns-900

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

[{ALLOW view All}]
[{ALLOW edit usattler}]
[{ALLOW upload usattler}]
[{ALLOW comment All}]