Himalayas logo
John LasseterJL
Looking for a job

John Lasseter

@jhelasseter

Computer science educator and software engineer specializing in systems, programming language design, testing, and static analysis.

United States
Message

What I'm looking for

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.

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

HC

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.

Education

Degrees, certifications, and relevant coursework

University of Oregon logoUO

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 logoUO

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 logoEC

Earlham College

Bachelor of Arts, Philosophy

Earned a Bachelor of Arts in Philosophy and completed additional coursework in Mathematics & Computer Science.

Interested in hiring John?

You can contact John and 90k+ other talented remote workers on Himalayas.

Message John

People also viewed

View all talent

Find 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!

Sign up
Himalayas profile for an example user named Frankie Sullivan
John Lasseter - Teaching Support Specialist - Cornell University | Himalayas