Improve programming languages. Refine the practice of software development. Explore new paradigms.