Автобиография

      Я, Корлюков Александр Васильевич, родился 25 марта в г.Старица Калининской области. Русский, родители - учителя.

      С 1960 по 1968 годы учился в СШ 9 г.Гродно. В 1970 году окончил спецшколу-интернат физико-математического профиля при Московском государственном университете. Участник и призер Международной математической олимпиады школьников 1970 года в Венгрии.

      С 1970 по 1975 г.г. учился в Московском государственном университете им.М.В.Ломоносова, механико-математический факультет.

      До 1976 года работал программистом в Одесском отделении Института экономики АН УССР.

      С 1977 до 1979 работал на вычислительном центре ГПО Азот г.Гродно.

      С июня 1979 и по настоящее время работаю в Гродненском государственном университете. Должность в настоящее время - доцент, ученое звание - доцент.

      С 1978 по 1982 г.г. учился в заочной аспирантуре Московского госуниверситета. В 1984 году защитил диссертацию на соискание ученой степени кандидата физико-математических наук в АН БССР по специальности математическая логика, алгебра и теория чисел.

      Женат, имею взрослых сына и дочь.

      Автор более 60 научных работ в области алгебры, вычислительной математики и методики преподавания.

      В круг моих интересов в области программирования постоянно входил язык РЕФАЛ (алгоритмический язык рекурсивных функций).

      С 1982 по 1991 годы участвовал в ряде хоздоговоров с институтом механики АН СССР, г.Москва. На языке рефал разработана система аналитических выкладок для гироскопов, а также система интервальных вычислений произвольной точности с учетом ошибки округлений.

      В 1999 и 2000 годах занимался использованием суперкомпилятора с языка рефал. Суперкомпилятор производит глубокий анализ алгоритма и строит при возможности более оптимальный алгоритм. Имеются примеры, когда ускорении достигало 1000 раз http://www.refal.net/~korlukov/scp2int/

      Одним из примеров успешной суперкомпиляции является интерпретатор языка трансформаций XSLT, который был написан на языке рефал. В качестве побочного продукта на языке XSLT написан интерпретатор машины Тьюринга http://www.refal.net/~korlukov/tm/ , который является примером обработки XML-документов.

      В последнее время занимался использованием суперкомпилятора языка Ява. Несколько примеров суперкомпиляции помещены по адресу http://refal.kharkov.net/~korlukov/scpj/.

      Читаю английские и немецкие технические тексты.

      Домашний телефон в г.Гродно - 78-33-62

      Список публикаций в области программирования - 

17. Городецкий О.М., Климов Д.М., Корлюков А.В. Реализация аналитических процедур теоретической механики на ЭВМ в системе MMANG. - Препринт № 233 Института проблем механики АН СССР, Москва, 1984, 55с.

20. Вычисления с произвольной точностью и учетом ошибки округлений в системе АВ. - Программирование, Москва, 1985, № 5, с. 32-37.

32..Городецкий О.М., Климов Д.М., Корлюков А.В, Проворов Л.В. Программирование компонент систем аналитических выкладок на рефале. - Препринт № 295 Института проблем механики АН СССР, Москва, 1987, 65с

36. Алгебраические аспекты интервальных вычислений // Информационно- оперативный материал (интервальный анализ). - Препринт №6.- Красноярск: ВЦ СО АН СССР, 1988.- С. 25-26.

37. Генерация фортран-программ интервальных вычислений // Информационно- оперативный материал (интервальный анализ). - Препринт №6.- Красноярск: ВЦ СО АН СССР, 1988.- С. 26-27

38. .Алгебраические аспекты компьютерных вычислений.- Вестн. Моск. ун-та. Сер.1. Математика. Механика, 1988, №3, с101.

39. Аппроксимация поля вещественных чисел конечными объектами // ДЕП ВИНИТИ АН СССР 22.11.88, рег.№ 8245-В88.

41.Отчет по НИР. Исследование методов и разработка пакета программ для оценки точности вычислительного процесса в управляемых информационных системах. - Гродно, ГрГУ, 1987,. № гос. регистрации 01.87.00048386.

44. Генерация фортран-программ для вычислений с контролируемой точностью // Труды Первого советско-болгарского семинара по числовой обработке, Переславль- Залесский, 19-24 окт. 1987 / Ин-т программных систем АН СССР. - Переславль- Залесский, 1988. - Деп. в ВИНИТИ 21.04.89, № 2534-В89. - С. 81-99.

45. Принцип неопределенности в интервальном анализе // Конференция интервалной математики, 23-25 мая 1989 г. - Саратов. - 1989. - С. 24-26.

55. Korlyukov A. A new application of interval mathematics. - Interval Computation, No 3(5), 1992, p.p. 116-121.

21.04.2001