Dorodnicyn Computing Centre of the Russian Academy of Sciences Vavilova 40, Moscow 119991, Russia

sergeyabramov [AT] mail [PT] ru (replace [PT] by . and [AT] by @) url: http://www.ccas.ru/sabramov/ phone: Russia (499) 135-1620 fax: Russia (499) 135-6159

Education

• 1983: Dr. of Sc. in Mathematics, Moscow State University, Moscow, Russia.
  
• 1969-1972: Ph.D. in Mathematics, Computing Centre of the Russian Academy of Sciences.
  
• 1964-1969: M.Sc. in Mathematics, Moscow State University, Moscow, Russia.
  

Area of Expertise

• Symbolic computation: linear differential and difference equations.
  

Academic Experience

• 1972-Present: Researcher (1972-1981), Senior Researcher (1981-1986), Leading Researcher (1986-2002), Chief Researcher (2002-Present), Computing Centre of the Russian Academy of Sciences, Moscow.
• 1972-Present: Assistant Professor (1972-1980), Associate Professor (1980-1991), Professor (1991-Present), Moscow State University, Moscow.
• Visiting Professor (Jan 2003): University of Limoges, France.
• Visiting Professor (Jun - Jul 1999): University of Waterloo, Canada.
• Chair, Ontario Research Centre for Computer Algebra (Jan - Feb 2001, Feb 2003): University of Waterloo, Canada.
• Adjunct Professor (Feb 2001 - Present): University of Waterloo, Canada.
• Visiting Professor (Feb 2007): University of Limoges, France.
• Visiting Professor (Mar 2008): University of Limoges, France.
• Visiting Professor (Sep-Dec 2008): University of Limoges, XLIM Institute UMR 6172 CNRS, France.

Professional Services

