John D. Greiner


1514 Bracher St.
Houston, TX 77055
home: (713) 461-5642, work: (713) 348-3838
work fax: (713) 348-5930
http://www.cs.rice.edu/~greiner/
greiner (AT) rice.edu

Career Experience Rice University, Computer Science Department
Houston, TX
  Lecturer (July 1997–present).
Instructor or co-instructor for the courses (# semesters)
Other roles for the courses (# semesters)
Curricular assessment and other curricular development
  • Engineering Education Team, Departmental representative (Fall 2008–present)
    Lead department's assessment and accreditation reporting
  • Engineering Curriculum Committee, Departmental representative (Spring 2009)
  • Led revision of Computer Science professional Master's curriculum (2011)
  • Taught mini-seminar for research poster design (2007–2010, 2016)
  • TeachLogic project (2002/03–2004/05)
Advising and mentoring
Other departmental service
Other university service
Honors and Awards
Recognized by University Board of Trustees for leadership in MOOCs (??)
Outstanding Faculty Associate Award (1999, 2009)
Distinguished Associate Award (1998, 2000–2008, 2010–2012, 2014–2017)
Nominated for Office of Academic Advising Excellence in Academic Advising Award (2017)
GALT Technologies, Inc. (acquired by Intuit, Inc.)
Pittsburgh, PA
  Product Manager (June 1996–June 1997). Managed stock and web resource sections of NETworth, one of the first investment information and marketing web sites. Helped lead overall site presentation and promotions.
Special Projects Designer (August 1994–May 1996). Managed web resource section of NETworth. Prototyped new projects.
Rice University, Computer Science Department
Houston, TX
  Programmer and Student Research Scientist (Spring 1988, Fall 1988–Summer 1989, respectively); Matthias Felleisen, advisor. Ported and extended Scheme implementations, emphasizing continuation-based control and hygenic syntactic extensions.
Research Assistant (Summer 1988); Robert Hood, advisor. Developed UNIX process-manipulation software for the Rn scientific programming environment.
 
Other Teaching Experience Instituto Technológico y de Estudios Superiores de Monterrey (ITESM)
San Luis Potosí, SLP, Mexico
Visiting Professor (Summer 1998). For the course Intermediate Programming.
Carnegie Mellon University, School of Computer Science
Pittsburgh, PA
Teaching Assistant (Fall 1990, Fall 1992). Fundamental Structures of Computer Science II, Programming Languages Design & Implementation
Rice University, Computer Science Department
Houston, TX
Lab Assistant (Fall 1987, Spring 1988, Fall 1988). Programming Studio, Symbolic Computation, and Programming Languages
 
Invited Lectures Marketing Securities & Mutual Funds Over Internet
New York, NY
Brokerages on the Web. October 1995
Kansas State University, Computing and Information Sciences Department
Manhattan, KS
Programming with Inductive and Co-Inductive Types. December 1991.
 
Other Talks Design Recipes as Introductory Computer Science, International Conference on College Teaching and Learning, April 2000.
 
Refereed Publications Learning to Program as a Social Activity. Joe Warren, Scott Rixner, John Greiner, Stephen Wong. In SIGCSE Technical Symposium, March 2014.
A Provably Time-Efficient Parallel Implementation of Full Speculation. John Greiner and Guy E. Blelloch. In ACM Topics on Programming Languages and Systems, March 1999, 240–285.
A Provable Time and Space Efficient Implementation of NESL. Guy E. Blelloch and John Greiner. In International Conference on Functional Programming, Philadelphia, PA, May 1996, 213–225.
Weak Polymorphism Can Be Sound. John Greiner. In Journal of Functional Programming, volume 6, part 1, Cambridge University Press, January 1996, 111–141.
A Provably Time-Efficient Parallel Implementation of Full Speculation. John Greiner and Guy E. Blelloch. In Symposium on Principles of Programming Languages, St. Petersburg, FL, January 1996, 309–321.
Parallelism in Sequential Functional Languages. Guy E. Blelloch and John Greiner. In Conference on Functional Programming Languages and Computer Architectures, La Jolla, CA, June 1995, 226–237.
Data-Parallel Connected Components Algorithms. John Greiner and Guy E. Blelloch. In High Performance Computing, Gary Sabot (ed.), Addison Wesley, 1995, 156–185.
A Comparison of Parallel Algorithms for Connected Components. John Greiner. In Symposium on Parallel Algorithms and Architectures, Cape May, NJ, June 1994, 16–25.
 
Other Publications A Parallel Complexity Model for Functional Languages. Guy Blelloch and John Greiner. Technical Report CMU-CS-94-196, Carnegie Mellon University, October 1994.
Standard ML Weak Polymorphism Can Be Sound. John Greiner. Technical Report CMU-CS-93-160R (also Fox Memorandum CMU-CS-93-05), Carnegie Mellon University, September 1993.
A Comparison of Data-Parallel Algorithms for Connected Components. John Greiner. Technical Report CMU-CS-93-191, Carnegie Mellon University, August 1993.
Programming with Inductive and Co-Inductive Types. John Greiner. Technical Report CMU-CS-92-109, Carnegie Mellon University, January 1992.
 
Education Carnegie Mellon University
Pittsburgh, PA
  Ph.D. Computer Science, May 1997. Dissertation: “Semantics-based complexity models of parallel functional languages”. Guy Blelloch, advisor.
M.S. Computer Science, May 1992.
Ergo, POP, Fox, and SCANDAL projects.
Rice University
Houston, TX
  B.A. Computer Science (Software), Mathematical Science (Computation), Linguistics (Honors, Cognitive Science), May 1989, Summa Cum Laude, GPA: 3.99/4.0.
 
Scholastic Honors Include Phi Beta Kappa, Tau Beta Pi, Office of Naval Research Graduate Fellow, Hanszen College Fellow, National Merit Scholar, Max Roy Scholar, Walsh Scholar.
 
Related Activities Developed web sites on financial topics, bicycling, music, and other subjects (1994-1997)
ACM Collegiate Programming Contest team (Rice 1989, 5th place Nationals; CMU 1990)