I am looking for software development or testing/verification positions in which I can apply my technical background to products that make a positive difference in the world.
John Lasseter
@jhelasseter
Computer science educator and software engineer specializing in systems, programming language design, testing, and static analysis.
What I'm looking for
I am a computer science educator with over 15 years’ experience and a software engineer with deep expertise in systems, compilers, programming language design, testing, and static analysis. I am fluent in a wide variety of programming languages — Java, C/C++, Python, OCaml — and I have a strong working knowledge of Scheme, Haskell, Javascript, Perl, and others.
I have taught and developed curricula across secondary and higher education, and supervised numerous student research and industry-bound projects. I have published work on several curricular innovations, including strategies for teaching an undergraduate compilers course, design patterns for object contracts and invariants, and integration of Agile and TDD methods into early CS courses.
I currently design and maintain reusable instructional infrastructure for large undergraduate courses and lead the design and implementation of substantial student programming projects. I build instructional tooling using languages and platforms such as Python, Java, C, RISC-V, Docker, and MySQL.
I am a serious musician and landscape photographer, a volunteer wilderness guide, and I care deeply about social justice, sustainability, and the environment. In my ideal job, I would combine my technical background with some or all of these, in a role that makes a positive difference in the world.
Experience
Work history, roles, and key accomplishments
Teaching Support Specialist
Cornell University
Jul 2023 - Present (2 years 5 months)
Designed and maintained reusable instructional infrastructure and automated grading systems for large undergraduate CS courses (500–900 students), and developed project solutions and pedagogy for CS1, OOP, and Systems Programming.
Career & Technical Education Teacher
Tompkins-Seneca-Tioga BOCES
Jan 2020 - Jun 2023 (3 years 5 months)
Led Computer Technology courses for CTE high school students, redesigned curriculum for PC repair, data recovery, network design, IT administration and cybersecurity, and mentored students into postsecondary and technical careers.
Assistant Professor
Hobart & William Smith Colleges
Jul 2013 - Jun 2020 (6 years 11 months)
Taught programming languages, compilers, systems, algorithms, discrete math, and software construction. Published work on curricular innovations, including compilers pedagogy and integration of Agile and TDD methods into early CS education. Managed student teaching assistants program. Supervised a wide variety of student research projects.
Assistant Professor
Fairfield University
Sep 2009 - Jun 2013 (3 years 9 months)
Taught undergraduate computer science courses in mathematics and computer science, advising students and contributing to departmental teaching and curriculum efforts. Published original research on object oriented design and testing.
Visiting Assistant Professor
Willamette University
Aug 2006 - Aug 2009 (3 years)
Taught computer science courses, supervised student research projects, and contributed to teaching-focused departmental activities.
Visiting Lecturer
Lewis & Clark College
Aug 2005 - Jun 2006 (10 months)
Provided undergraduate instruction in computer science courses and supported departmental teaching initiatives during appointment.
Education
Degrees, certifications, and relevant coursework
University of Oregon
Doctor of Philosophy, Computer & Information Science
Completed Ph.D. in Computer & Information Science with a dissertation titled "Specification and Solution of Multisource Data Flow Problems."
University of Oregon
Master of Science, Computer & Information Science
Completed M.Sc. in Computer & Information Science with a thesis on a formal description of Behavioral Verilog based on axiomatic semantics.
Earlham College
Bachelor of Arts, Philosophy
Earned a Bachelor of Arts in Philosophy and completed additional coursework in Mathematics & Computer Science.
Availability
Location
Authorized to work in
Salary expectations
Job categories
Interested in hiring John?
You can contact John and 90k+ other talented remote workers on Himalayas.
Message JohnFind your dream job
Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!
