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)
| ||
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 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 | 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) | |
ACM Collegiate Programming Contest team (Rice 1989, 5th place Nationals; CMU 1990) |