John D. Greiner

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

Career Experience	Rice University, Computer Science Department Houston, TX
		Assistant Teaching Professor (July 2024–present) Senior Lecturer (Sep 2020–June 2024) Lecturer (July 1997–Aug 2020) Summary for 2025 Director of Undergraduate Studies, Artificial Intelligence: Gave multiple interviews for Thresher, Created web pages and advising documents, Represented major at Academic Fair, Hosted two advising sessions, Met with Director of CMU's AI major Taught COMP 610, COMP 621, COMP 630, COMP 682: Revised several assignments in COMP 621, Revised materials in COMP 682 in collaboration with Xiaofun Yu Other teaching-related: Faculty mentor for ENGI 120 teams, Created course proposals for COMP 456/457, Preparation work for COMP 456/457, Signed letter of collaboration with Tianjun Sun to incorporate her CAREER research into COMP 456/457, Requested by colleagues to provide feedback on COMP 610, COMP 613, COMP 614 Engineering Divisional Advisor, Hanszen College Faculty Associate, Hanszen College MCS and MCS@Rice Admissions Committees Committee on University Curriculum: member, chair of subcommittee on Digital Health Minor, member of subcommittee on BS for Kinesiology Rice Digital Learning: Completed Teaching with AI at Rice course, Attended presentation about AI grants Center for Teaching Excellence: Gave talk on online teaching, Attended several talks Grant proposals: Submitted NSF proposal on K-12 pedagogy (denied), Submitted two Rice Digital Learning proposals on teaching with AI (both approved) Conferences: Attended SIGCSE 2025 and FIE 2025, Reviewer for FIE 2025 and SIGCSE 2026, Session chair for FIE 2025 ICPC Programming Contest: Hosted a site of South Central USA regional contest, Coached team that reached North American Championship, Obtained new sponsorship from Jane Street Phi Beta Kappa national honor society: Chapter Past-President, Teaching Prize Committee chair, Organized joint site visit with UH by Visiting Scholar Ingrid Daubechies. Tau Beta Pi national honor society: Faculty sponsor National Center for Women in Information Technology: Department representative, Houston-area Program Committee Nominated for Office of Academic Advising Excellence in Academic Advising Award Invited talk at TRAINS (Tomball ISD AI Symposium) MCS@Rice: Hosted online happy hour, Led campus tour, Participated in three welcome sessions 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 (2) COMP 614: Programming for Data Science (1) Co-created course for new MDS program. COMP 621: System Software (13) Created course for new online MCS program. COMP 630: Databases (20) Created course for new online MCS program. COMP 682: Algorithms (2) 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/EDES 120: Introduction to Engineering Design (10) Faculty mentor for freshman design teams ENGI 330: Engineering Practicum (7) Evaluated Curricular Practical Training reports Curriculum-based service Director of Undergraduate Studies, Artificial Intelligence (2024–present) Committee on the Undergraduate Curriculum (2002/03–2010/11, 2016/17–2019/20, 2024/25–) Chair, subcommittees on Jewish Studies minor (2008), African Studies minor (2009/10), Digital Health minor (2025) Member, subcommittes on Global Health Technologies minor (2008), Student-Taught Courses (2010/11), BS in Kinesiology (2025) 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 (Jan 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–present) World Finals (2006, 2015, 2016), North American Championship (2019–2026), Obtained corporate sponsorships (2022/23, 2025/26) MCS@Rice Admissions Committee (2019–present) MCS Admissions Committee (2019/20–present) Undergraduate Lunch Talk Series Organizer (2013–2017), Co-creator (2008) 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) Organized Visiting Scholar site visit @ Rice/UH (2025) ΤΒΠ (Tau Beta Pi) engineering national honor society, Texas Gamma chapter Faculty sponsor (2018/19–2021,2025) 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, 2024) 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, 2024) Nominated for School of Engineering Award for Excellence in Teaching (2024) Nominated for Office of Academic Advising Excellence in Academic Advising Award (2017,2024,2025)
	GALT Technologies, Inc. (acquired by Intuit, Inc.) Pittsburgh, PA
		Product Manager (June 1996–June 1997) Special Projects Designer (Aug 1994–May 1996). 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.
	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

Professional Service	IEEE Frontiers in Education (FIE): Reviewer (2025), Session chair (2025)		ACM Special Interest Group for Computer Science Education (SIGCSE): Reviewer (2025)		Have reviewed numerous textbooks

	Invited Lectures	AI in the Classroom TRAINS Houston, TX, December 2025		Brokerages on the web Marketing Securities & Mutual Funds Over Internet New York, NY, October 1995
		Programming with Inductive and Co-Inductive Types Kansas State University, Computing and Information Sciences Department Manhattan, KS, December 1991

Other Talks		Design Recipes as Introductory Computer Science, International Conference on College Teaching and Learning, April 2000.

Refereed Publications		Facilitating Human Interaction in an Online Programming Course. 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)