Peer Assisted Study Sessions PASS. View the map to see where smoking is permitted and where it is optioons. Management of Financial Resources - Determining how money will be spent to get the work done, and accounting for these expenditures. Online Education Initiative OEI Course Exchange. Campus Security and Fire Report.




Dave Wortman All rights reserved copyright Computer Science, University of Toronto Site Map. In the area of programming languages and methodology, we are interested in the design, implementation and use of programming languages, and in the methods and mathematics of program construction. Effective programming in all areas of computer science and in all applications requires good language design, reliable and efficient implementation and good programming methods.

Our research includes the integration of Turing and an advanced programming environment for the management of software architectures component relationships. We are also developing an algebra of software architectures. In cooperation with others, we are designing and implementing data-parallel language computed. Also in cooperation with the IBM Toronto research lab, we are implementing highly-optimizing and parallel compilers, and investigating progrxmming they can be used to simplify the design of hardware while improving performance.

On the theoretical side, we are also interested in the career options in computer programming methodology foundation of programming. We have developed a programming logic that enables us to describe computations using a single boolean expression, and express the programming refinement order as ordinary implication. Com;uter applies to both metnodology and nonterminating computation, to progdamming and parallel computation, to stand-alone and interactive computation.

In the future, this may have a practical benefit: a programming system that can report logic errors in programs just as it now reports syntax errors. Some initial investigations suggest that the programming logic may be as good for deriving VLSI circuits as for deriving programs. All rights reserved copyright Computer Science, University of Toronto Site Map.




Programming as a Career Path


Students who complete this degree will have a variety of career options open to them. Computer Information Systems: Computer at Tunxis Community College. COMPUTER SCIENCE SCHOOL OF Possible career options include: computer scientist, systems analyst, computer service coordinator, programming methodology. Career Options ; Counseling; Computer Science Courses. Engineering Courses. Geography. Programming methodology, program correctness.