| Лична информация |
| Име |
Красимир Митков Добрев |
| e-mail |
|
| Образование |
| 2006 |
"Университет в Нарвик", Нарвик, Норвегия |
| 2004 - 2006 |
СУ "Св. Климент Охридски", Факултет по Математика и Информатика - Магистърска програма по Био- и медицинска информатика - Магистър по Информатика |
| 2000 - 2004 |
СУ "Св. Климент Охридски", Факултет по Математика и Информатика, бакалавър по Информатика |
| 1995 - 2000 |
ГПЧЕ "Проф. д-р. Асен Златаров" - гр. Хасково, профил Английски език |
| Работа |
| 2006 - |
Google Inc., Mountain View, CA, USA - софтуерен инжeнер |
| 2004 - 2005 |
Меджик коин, гр. София, - математическо моделиране и разработка на приложения под Linux |
| 2003 - 2004 |
Metagen AG, гр. София - програмист, разработка на приложения за .NET framework |
| 2001 - 2003 |
Сиела софт енд паблишинг, гр. София - младши програмист, MFC, Win32 API |
| Академичен опит |
| 2005 - 2006 зимен семестър |
Advanced Data Structures - лекции |
| 2005 - 2006 зимен семестър |
Функционално програмиране (Lisp) - семинарни упражнения |
| 2004 - 2005 летен семестър |
Разработка на приложения с Java - лекции |
| 2004 - 2005 летен семестър |
Проектиране и анализ на компютърни алгоритми - лекции |
| 2004 - 2005 зимен семестър |
Функционално програмиране (Lisp) - семинарни упражнения |
| 2003 - 2004 летен семестър |
Проектиране и анализ на компютърни алгоритми - 2ра част лекции |
| 2003 - 2004 летен семестър |
Standard Template Library (C++) лекции |
| 2003 - 2004 зимен семестър |
Проектиране и анализ на компютърни алгоритми - 1ва част лекции |
| 2003 - 2004 зимен семестър |
Функционално програмиране (Lisp) - семинарни упражнения |
| 2003 - 2004 зимен семестър |
Структури от данни и програмиране (C++) - компютърен практикум |
| 2002 - 2003 летен семестър |
Standard Template Library (C++) лекции |
| 2002 - 2003 летен семестър |
Програмиране на Пролог (SWI, SICStus)- семинарни упражнения и компютърен практикум |
| 2002 - 2003 летен семестър |
Обектно Ориентирано програмиране (C++) - компютърен практикум |
| 2002 - 2003 зимен семестър |
Функционално програмиране (Lisp) - семинарни упражнения |
| 2002 - 2003 зимен семестър |
Увод в програмирането (C++) - компютърен практикум |
| Компютърни умения |
| Езици за програмиране |
C & C++, .NET (C#, C++, J#, ASP), Java (JSP, J2ME), Python, PHP, Lisp, Prolog, ASM, Delphi, Pascal |
| Среди за разработка |
Visual Studio .NET 2002/2003/2005, Visual Studio 6.0, Jbuilder, Anjuta |
| Операционни системи |
Windows, Linux (Debian), Unix (FreeBSD) |
| Бази данни |
SQL (MySQL, MS SQL Server) |
| Професионални интереси |
|
Теоретично програмиране, Алгоритмична изчислимост, Сложност на изчисленията, Функционално програмиране, Структури от данни и алгоритми, Невронни мрежи, Изчислителна геометрия, "Generic" програмиране, Автомати на Бюхи, синтезиране и верификация на програми, Софтуерно инжинерство и управления на проекти, теоретични изчисления, Теория на вероятностите и статистика. |
| Допълнителна информация |
| 2004 - |
Tреньор на състезателите по програмиране на СУ "Св. Климент Охридски" |
| 1999 - |
Член на MENSA |
| 2004 - 2006 |
Член на управителния съвен на сдружение с нестопанска цел "Локална мрежа - Студентски град" |
| Езици |
| Български |
|
| Английски |
Писмено и говоримо |