How To Use Real Computer Science in Your Day Job • Craig Stuntz • YOW! 2015

This presentation was recorded at YOW! 2015. #GOTOcon #YOW https://yowcon.com Craig Stuntz - Software Engineer & Lifelong Student of Computer Science ABSTRACT When you leave #Lambda Jam and return to work, do you expect to apply what you’ve learned here to hard problems, or is there just never time or permission to venture outside of fixing “undefined is not a function” in #JavaScript? Many of us do use #FunctionalLanguages, #MachineLearning, #ProofAssistants, #parsing, and formal methods in our day jobs, and employment by a CS research department is not a prerequisite. As a consultant who wants to choose the most effective tool for the job and keep my customers happy in the process, I’ve developed a structured approach to finding ways to use the tools of the future (plus a few from the 70s!) in the enterprises of today. I’ll share that with you and examine research into the use of formal methods in other companies. I hope you will leave the talk excited about your job! [...] https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.facebook.com/GOTOConferences #SoftwareEngineering #Complexity #SoftwareDevelopment #Programming #ComputerScience #FunctionalProgramming #CraigStuntz #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1