Kamal Khuri-Makdisi

Postal Address:

email:
website: http://people.aub.edu.lb/~kmakdisi/
office (CAMS): AUB extension 4389
office (Math Dept): AUB extension 4234
fax: (+961) 1 365087
AUB switchboard numbers: (+961) 1 340460, 350000, 374374, and 374444.

Mathematical Research Interests:

• Number theory, including algorithmic number theory; automorphic forms and representation theory.

Education:

• Ph.D. in Mathematics, Princeton University, November 1993. Advisor: Goro Shimura.
• Fulbright Scholar, University of Bonn, October 1988-July 1989. Attended graduate-level courses and seminars in the mathematics department.
• B.S. in Mathematics and Electrical Engineering (double major), summa cum laude, with distinction in both majors, Yale University, May 1988.

Work Experience:

• October 1999-present: Full Professor (2009-), Associate Professor (2003-2009), Assistant Professor (1999-2003), Mathematics Department, American University of Beirut (AUB), and Faculty Member, Center for Advanced Mathematical Sciences (CAMS), at AUB.
• Academic year 1998-1999: Postdoctoral Fellow, Mathematics Department, McGill University and CICMA (Centre interuniversitaire en calcul mathematique algebrique); jointly, Adjunct Assistant Professor, Mathematics Department, Concordia University.
• July 1993-June 1998: Benjamin Peirce Assistant Professor, Mathematics Department, Harvard University (on leave 1994-1995).
• Academic year 1994-1995: Member, School of Mathematics, Institute for Advanced Study (IAS), Princeton, New Jersey. Participated in seminars and research activities during special year in automorphic forms at IAS, with visits to Mathematical Sciences Research Institute (MSRI), Berkeley, California.
• 1987 (summer): Engineering Assistant, Computer-Aided Design group, Lawrence Livermore National Laboratory. Worked on algorithms for VLSI circuit design.

Publications and Preprints:

• ``Moduli interpretation of Eisenstein series,'' to appear in International Journal of Number Theory, preprint available from arXiv.
  • preprint: http://arxiv.org/abs/0903.1439
• ``On the maps from X(4p) to X(4),'' joint with S. Jaafar, International Journal of Number Theory 5 (2009), no. 5, 831-844.
  • published version: http://www.worldscinet.com/ijnt/05/0505/S1793042109002390.html
  • preprint: http://arxiv.org/abs/math.NT/0702545
• ``Generating functions for Hecke operators,'' joint with H. Al Hajj Shehadeh and S. Jaafar, International Journal of Number Theory 5 (2009), no. 1, 125-140.
  • published version: http://www.worldscinet.com/ijnt/05/0501/S1793042109001979.html
  • preprint: http://arxiv.org/abs/math.NT/0610962
• ``On inverting the Koszul complex,'', Communications in Algebra 36 (2008), 1830-1837.
  • published version: http://www.informaworld.com/smpp/content~content=a794329481~db=all~order=page
  • preprint: http://arxiv.org/abs/math.RT/0702876
• ``Fast Jacobian group operations for C_{3,4} curves over a large finite field,'' joint with F. Abu Salem, LMS Journal of Computation and Mathematics 10 (2007), 307-328.
  • published version, with Magma code: http://www.lms.ac.uk/jcm/10/lms2006-049/
  • preprint: http://arxiv.org/abs/math.NT/0610121
• ``Asymptotically fast group operations on Jacobians of general curves,'' Mathematics of Computation 76 (2007), 2213-2239.
  • published version: http://www.ams.org/mcom/2007-76-260/S0025-5718-07-01989-8/home.html
  • preprint: http://arxiv.org/abs/math.NT/0409209
• ``Linear algebra algorithms for divisors on an algebraic curve,'' Mathematics of Computation 73 (2004), 333-357.
  • published version: http://www.ams.org/mcom/2004-73-245/S0025-5718-03-01567-9/home.html
  • preprint: http://arxiv.org/abs/math.NT/0105182
• ``An exact sequence in the representation theory of SL(2),'' Communications in Algebra 31 (2003), 4153-4160.
  • published version: http://www.informaworld.com/smpp/content?content=10.1081/AGB-120022783
  • preprint: http://people.aub.edu.lb/~kmakdisi/sympowers.pdf
