Florian Lengyel, PhD - CUNY Advanced Science Research Center

(a) Professional Preparation.
Florian Lengyel
CUNY Environmental Cross-Roads Initiative
The City College of New York, CUNY
160 Convent Avenue, New York, NY 10031
Email: flengyel@ccny.cuny.edu
Queens College, CUNY Mathematics (with honors) BA (1995)
Graduate School and University Center, CUNY Mathematics M.Ph. (2002)
Graduate School and University Center, CUNY Mathematics Ph.D. (2002)
(b) Appointments
Research Associate, CUNY Environmental Cross-Roads Initiative, The City College of New York, April
2011–present.
Director of Research Computing, CUNY Graduate Center, Dept. of Information Technology, 2010–2011.
Adjunct Professor, Ph.D. Program in Computer Science, CUNY Graduate Center, CUNY, 2005–present.
Assistant Director for Research Computing, CUNY Graduate Center of CUNY, Dept. of Information Technology,
2002–2010.
Senior System Administrator, CUNY Graduate Center, Dept. of Information Resources, 1999-2002
(c) Products
Lengyel, F. “Richard Stanley’s enumeration formula for the number of almost injective maps.” submitted
(2013).
Lengyel, F., Mäkelä, J. “TERSI: simulation of institutions via Heath’s typology of mechanisms of cooperative
benefit.” https://github.com/flengyel/TERSI December 31, 2012.
Oscar Chávez Bosquez, Pilar Pozos-Parra, and Florian Lengyel. “Solving the International Timetabling
Competition: a Deterministic Approach.” Fundamenta Informaticae Volume 113 (2011) pp. 1-18.
Oscar Chávez Bosquez, Pilar Pozos-Parra, and Florian Lengyel. “Towards a deterministic algorithm for the
International Timetabling Competition.” 17th RCRA International Workshop on Experimental evaluation
of algorithms for solving problems with combinatorial explosion. (2010).
Orlowski, L. and Lengyel, F. “The Corner Office in Bangalore NY Times Op-Ed June 9, 2006.
Lengyel, F. “More existence theorems for recursion categories.” Annals of Pure and Applied Logic 125 (2004)
pp. 1-41.
Halpert, A., Lengyel, F., Pach, J., “Cellular telephone networks and random maps in hypergraphs.” Discrete
Applied Mathematics 103 (2000) pp. 111-126.
Preprints
Lengyel, F. and St-Pierre, Benoit. “Denial Logic.” arXiv:1203.0389 [math.LO] (2012)
Lengyel, F. “Cartesian Closed Categories for the Logic of Proofs.” CUNY Graduate Center CS Dept. Tech.
Report TR-2009002 (2009).
Lengyel, F. “Locally Connected Recursion Categories.” CUNY Graduate Center CS Dept. Tech. Report
TR-2006011 (2006).

Presentations
Yang, P., Rosenzweig, B., Lengyel, F. and Vorosmarty, C. Intercomparison of Downscaling Methods on
Hydrological Applications for the Northeast U.S. Earth System Model. American Meteorological Society
2013 Meeting. January, 2013.
Lengyel, F., Rosenzweig, B., Yang, P. and Vorosmarty, C. “Distributed Scientific Workflow for the Northeast
Regional Earth System Model.” American Geophysical Union Fall 2012 Meeting. December 3rd, 2012.
Lengyel, F. Invited talk. Panel on knowledge and rationality. The Constructive in Logic and Applications.
A Conference in Honor of the 60th Birthday of Sergei Artemov. CUNY Graduate Center, May 25, 2012.
Yang, P., Lengyel, F., Rosenzweig, B., Vorosmarty, C. “Managing large scale data for regional climate
modeling.” iRODS User Group meeting. University of Arizona. March, 2012.
Lengyel, F. “iRODS integration of Earth System Models.” Northeast Regional Earth System Model Group
Meeting. City College, CUNY. February 9, 2012.
Lengyel, F. “The Curry-Howard-Lambek isomorphism for CCCs with LP structure.” New York Category
Theory Seminar. CUNY Graduate Center. March 23, 2009.
Lengyel, F. “Open Source Projects at the CUNY Graduate Center” CUNY Fifth Annual IT Conference.
John Jay College of Criminal Justice, CUNY. December 1, 2006.
Lengyel, F. “An asymptotically Gosper-summable enumeration formula.” Computational Logic Seminar.
CUNY Graduate Center. November 1, 2005.
(d) Synergistic Activities
Development and direction of the CUNY Graduate Center’s research computing facility (1999–2011); supervision
of ten Ph.D. student Research Computing Fellows (2003–2011); software development and support for
computer assisted mathematical research, including: Mathematica computations of closed hypergeometric
forms of binomial coefficient enumeration formulas for a model of a cellular telephone call switching system;
computation in Macaulay2 of the dimension of the affine algebraic set of representations in SL(2,C)
of parafree groups; computation in PARI (a computer system for algebraic number theory) of families of
Atkin-Lehner quotients of Shimura Curves with odd Jacobian (1999-2010).
Reviewer for Computers and Geosciences; the Central European Journal of Mathematics; Annals of Pure
and Applied Logic; the 2011 Workshop on Logic, Language Information and Computation and others.
Development of malware sandbox, programming, documentation and curriculum materials for a graduate
course in cyber attack Bayesian pattern recognition (2010-2011).
CUNY Liaison to New York State Grid (2008–2011).
CUNY Official Representative for the Inter-University Consortium for Political and Social Research (2002–
2008).
(e) Collaborators & Other Affiliations
Collaborators and Co-Editors. Michael Kress, Paul Muzio, Robert Numrich (The College of Staten Island,
CUNY); Sergei Artemov, Rohit Parikh, Robert Haralick (The Graduate Center, CUNY); Bernice Rosenzweig,
Balazs Fekete, Ping Yang, Charles Vorosmarty (The City College of New York, CUNY); Oscar Chavez
Bosquez, Pilar Pozos-Parra (Department of Informatics and Systems, University of Tabasco), Jakke Mäkelä
(Nokia), Benoit St-Pierre (Soeurs de la Charité de Montréal).
Graduate Advisors and Postdoctoral Sponsors. Alex Heller, CUNY Graduate Center.
Thesis Advisor and Postgraduate-Scholar Sponsor. Xiaodong Yan, CUNY Graduate Center.
2