Scientist Profile

Photo

Mark J. Encarnacion

Technical Mathematician, Outstanding Young Science (1998)

Expertise: Computer Algebra, Design and Analysis of Algorithms, Software Engineering, Computer Software

Dr. Mark J. Encarnacion is recognized for his significant achievements in the field of computer algebra, in particular his improvement of the modular algorithm for computing gcd’s of polynomials over algebraic number fields. His algorithm is currently being used in various software systems and is considered to be the best practical algorithm available.

Affiliation

Chairman, Dept. of Computer Science, University of the Philippines, Diliman, Quezon City

Associate Professor, Dept. of Computer Science, University of the Philippines, Diliman, Quezon City

Senior RSDE, Microsoft Research, Greater Seattle Area Computer Software

Association

    • ACM-SIGSAM, AMS, SIAM, Member
    • National Research Council of the Philippines, Associate Member
    • National Research Council of the Philipines, Regular Member

Employment

    • Dept. of Computer and Information Sciences, University of Delaware, Newark, Delaware, USA, Visiting Researcher, 1997 - -
    • Dept. of Computer Science, University of the Philippines, Diliman, Quezon City, Assistant Professor, 1995-1996
    • University of Tokyo Computer Center, Tokyo, Japan, Visiting Researcher, 1996
    • Research Institute for Symbolic Computation, Hagenberg, Austria, Research Assistant, 1991-1995
    • Antelope Valley Schools Transportation Agency, Lancaster, California, USA, System Administrator, 1991
    • Dept. of Mathematics, College of Science, University of the Philippines, Diliman, Quezon City, Instructor, 1989-1990
    • The Statistical Center, University of the Philippines Diliman, Lecturer, 1988-1989

Award

    • Phi Kappa Phi, -, 1990
    • Austrian Ministry of Science and Research Fellowship, , 1991-1992
    • Erste-Sparkasse Award for Best Dissertation, -, 1995
    • Philippine Balik Scientist, Dept. of Science and Technology, 1995
    • Philippine Talent Search for Young Scientists (2nd Prize Award), NAST-DOST, 1996
    • Outstanding Young Scientist Award (Technical Mathematics), NAST-DOST, 1998

Papers Presented

    • On the Monic Factors of a Univariate Polynomial over an Algebraic Number Field, Rhine Workshop on Computer Algebra, Karlsruhe, Germany
    • Factoring Polynomials over Algebraic Number Fields via Norms and the Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm, International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, USA
    • On a Modular Algorithm for Computing Geds of Polynomials over Algebraic Number Fields, International Symposium on Symbolic and Algebraic Computation, Oxford, England, UK
    • The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm , RIMS Symposium on Theory and Applications of Computer Algebra

Education

    • University of the Philippines-Diliman, Quezon City, B.S. Statistics, 1988
    • University of the Philippines-Diliman, Quezon City, M.S. Mathematics, 1990
    • University of Linz, Austria, Dr. Tech. (Technical Sciences), 1995

Publication

    • Encarnacion, M.J., (1997) Black-box polynomial resultant
    • Information Processing Letters Volume 61, No. 4
    • Encarnacion, M.J., & Collins, G.E., (1996) Improved techniques for factoring univariate polynomials
    • Journal of Symbolic Computation Volume 21
    • Encarnacion, M.J., (1995) Computing geds of polynomials over algebraic number fields
    • Journal of Symbolic Computation Volume 20
    • Encarnacion, M.J., & Collins, G.E., (1995) Efficient rational number reconstruction
    • Journal of Symbolic Computation Volume 20
    • Encarnacion, M.J., (1992) A note on linear regression functions
    • Communication in Statistics, Theory and Methods Volume 21, No. 3
    • Encarnacion, M.J., (1998) An efficient method for computing resultant systems
    • Applicable Algebra in Engineering, Communication and Computing (AAECC) Volume 9, No. 3
    • Encarnacion, M.J., (1997) Factoring polynomials over algebraic number fields via norms
    • International Symposium on Symbolic and Algebraic Computation (ISSAC)
    • Encarnacion, M.J., (1997) ISSAC's 97 polynomials resultants
    • ACM SIGSAM Bulletin Volume 31, No. 3

Trainings

    • International Symposium on Symbolic and Algebraic Computation, 1994 Jl 22-24, Oxford, England, UK
    • International Symposium? on Symbolic and Algebraic Computation, 1992 Jl 27-29, Berkeley, California, USA
    • Rhine Workshop on Computer Algebra, 1994 Mr 22-24, Karlsruhe, Germany
    • International Symposium on Symbolic and Algebraic Computation, 1997 Jl 21-23, Maui, Hawaii, USA