• ``On the curves associated to certain rings of automorphic forms,'' Canadian Journal of Mathematics 53 (2001), 98-121.
  • published version: http://journals.cms.math.ca/cgi-bin/vault/view/khuri1098
  • preprint: http://people.aub.edu.lb/~kmakdisi/quaternion.pdf
• ``Representations of SL(2) x G,'' in Automorphic Forms, Automorphic Representations, and Arithmetic, Proceedings of Symposia in Pure Mathematics, vol. 66, no. 2, 251-276 (American Mathematical Society, 1999), eds. R. Doran, Z.-L. Dou, and G. Gilbert.
  • AMS Bookstore listing for PSPUM-66: http://www.ams.org/bookstore-getitem/item=PSPUM-66
  • preprint: http://people.aub.edu.lb/~kmakdisi/sl2g.pdf
• ``On the Iwahori-Hecke algebra of a p-adic group,'' joint with N. Chriss, International Mathematical Research Notices (1998), no. 2, 85-100.
  • published version: http://imrn.oxfordjournals.org/cgi/content/citation/1998/2/85
  • preprint: http://people.aub.edu.lb/~kmakdisi/papwnc.pdf
• ``Relations between Fourier coefficients of nonholomorphic Hilbert modular forms of half-integral weight and special values of Dirichlet series,'' Ph.D. thesis, Princeton University, 1993, revised version published as ``On the Fourier coefficients of nonholomorphic Hilbert modular forms of half-integral weight,'' Duke Mathematical Journal 84 (1996), 399-452.
  • published version: http://projecteuclid.org/getRecord?id=euclid.dmj/1077243836
  • preprint: http://people.aub.edu.lb/~kmakdisi/thes.pdf

Recent Talks:

• Using algebraic values of modular forms to obtain models of modular curves, Workshop on Explicit Methods in Number Theory, Mathematisches Forschungsinstitut Oberwolfach, Germany, July 2011.
• Using algebraic values of modular forms to obtain models of modular curves, part of workshop "Algorithms for Curves, Moduli, and Isogenies", Laboratoire LIX, Ecole Polytechnique, July 2011.
• Two talks: (i) Algorithmic representation of a curve and its Jacobian, and (ii) Using algebraic values of modular forms to obtain models of modular curves, ALGOL conference, University of Lyon, June 2011.
• Projective embeddings of algebraic curves, with applications to modular curves (survey talk), AUB Mathematics Department Colloquium, May 2011.
• Using algebraic values of modular forms to obtain models of modular curves, AGCT-13 Conference (Arithmetic, Geometry, Cryptography and Coding Theory), C.I.R.M., Luminy, March 2011.
• Using algebraic values of modular forms to obtain models of modular curves, Rational Points 3 workshop, University of Bayreuth, July 2010.
• Periods of modular forms and identities between Eisenstein series, University of Bristol seminar, May 2010.
• Equations for modular curves (survey talk), University of Cyprus Mathematics Department Colloquium, December 2009.
• Equations for modular curves (survey talk), Center for Advanced Mathematical Sciences (CAMS), American University of Beirut (AUB), November 2009.
• Fast arithmetic in Picard groups of general curves, MAGMA seminar, University of Sydney, September 2009.
• Moduli interpretation of Eisenstein series, Conference on modular forms and related topics, Center for Advanced Mathematical Sciences (CAMS), American University of Beirut (AUB), July 2009.
• Moduli interpretation and equations for modular curves, four-hour minicourse presented at the Centre de Recherches Mathematiques, Universite de Montreal, as part of the CRM Summer School on Automorphic Forms and L-Functions: Computational Aspects, June-July 2009.
• Generating functions for Hecke operators, AUB Mathematics Department Colloquium, February 2009.
• Moduli interpretation and improved convergence for Eisenstein series, Center for Advanced Mathematical Sciences (CAMS), American University of Beirut, October 2008.
• Representing algebraic curves by interpolation, with applications to modular curves, seminar at T.U. Berlin, June 2008.
• Algorithmic representation of a curve and its Jacobian, Center for Advanced Mathematical Sciences (CAMS), American University of Beirut, October 2007.
• Fast Jacobian arithmetic on C_{3,4} curves, Workshop on Rational Points on Curves and Higher-Dimensional Varieties: Theory and Explicit Methods, International University of Bremen, Germany, July 2007.
• Algorithmic representation of a curve and its Jacobian, Workshop on Explicit Methods in Number Theory, Mathematisches Forschungsinstitut Oberwolfach, Germany, July 2007.
• Algorithmic representation of a curve and its Jacobian, Universite Grenoble Number Theory Seminar, June 2007.
• Fast group operations on Jacobians of C_{3,4} curves, presentation at internal seminar of Ecole Polytechnique Algorithmic Number Theory and Cryptology Group, June 2007.
• Algorithmic representation of a curve and its Jacobian, Computer Algebra Conference in Kaiserslautern, May 2007.
• Algorithmic representation of a curve and its Jacobian, Universites Paris 6 and 7 Number Theory Seminar, May 2007.
• Algorithmic representation of a curve and its Jacobian, Universite Rennes Cryptography Seminar, May 2007.
• Algorithmic representation of a curve and its Jacobian, University of Montpellier Number Theory Seminar, March 2007.
• Algorithmic representation of a curve and its Jacobian, University of Bordeaux Number Theory Seminar, March 2007.
• Fast algorithms for Picard groups of general curves, Magma 2006 conference, Technical University of Berlin, August 2006.
• Fast algorithms for Picard groups of general curves, University of Leipzig Mathematics Department, July 2006.
• On equations for modular curves, Fast group arithmetic on Jacobians I, and Fast group arithmetic on Jacobians II: three talks presented at the University of Duisburg-Essen, as part of a scientific visit to the Institute for Experimental Mathematics in Essen, August 2005.
• Implementing addition on J(k), Workshop on Rational Points on Curves - Explicit Methods, International University of Bremen, July 2005.
• Applications of elliptic curves in cryptography and computational number theory (mini course), 6 hours of lectures delivered as part of CIMPA-UNESCO-LEBANON Summer School, Beirut, July 2004 (see below under "Organizing Conferences").
• Fourier Coefficients of Maass Forms, AUB Mathematics Department Colloquium, April 2004.
• Asymptotically fast algorithms for Jacobians of general curves, Courant Institute (NYU) Joint Mathematics and Computer Science Seminar, September 2003.
• Asymptotically fast algorithms for Jacobians of general curves, presentation at internal seminar of Ecole Polytechnique Algorithmic Number Theory and Cryptology Group, Paris, July 2003.
• Asymptotically fast algorithms for Jacobians of general curves, Journees Arithmetiques XXIII, Graz, Austria, July 2003.

