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