This is me, at the Hewlett-Packard Canadian Headquarters in Mississauga, Ontario, Canada. The occasion was the launch of a Canada-wide strategic education initiative (of which I was the learning architect) sponsored by Microsoft and HP that ran in conjunction with the launch of Microsoft SQL Server.


Frederic Portoraro

Ph.D. (incomplete) Computational Logic, University of Toronto
M.A. Computational Logic, University of Toronto
B.Sc. Computing Science, Honours, University of Toronto

I am a Senior Consultant, Learning Technologies Architect, advising organizations on the design, architecture, and implementation of learning-oriented systems. I am currently working on a long-term contract with Global Knowledge, one of the worldís largest for-profit education companies, as a Senior Software Architect working on the design and implementation of their learning portal architecture and future learning technology roadmap. Under my mandate and direct supervision, learning portals have been built for many Fortune-500 companies across several industries, including financial services, health care, information technology, energy, education, engineering, manufacturing, mass media, telecommunications, transportation, defense, as well as government agencies at the federal, state/provincial, and municipal levels.

Prior to working with Global Knowledge, I worked in a similar capacity with Nexient Learning and CDI Education. Before joining these two companies, I was the National Director of Information Systems at ExecuTrain Canada (later acquired by CDI Education, and then by Nexient) and responsible for the company's learning and corporate information systems in ten cities. Prior to joining ExecuTrain, I was the co-owner and Director of Information Systems and Education of Vision Computer Associates (later sold to ExecuTrain) which was one of the leading Microsoft Authorized Technical Centres in Toronto, Canada, servicing the learning needs of corporate Canada.

I also have an academic background, having worked and lectured mathematical logic in the past at the University of Toronto, and having published research papers and a textbook on the subject. During my time at U of T, I did research work on automated reasoning, computational logic, and artificial intelligence. Around this time I also conceived, developed and managed the Symlog Project, a system aimed to help university students learn mathematical logic. The system was used at other institutions outside U of T and the project was very instrumental in securing multimillion dollar funding from IBM Canada to the Center for Computing in the Humanities at the University of Toronto.

Professional and Research Interests
My current professional and research interest include applications of computing systems in learning and education; learning management systems; artificial intelligence (AI) and learning environments; intelligent tutoring systems; automated reasoning and its applications in education; automated theorem proving in natural deduction; applications of technology to assist children with disabilities (autism).

Industry Awards
With the teams I have worked with, I have been twice the recipient of the Microsoft Partner Program IMPACT Award (Learning Solution Partner Category) for the design and implementation of innovative learning portal solutions, and of the Canadian Information Productivity (CIPA) Award (E-commerce Category) for a solution involving the early adoption of online web-based classrooms (this solution was used by Microsoft to deliver online instructor-led courses on Windows server and workstation technologies to over 2,000 IT professionals). Both solutions were used in 2006 again by Microsoft as part of a pilot of their Microsoft Official Distance Learning (MODL) approach at delivering instructor-led courses in a blended format centered around a learning portal and web-based online classrooms.

I enjoy teaching in both academic and corporate settings. I typically teach intensive five-day workshops for corporate software engineers and business analysts in the areas of object-oriented analysis and design, Unified Modeling Language (UML), objected-oriented languages, software testing, logical database design, and the applications of discrete mathematics to software engineering. I have also lectured in the past courses in discrete mathematics (EPSP Program, University of Waterloo / CDI Education), relational database management (ditto), mathematical logic (Dept of Philosophy, University of Toronto), linear algebra (Dept of Mathematics, University of Toronto), and others.

Academic Offices
In the past, I have been for many years an elected member of the Steering Committee, Program Committee (Software Division and Logic Computer-Aided Instruction Division), and Track Chair (Automated Theorem Proving, CAI in Symbolic Logic, AI and Neural Networks) in the International Conference on Computing and Philosophy. As such, I helped organize the yearly conference held at different institutions (Dartmouth College, Carnegie Mellon University, University of Central Florida, Stanford University, and others). I have also been a member of the Instructional Software Development Committee, Center for Computing in the Humanities, at the University of Toronto.

Selected Publications

Professional Memberships
I am a member of the ACM, the IEEE, and the Association for Automated Reasoning (AAR).

Contact Information
The best way to contact me is via email at:

Global Knowledge-related Business

      Other and Academic