Ищу темы для дипломных проектов (Computer Science) на следующий год (мои мозги уже сохнут от этого). Конкретно интересуют program analysis, logic programming, constraints solving, artificial intelligence. Должно быть интересно и не очень сложно.