John D. Greiner

http://cs.rice.edu/~greiner/ greiner (AT) rice.edu

Career Experience	Rice University, Computer Science Department Houston, TX
		Senior Lecturer (July 1997–present). Instructor or co-instructor for the courses (# semesters) An Introduction to Interactive Programming in Python (many) 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 (8) Created course to meet department's need for fast-tracking freshmen starting a semester late. Course later merged with COMP 200. Developed into department's first fully online course. COMP 140: Computational Thinking (3) Helped create videos for course, in conjunction with COMP 130. 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 200: Elements of Computer Science (5) Transitioned course to use Python, increase rigor, and to use “flipped” classroom model. Continued course as COMP 130. COMP 210: Principles of Computing and Programming (11) Redeveloped the course lab section. 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 380: Practical Problem-Solving (1) Created flipped course. COMP 382: Reasoning about Algororithms (1) Created materials for new tutorial sessions COMP 400: Technical Communication in Computer Science (1) Created course COMP 430/533: Introduction to Database Systems (4) 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) Co-created a version based upon SPIN model checking. COMP 610: Software Construction (1) COMP 614: Programming for Data Science (1) Co-created course for new MDS program. COMP 621: System Software (11) Created course for new online MCS program. COMP 630: Databases (15) Created course for new online MCS program. ELEC 220: Fundamentals of Computer Engineering (1) Mini-seminar for computer science research poster design (2007–2010, 2016) Other roles for courses (# semesters) COMP 322: Parallel Programming (1) Created online quizzes ENGI 120: Introduction to Engineering Design (8) Faculty mentor for freshman design team ENGI 330: Engineering Practicum (7) Evaluated Curricular Practical Training reports Curriculum-based service Committee on the Undergraduate Curriculum (2002/03–2010/11, 2016/17–2019/20) 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) Faculty Senate Working Group on Online Education (2012/13) Engineering Education Team, Departmental representative (Fall 2008–Spring 2019) Lead department's assessment and accreditation reporting Engineering Curriculum Committee, Departmental representative (Spring 2009) Led department's revision of MCS curriculum (2011) TeachLogic project (2002/03–2004/05) Co-developed course materials for Connexions platform Advising and mentoring Computer Science Department Undergraduate Committee (1997/98–2018/19) Major advising, Transfer credit advising Engineering Divisional Advisor (1998/99–2012/13, 2014/15, 2016/17–2018/19, 2022/23–present) at Hanszen College First Year Mentor (2011/12, 2014/15, 2016/17) at Hanszen College Orientation Week Group Associate (1997–present) at Hanszen College Natural Science Divisional Advisor (2004/05) at Hanszen College Academic advising for varsity football recruits (periodically, as needed) Computer Science Department, Mentor for Ph.D. students (January 2006–July 2008) Mentored HS student from Harmony Science Academy for 2009 Houston Science Fair Student won 3rd place trophy from NASA Mentored HS student from Shadow Creek HS for AP Research project (2022/23) Broadening Participation in Computing service 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) Computer Science Department Working Group on Broadening Participation in Computing, Member (Fall 2021–Fall 2022) Other departmental service ACM-ICPC Programming Contest Team Coach (2003/04–present) Undergraduate Lunch Talk Series Organizer (2013–2017), Co-creator (2008) MCS@Rice Admissions Committee (2019–present) MCS Admissions Committee (2019/20–present) Other university service Faculty Associate (1998/99–present) and University Associate (1997/98) at Hanszen College ΦΒΚ (Phi Beta Kappa) liberal arts national honor society, Beta of Texas chapter 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) ΤΒΠ (Tau Beta Pi) engineering national honor society, Texas Gamma chapter Faculty sponsor (2018/19–present) Committee on Teaching Member (2013/14–2015/16) Member, subcommittee on MOOCs (2013/14), Member, subcommittee on Brown Teaching Awards (2015/16) Committee on Fellowships and Awards Member (2006/07–2010/11) Cain Project Faculty Advisory Committee Member (2005/06–2007/08) Undergraduate research poster judge: Shapiro Showcase (2024), Rice Undergraduate Research Seminar (2002–2003, 2005–2014) Rice Hackathon Judge (2022) ICPC Club Faculty Sponsor (2018–present) Rice Chess Club Faculty Sponsor (1999–2006, 2008–2017) Rice Women's Lacrosse Club Faculty Sponsor (2011–2015) Honors and Awards Recognized by University Board of Trustees for leadership in MOOCs (2013) Outstanding Faculty Associate Award (1999, 2009) Distinguished Associate Award (1998, 2000–2008, 2010–2012, 2014–2017, 2019, 2023) Nominated for School of Engineering Award for Excellence in Teaching (2024) Nominated for Office of Academic Advising Excellence in Academic Advising Award (2017,2024)
	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)