Experience in Organizing Conferences:

• Scientific Committee Member, Second annual meeting of the Lebanese Society for the Mathematical Sciences (LSMS), Lebanese American University, Beirut, Lebanon, April 2011.
• Program Committee Member, Algorithmic Number Theory Symposium ANTS-IX, July 2010 in LORIA, Nancy, France.
• Scientific Committee Member, First annual meeting of the Lebanese Society for the Mathematical Sciences (LSMS), Lebanese University, Fanar, Lebanon, January 2010.
• Organizing Committee Member, Conference on Modular Forms and Related Topics, CAMS, AUB, Beirut, Lebanon, July 2009.
• Scientific Committee Member, CIMPA-UNESCO-LEBANON summer school on algebraic geometry and arithmetic of curves, CAMS, AUB, Beirut, Lebanon, July 2004. The summer school was sponsored by CIMPA (Centre International de Mathematiques Pures et Appliquees, Nice, France). Lecturer for one of the courses of the lecture school. Lecture notes available from http://people.aub.edu.lb/~kmakdisi/makdisi-cimpa-lectures-2004.pdf  . Also involved in significant organizational work for the school.
• Organizing Committee Member, Second International Conference on Trends in Mathematics Education (ICTME-2) at the Lebanese American University, June 2003. As secretary of organizing committee, handled registration information, paper submission and refereeing, and other correspondence (such as enquiries) for 80 participants.
• Organizing Committee Member, First Beit Mery Workshop on Mathematical Sciences: Geometry and Physics, organized by CAMS, January 2000.

Teaching Experience:

