.. Pages of Kent D. Lee master file, created by sphinx-quickstart on Fri Aug 24 14:15:51 2018. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. The Pages of Kent D. Lee ================================================ Hello! -------- .. figure:: _static/kent800.jpg :align: right I am an Emeritus Professor at Luther College. I now work for Cray HPE as a Software Engineer/Architect where I design and implement software for high performance computing (HPC) programming environments. For items in need of attention related to Luther College and the Computer Science/Data Science departments, please contact the department chair, Roman Yasinovskyy (roman@luther.edu). | **Kent D. Lee, PhD** | **Professor Emeritus** | **Computer Science** | **Luther College** Interested in Learning to Program? ------------------------------------ It's never too early to learn to program. My experience has shown me that students as early as elementary age enjoy creating really cool programs. And it's not too late to start in college or even after college either! I have written several textbooks and other curricula for Computer Science. They are listed below along with links to supplementary files that go along with the texts. Introduction to Programming ++++++++++++++++++++++++++++++ .. figure:: _static/introtext.jpg :align: right My `introductory text for computer programming `_ focuses on Python programming. It introduces programming to people with no previous experience in programming. In support of this text I have produced lectures that are available for free on Youtube. These videos have been very popular with people learning to program. The last I checked there were a half million views of these lectures and over 3,300 subscribers to my channel. You can find the `playlist for these videos by clicking here `_. `You can access the supplementary materials for this textbook by clicking here `_. .. figure:: _static/frogger.gif :align: right I have also written a very concise (meaning dense and more intense) introduction to Python programming through the development of computer games - both 2D video games and board games. The online text focuses on learning to program first, followed by an introduction to programming 2D graphics video games using Turtle Graphics and PyGame. Then it moves on to Artificial Intelligence topics like building computer opponents for games of perfect information. Finally it concludes with an introduction to Machine Learning and the Alpha Go Zero algorithm for teaching a neural net to play a game of perfect information (like Go, Chess, Connect Four, Checkers, or Tic Tac Toe) without any expertise from a human and with no human interaction. Alpha Go Zero builds extremely strong computer opponents by playing games itself and *teaching* itself to play a game. `You can find this free online textbook by clicking here `_. There are two other resources that I have written for introductory programming. The site `Sampling CS for Middle and High School Students `_ contains some teaching materials that are appropriate, and *fun*, for teaching high school and middle school students. I have also created a sequence of videos for building the game of Frogger. This `playlist contains the full set of Python Programming by Example `_ videos. The `Frogger GitHub repository contains the code examples `_ that go along with this series of lessons. Data Structures and Algorithms ++++++++++++++++++++++++++++++++ .. figure:: _static/datastructures.jpg :align: right With Dr. Steve Hubbard, Professor Emeritus at Luther College, I have written a `textbook on Data Structures and Algorithms with Python `_ as the programming language. This text contains the traditional second course in Computer Science topics along with Advanced Data Structures topics that are appropriate for a third or fourth year Computer Science undergraduate course. The text focuses on many data structures including Stacks, Queues, Heaps, Priority Queues, Hashtables for sets and maps, and balanced search trees including AVL Trees, Splay Trees, and B-Trees. It also includes search and sorting algorithms and heuristic search algorithms. The text addresses computational complexity of algorithms throughout by teaching you how to recognize and analyze algorithms to determine the behavior as the size of the data grows in an application. `You can access the supplementary materials for this text by clicking here `_. Foundations of Programming Languages ++++++++++++++++++++++++++++++++++++++ .. figure:: _static/proglang.jpg :align: right The implementation and specification of programming languages is an area that I really get excited about. I have written a `textbook which focuses on the design and implementation of programming languages `_. The text contains some theory mixed with various pieces of a programming language implementation. In addition, the text introduces the reader to virtual machines, functional programming with Standard ML, and logic programming with Prolog. You can get access to `support material for the textbook at this website `_. The first part of the text introduces a virtual machine, called JCoCo, which supports a low-level programming language and is based on the Python 3.2 virtual machine. In fact, JCoCo can execute disassembled Python 3.2 code. You can find `JCoCo's website here `_. There is a partial Java implementation provided to students at `http://github.com/kentdlee/JCoCo `_. A full version of the JCoCo implementation is available to teachers. The text also builds a compiler for a decent subset of Standard ML. The partial student version of this code is provided at `http://github.com/kentdlee/MLComp `_. Again, a complete version is available for teachers. The MLComp project includes a compiler from Standard ML to CoCo assembly language and a type inference system written in Prolog. The complete version for teachers includes the full code for both the compiler and the type inference system. Quick Links ------------------------ Here are links to tools I have written. These tools are free to use for educational purposes and commercial purposes. If you wish to incorporate any of these tools into a commercial application, you should contact me to get a license to use the code. Again, the tools are free to use commercially. If you want to use the source code (in full or in part) in a product, then you need to license the code from me. * `SRMStoFigs `_ is a tool for creating control/data flow diagrams of complex systems. It is useful in designing and debugging complex systems. Here are direct links for the resources I have written for teaching. You are welcome to use anything you find here for non-commercial, educational use. * `Python Programming Fundamentals Support Materials `_ has support materials for my introductory Python programming text. Solutions and other teaching resources are available to teachers upon request. * `Data Structures and Algorithms with Python Textbook Support Materials `_ are available here. Solutions and other teaching resources are available to teachers upon request. * `Foundations of Programming Languages Textbook Support Materials `_ can be found here. Solutions and other teaching resources are available to teachers upon request. * `The CoCo VM `_ is a virtual machine based on Python that also features a Python disasssembler. This is the older C++ version. * The newer `JCoCo `_ virtual machine is a Java implementation. * `The MLComp Project on GitHub `_ is a Standard ML compiler that targets the CoCo VM. It includes a compiler implemented in Standard ML and a type inference system for Standard ML which is implemented in Prolog. * The `Computational Models Website `_ contains links to code and project descriptions for a variety of projects I developed for this course. I also have solutions to all projects available to teachers by request. * `Sampling CS for Middle and High School Students `_ contains some teaching materials that are appropriate, and *fun*, for teaching high school and middle school students. * `Building a Recursive Descent Parser <_static/papers/ll1.html>`_ is a widely referenced tutorial on building a top-down parser. Sample Projects ------------------- I have worked on so many projects over my time as a teacher that I thought I would share a few. Most of these are not complete projects, but meant to serve as an introduction to some area of programming or as a start of a project for students. But, in many cases a more complete version is available upon request from other teachers. Students might also get some ideas for themselves here of projects they may be interested in developing further. * The `JCoCo Virtual Machine (VM) `_ and `its source code `_ are one of my more recent projects. Much can be done to extend this virtual machine for parallel computation, GUI programming, or a myriad of other projects. Most recently I added some Turtle Graphics to the virtual machine. * The `MLComp Project `_ is a full-blown Standard ML compiler that compiles to the JCoCo VM and has a type checker written in Prolog. The project uses a Standard ML scanner and parser generator to produce an abstract syntax tree (AST) of a source program and then has a code generator that produces JCoCo VM code. This project could be extended to include even more of the Standard ML language, or it could be used as the basis for building an oCaML compiler. If you were interested in this project, a more complete version of the MLComp compiler is available upon request. * The `AlphaZero Project `_ is a clone of `Surag Nair's project `_. In this I took Surag's Alpha Zero Neural Net for playing Tic Tac Toe and added a GUI front-end to it so it could be played against by a human. This could be taken further to add a GUI front-end to the Connect Four neural net but some work would be required to get all of this to work together. I have a GUI front-end that could communicate with the neural net backend in much the same way that the Tic Tac Toe project works (through a pipe and a well-defined architecture). * The `GoBackN Project `_ is an example of a project that I developed when teaching Computer Networking. The project includes several parts of the code. A full solution is available upon request. The project incorporates an implementation of a Socket class and implements TCP over UDP as a means of learning the difference between guaranteed, reliable end to end service with TCP and the un-guaranteed service of UDP. * The `Theory of Computation `_ site contains several projects that are based on building a bottom-up parser generator and a scanner generator. These projects involve building finite state machines from regular expressions and building a parser from a context-free grammar. These are projects I first worked on during the summer of 1984 (when I was a college student) and have lived on when I rewrote them in Python for use in my Computational Models course. All the code for these projects is complete and is available upon request. The complete project is a full blown compiler generator written in Python. There have been other projects in the areas of Computer Graphics, Machine Learning, Artificial Intelligence, Database Systems, Operating Systems, Parallel Computation, Programming Languages, Data Structures and Algorithms, Graph Theory, and the Theory of Computation. I have taught all these courses at one time or another and I have developed projects for all of them. Publications ------------------ If you wish to contact me about any of these papers or texts, you can send me email at kentdlee@luther.edu. * `A Framework for Teaching Programming Languages <_static/papers/LeeSigCSE2015.pdf>`_ - Presented at SIGCSE 2015. * `Foundations of Programming Languages `_ - Published with Springer in 2015. Support materials for this text may be found at https://kentdlee.github.io/PL. This text incorporates a virtual machine implementation, compilation of a functional language, and type inference in a one semester course on Programming Languages. * `Data Structures and Algorithms with Python `_ - Written with Steve Hubbard and published with Springer in 2015. This text covers both introductory and advanced data structures and algorithms topics. * `Python Programming Fundamentals `_ - In 2015 I published a second edition with Springer Publishing of this successful introduction to programming. There are also accompanying `video lectures available on YouTube `_. * *Programming Languages: An Active Learning Approach* - In 2008 I published this textbook with Springer. This text has since been replaced by the newer *Foundations of Programming Languages*. * *Teaching Programming Languages through Language Implementation* - In 2003 I presented this paper where I describe a series of projects that may be used to teach programming languages at the undergraduate level. This paper was presented at the Midwest Instructional and Computing Symposium at St. Scholastica in Duluth, MN. * `A Formally Verified Register Allocation Framework <_static/papers/formalregs.pdf>`_ - In April of 2003 I presented this paper at the Third Workshop on Language Descriptions, Tools and Applications (LDTA 2003). This was a continuation of work done in two earlier papers on register allocation. This paper pulls a lot of the work done in the earlier papers together and adds to it. * `Postfix Transformations for Action Notation `_ - In Peter D. Mosses and Hermano Perrelli de Moura, editors, AS 2000, Proc. Third International Workshop on Action Semantics, Amsterdam, Recife, Brazil, number NS-00-6 in Notes Series, BRICS, Dept. of Computer Science, Univ. of Aarhus, August 2000. * `Formal Development of a Minimal Register Allocation Algorithm <_static/papers/verify.ps>`_ - Technical Report 99-07, University of Iowa, Department of Computer Science, Iowa City, IA, 1999. * `Minimal Register Allocation <_static/papers/register.ps>`_ - Technical Report 99-06, University of Iowa, Department of Computer Science, Iowa City, IA, 1999. * `Tuple Sort Inference in Action Semantics `_ - In Peter D. Mosses and David A. Watt, editors, AS'99, Proc. Second International Workshop on Action Semantics, Amsterdam, The Netherlands, number NS-99-3 in Notes Series, BRICS, Dept. of Computer Science, Univ. of Aarhus, May 1999. * `Action Semantics-based Compiler Generation <_static/papers/thesis.ps>`_ - Completed in 1999, my dissertation describes an Action Semantics-based compiler generator called Genesis. Genesis implements a richer subset of Action Semantics than had been previously attempted in AS compiler generators.