Дмитрий Тимофеев
Email: <dtim AT SPAMFREE kalami DOT org>
Jabber: dtim@jabber.ru
- Телефон: +7-921-915-95-32
Работа
Санкт-Петербургский государственный политехнический университет, факультет технической кибернетики, кафедра распределенных вычислений и компьютерных сетей, ассистент. До февраля 2010 года работал на кафедре ИКТП факультета при ЦНИИ РТК, до июня 2007 года - на кафедре КИТвП ФУИТ.
Более-менее профессиональные интересы:
- Теория языков программирования
- Функциональное программирование
- Верификация программ
- Построение трансляторов
- Математическая логика
- Операционные системы
Не работа
- Увлекаюсь компьютерами как интересным артефактом, дающим новые возможности.
- Пытаюсь разобраться в лингвистике, в том, как устроен язык, как связаны язык и мышление.
- Люблю читать книги об искусственном интеллекте, верю в сильный ИИ.
- Вообще люблю читать книги. Любимые авторы - Антуан де Сент-Экзюпери, Рэй Брэдбери, Клиффорд Саймак, Аркадий и Борис Стругацкие, Эрих Мария Ремарк.
- Слушаю совершенно разную музыку, больше всего люблю французский шансон, русский рок и произведения Иоганна Себастьяна Баха.