• Awarded two teaching prizes and nominated for a third on four occasions, described under Honors and Awards below.
• Successful experience in teaching a wide variety of courses, including single and multivariable calculus, discrete mathematics, differential equations, linear algebra, honors advanced calculus and linear algebra, Galois theory, number theory (elementary number theory, algebraic number theory, and algorithmic number theory), introductory real analysis, an advanced undergraduate course in Fourier analysis and partial differential equations, courses in graduate abstract algebra including commutative algebra and symbolic computation, and a graduate course on the analytic theory of modular forms.
• Supervision of nine M.S. theses at the mathematics department at AUB. Thesis topics: (i) Reduction theory for GL(n) and O(p,q) (in progress), 2010-2011; (ii) Iwasawa, Cartan, and Bruhat decompositions for GL(n) and O(p,q) (in progress), 2010-2011; (iii) Arithmetic of Quaternion algebras, 2010-2011; (iv) Theta functions on g-dimensional complex tori, 2008-2009; (v) Siegel modular forms and theta functions, 2008-2009; (vi) descent on elliptic curves and the Mordell-Weil theorem, 2006-2007; (vii) quadratic forms over Q and Z, 2005-2007; (viii) elliptic curves and applications to cryptography, 2002-2003; (ix) the quadratic sieve algorithm for factoring large integers, 2001-2002.
• Supervised an undergraduate thesis at Harvard on Artin L-functions, 1997-1998.
• AUB mathematics department ad hoc committee on teaching and learning objectives for the department's programs, 2008.
• AUB mathematics department committee on mathematics courses for engineering students, 2005-2006.
• AUB faculty of arts and sciences committee for the computational science program, 2004-present.
• AUB mathematics department ad hoc committee on curriculum revision, Fall 2000.
• Qualifying exams committee, Harvard University, 1995-1997.

Honors and Awards:

• 2011: Visiting scholar (two weeks), Ecole Polytechnique, Paris, July 2011.
• 2010: Visitor, Centre de Recherches Mathematiques, Universite de Montreal (one month), March-April 2010.
• 2009: Visiting scholar, University of Sydney Computational Algebra Group (one month), August-September 2009.
• 2008: Faculty development grant, University Research Board, AUB. Partial funding to attend a workshop on rational points at the University of Warwick and for a scientific visit to Technische Universitat Berlin.
• 2007: Visiting Professor, University of Paris (Paris 7 and 8, for one month each).
• 2007: Visiting Professor, University of Bordeaux (one month).
• 2005, 2007, 2008, and 2009: Nominated four times for AUB Award for Excellence in Teaching.
• 2003-2005: Awarded grants from University Research Board, AUB (2003-05), and from Lebanese National Council for Scientific Research (2003-04), for research project in algorithmic number theory ``Equations for Modular and Shimura Curves.''
• 2003: Clay Mathematics Institute Prize Fellow, August 1-September 15, 2003. Visited Princeton University and attended ``Unity of Mathematics'' conference at Harvard University.
• 2003: TEMPUS Individual Mobility Grant from the European Training Foundation, for the month of July. Visited Universite Paris 13 and participated at the Journees Arithmetiques XXIII conference in Graz, Austria.
• 2003: Short-term faculty development grant, University Research Board, AUB. Attended conferences at the Ohio State University, Columbus, and Indiana University, Bloomington.
• 2002: Hewlett Junior Faculty Research grant, for a semester of research leave in the fall of 2002.
• 2002: Long-term faculty development grant, University Research Board, AUB, for summer 2002. Visited the Park City Mathematics Institute Workshop on Automorphic Forms in Park City, Utah.
• 2000: Clay Mathematics Scholar for the summer of 2000. Visited Centre Emile Borel in Paris, Harvard University in Cambridge, Massachusetts, and Mathematical Sciences Research Institute, Berkeley, California.
• 1998: Received Phi Beta Kappa award for excellence in teaching, Harvard University.
• 1996: Received Levenson award for excellence in undergraduate teaching, Harvard University.
• 1989-1993: Supported by a National Science Foundation Graduate Fellowship and a grant from the U.S. Department of Education.
• 1988: DeForest prize for proficiency in pure and applied mathematics, Yale University.
• 1988: Edward O. Lanphier memorial award in electrical engineering, Yale University.
• 1986-1987: Honorable Mention, 47th and 48th annual Putnam mathematics competition (ranked in the top 30).
• 1986: Elected to Phi Beta Kappa (national arts and sciences honor society) and to Tau Beta Pi (national engineering honor society) during junior year of college.

Previous academic work in electrical engineering and computer science:

• Basic coursework in electronic circuit analysis and design, control theory, data structures, systems programming, digital electronics, computer architecture, and VLSI design.
• Graduate courses in theoretical computer science (mainly complexity theory) and in algorithms for computer-aided design of integrated circuits (including a project that involved implementing a new algorithm for the placement problem).