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) An Introduction to Interactive Programming in Python (10) Helped create course. Among top-ranked 5-star courses on Knollop, TopFreeClasses, CourseTalk COMP 100: Introduction to Computing and Information Systems (12) COMP 130: Elements of Algorithms and Computation (1) Created course to meet department's need for fast-tracking freshmen starting a semester late COMP 130: Elements of Algorithms and Computation (formerly COMP 200: Elements of Computer Science) (11) Transitioned course to use Python, increase rigor, and to use “flipped” classroom model COMP 160: Introduction to Computer Gaming (2) Helped transition course to use Python and “flipped” classroom model COMP 182: Algorithmic Thinking (1) Created the original set of lab exercises COMP 210: Principles of Computing and Programming (11) COMP 212: Intermediate Programming (1) COMP 280: Mathematics of Computation (5) COMP 320: Introduction to Computer Organization / Introduction to Computer Systems (currently COMP 321) (8) Transitioned course from focusing on computer organization and architecture to system-level software and its enabling hardware COMP 382 (1) Created materials for new tutorial sessions COMP 400: Technical Communication in Computer Science (1) Created course COMP 430/533: Introduction to Database Systems (2) COMP 481: Automata, Formal Languages, and Computability (7) COMP 482 / ELEC 420: Design and Analysis of Algorithms (7) Transformed course project into having a focus on technical writing COMP 600: Graduate Research Seminar (20) Created course COMP 607: Automated Program Verification (2) ELEC 220: Fundamentals of Computer Engineering (1) Other roles for the courses (# semesters) COMP 140: Computational Thinking (2) Created instructional videos COMP 322: Parallel Programming (1) Created online quizzes ENGI 120: Introduction to Engineering Design (2) Faculty mentor for design team ENGI 330: Engineering Practicum (4) Evaluated Curricular Practical Training reports 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 Computer Science Department Undergraduate Committee (1997/98–present) Major advisor, Transfer credit advisor Engineering Divisional Advisor (1998/99–2012/13, 2014/15, 2016/17) at Hanszen College First Year Mentor (2011/12, 2014/15, 2016/17) at Hanszen College Natural Science Divisional Advisor (2004/05) at Hanszen College Academic advising for varsity football recruits (1998–2006, 2008) Computer Science Department, Mentor for Ph.D. students (January 2006–July 2008) Other departmental service ACM-ICPC Programming Contest Team Coach (2003/04–present) Undergraduate Lunch Talk Series Organizer (2013–present), Co-creator (2008) National Center for Women and Information Technology Academic Alliance Departmental liaison (Fall 2008–present) Planning Committee for local Award for Computing Aspirations (2010–present) ADVANCE Recruiting Committee, Departmental representative (Fall 2008–Spring 2010) Other university service Faculty Associate (1998/99–present) and University Associate (1997/98) at Hanszen College Committee on the Undergraduate Curriculum (2002/03–2010/11, 2016/17–present) Chair, subcommittees on Jewish Studies minor (2008), African Studies minor (2009/10) Member, subcommittes on Global Health Technologies minor (2008) and Student-Taught Courses (2010/11) ΦΒΚ (Phi Beta Kappa) national honor society, Beta of Texas (2004–present) Past President (2016/17–present), President (2009/10–2015/16), Vice President (2008/09), Senator (2005/06–2007/08), Secretary (2004/05) Chair, Teaching Prize Nomination Committee (2007–present) Committee on Teaching (2013/14–2015/16) Member, subcommittee on MOOCs (2013/14), Member, subcommittee on Brown Teaching Awards (2015/16) Faculty Senate Working Group on Online Education (2012/13) Committee on Fellowships and Awards (2006/07–2010/11) Cain Project Faculty Advisory Committee (2005/06–2007/08) Rice Undergraduate Research Seminar Judge (2002–2003, 2005–2014) Rice Chess Club Faculty Sponsor (1999–2006, 2008–present) Rice Women's Lacrosse Faculty Sponsor (2011–2015) 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 Rⁿ 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)
Related Activities	ACM Collegiate Programming Contest team (Rice 1989, 5th place Nationals; CMU 1990)