• Member of editorial staff of Programming and Computer Software,
• Co-chair of international computer algebra seminar (Moscow, 1993).
• Co-chair of permanent Moscow computer algebra seminar (1991-Present).
• Member of Program Committee of the 12th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC'00), Moscow, June, 2000.
• Member of Program Committee of the International Symposium on Symbolic and Algebraic Computation 2007 (ISSAC'07), Waterloo, Ontario, Canada, July 29-August 1, 2007.
• Invited Speaker of the International Symposium on Symbolic and Algebraic Computation 2008 (ISSAC'08), Hagenberg, Austria, July 20-23, 2008.
• Member of Program Committee of International Workshop on Computer Algebra Systems in Teaching and Researching (CASTR'09), Siedlce, Poland, January 28 - February 2, 2009.
• Co-chair of program committee of international conference Mathematical Modeling and Computational Physics (MMCP'09), Dubna, Russia, July 7-11, 2009.
• Member of Organizing Committee (Tutorial Chair) of the International Symposium on Symbolic and Algebraic Computation 2010 (ISSAC'10), Munich, Germany, July 25-28, 2010.
• Member of Program Committee of the 12th International Workshop on Computer Algebra in Scientific Computing (CASC'10), Tsakhkadzor, Armenia, September 5 - 12, 2010
• Member of Program Committee of International Workshop on Computer Algebra Systems in Teaching and Researching (CASTR'11), Siedlce, Poland, February 2 - February 5, 2011.
• Member of Program Committee of the 13th International Workshop on Computer Algebra in Scientific Computing (CASC'11), Kassel, Germany, September 5 - 9, 2011
• Member of Program Committee of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 26-29, 2011, Timisoara, Romania
• Program Committee Vice Chairs of International Conference "Computer Algebra", Moscow, June 29 - July 2, 2016.
• General Co-chair of International Symposium on Symbolic and Algebraic Computation 2016 (ISSAC'16), Waterloo, Canada, July 20-22, 2016.
• Program Committee Vice Chairs of International Conference "Computer Algebra", Moscow, October 30 - November 3, 2017.

PhD Student Supervised

• Mikhail Novikov (1983, MSU), Galina Trifonova (1984, MSU), Evgeniy Zima (1985, MSU), Pavel Kikot' (1985, MSU), Elena Bordachenkova (1987, MSU), Sergei Zhukov (1991, MSU), Vladimir Kislenkov (2003, MSU), Denis Khmelnov (2010, CC RAS), Stanislav Polyakov (2012, CC RAS), Anna Ryabenko (2013, CC RAS), Anton Panferov (2018, CC RAS), Sergey Paramonov (in progress).

• Linear Ordinary Differential Equations and Truncated Series. Computational Mathematics and Mathematical Physics, 2019, Vol. 59, No. 10, pp. 1649–1659 (translation from Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2019, Vol. 59, No. 10, pp. 1706–1717.); with A.A.Ryabenko, D.E. Khmelnov
• The Conference “Computer Algebra” in Moscow. ACM Communications in Computer Algebra, Vol. 53, No. 2, Issue 208, June 2019, p.65-77 with A.A. Raybenko, L.A. Sevastianov, M.Wu, Y.Zonn
• Package of Procedures for Inverting Matrices Whose Entries are Linear Difference Operators. Programming and Computer Software, 2019, Vol. 44, No. 2, pp. 288–297 (translation from Programmirovanie, 2019, Vol. 45, No. 5); with D.E. Khmelnov
• An operator matrix having a given space of solutions. Computer Algebra: International Conference Proceedings, Moscow, June 17-21, 2019, p.75-83; with M.A.Barkatou
• Laurent solutions of linear ordinary differential equations with coefficients in the form of truncated power series. Computer Algebra: International Conference Proceedings, Moscow, June 17-21, 2019, pp.75-82; with A.A. Ryabenko, D.E. Khmelnov
• Row reduction process for matrices of scalar operators: storing the intermediate results of row transformation. ACM Communications in Computer Algebra, Vol. 53, No. 1, Issue 207, March 2019, pp.23-30; with M.A.Barkatou
• On unimodular matrices of difference operators. In: Computer Algebra in Scientific Computing, 20th International Workshop, CASC 2018, Proceedings, LNCS 11077, pp. 18-31, 2018, Springer, Cham (2018); with D.E.Khmelnov
• Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients. Programming and Computer Software, 2018, Vol. 44, No. 2, pp. 120–130 (translation from Programmirovanie, 2018, Vol. 44, No. 2.); with A.A. Ryabenko, D.E. Khmelnov
• On Strongly Non-Singular Polynomial Matrices. In: Schneider C., Zima E. (eds) Advances in Computer Algebra. Springer Proceedings in Mathematics & Statistics, vol 226, 2018, pp. 1-17; with M.A.Barkatou
• The Second Conference “Computer Algebra” in Moscow. ACM Communications in Computer Algebra, Vol. 51, No. 4, Issue 202, December 2017, p.103-110; with A.A. Raybenko, T.M.Sadykov
• Inverse Linear Difference Operators. Computational Mathematics and Mathematical Physics, 2017, Vol. 57, No. 12, pp. 1887–1898. Original Russian Text published in Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2017, Vol. 57, No. 12, pp. 1933–1945.
• EG-eliminations as a tool for computing rational solutions of linear q-difference systems of arbitrary order with polynomial coefficients. In: Computer algebra: International Conference Materials. Moscow, October 30 – November 3, 2017 – Ìîscow : Plekhanov Russian University of Economics, 2017, pp.54-60
• Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk). In: Computer Algebra in Scientific Computing, 19th International Workshop, CASC 2017, Proceedings, LNCS 10490, pp. 1-15, 2017, Springer, Cham (2017)
• Revealing Matrices of Linear Differential Systems of Arbitrary Order. Programming and Computer Software, 2017, Vol. 43, No. 2, pp. 67–74 (translation from Programmirovanie, 2017, Vol. 43, No. 2.); with A.A. Ryabenko, D.E. Khmelnov
• On Ramification Indices of Formal Solutions of Constructive Linear Ordinary Differential Systems. Journal of Symbolic Computation, Vol. 79 (2017), Part 2, March–April 2017, pp. 475–481
• The Conference “Computer Algebra” in Moscow. ACM Communications in Computer Algebra, Vol. 50, No. 2, Issue 196, June 2016, p.61-68; with L.A. Sevastianov

Current Research Grants

• RFBR, Project N 16-01-00319.