About me
Bio
Career Advice
Ideology & Work
Travel
Nerdy Paper Titles
Human Rights
YouTube Channels
Comedy
Contact
PhD
Current PhD Students
–Group Rules–
Michael Welt
Pascal Lauer
Mohammad Yousefi
Nader Bavandpour
Yifan Zhang
Daniel Lutalo
Previous PhD Students
Conny Olz
Songtuan Lin
Panel Member and Examiner
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Research
Research Interests
Classical Planning
Hierarchical Planning
Research Grants
Target Venues
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Foundations of Computing
Research Projects
Supervised Projects
Modeling the Waiter's Tray Puzzle
Modeling Puzzle Games
Modeling Data Structures
Theory: Partial Order Planning Complexities
Theory: HTN Plan Existence Complexities
Theory: HTN Planning with Time
Implementing TIHTN Planning Algorithm
Implementing Lifted Classical Heuristic
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
-- All publications --
Journals and Books
Conferences
Workshops
Further
Proceedings
Experiments
~ My favorites ~
Awards
Best Papers
Best Reviewer
Further
Honours & Awards
In case you are interested, please see the following list:
Best Paper Awards
Best Reviewer Awards
Further Honours and Awards
About me
Bio
Career Advice
Ideology & Work
Travel
Nerdy Paper Titles
Human Rights
YouTube Channels
Comedy
Contact
PhD
Current PhD Students
–Group Rules–
Michael Welt
Pascal Lauer
Mohammad Yousefi
Nader Bavandpour
Yifan Zhang
Daniel Lutalo
Previous PhD Students
Conny Olz
Songtuan Lin
Panel Member and Examiner
Thesis Writing Advice
PhD Awards
Join Team
Application Advice
.. Apply for PhD
.. Apply for Post-Doc
.. Apply for Summer Internship
Other Opportunities
Research
Research Interests
Classical Planning
Hierarchical Planning
Research Grants
Target Venues
Teaching
at the ANU
Courses
Logic
Algorithms
Theory of Computation
Foundations of Computing
Research Projects
Supervised Projects
Modeling the Waiter's Tray Puzzle
Modeling Puzzle Games
Modeling Data Structures
Theory: Partial Order Planning Complexities
Theory: HTN Plan Existence Complexities
Theory: HTN Planning with Time
Implementing TIHTN Planning Algorithm
Implementing Lifted Classical Heuristic
at UUlm
Courses
Hierarchical Planning
Seminars
Research Projects
at Uni Freiburg
Service
ANU
UUlm
Academia
Reviewing
Invited Talks
Organizations
Further
Public
Publications
-- All publications --
Journals and Books
Conferences
Workshops
Further
Proceedings
Experiments
~ My favorites ~
Awards
Best Papers
Best Reviewer
Further