VisionInDream

We believe that writing computer programs is the fundamental act of computer science, and that programming languages are therefore our fundamental tools. We seek a deeper understanding of this fundamental tool and how it should be used, and we seek to apply this understanding to the program design process, as well as to novel applications in the area of machine intelligence and software engineering We take a multi-faceted approach to the study of programming languages and programming methodology, incorporating elements of design, mathematics, experimental science, and engineering. We conduct research on all aspects of cutting edge technology: the development of small and large programs the design, implementation, and analysis of programming languages programming environment tools Machine Learning and Machine Intelligence Systems