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 under 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 roadmap. Under my technical leadership, learning portals have been built for many Fortune-500 companies across most industries, from financial services to national 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 responsible for the company's learning and corporate information systems in ten cities. Prior to joining ExecuTrain, I co-owned and helped build Vision Computer Associates to become one of Canada's leading Microsoft Technical Education Centres and worked closely over the years with Microsoft Canada in a number of very innovative and strategic training initiatives

I have also 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. I have conducted research work on automated reasoning, and developed Symlog, an intelligent tutoring system aimed to help university students learn and apply theorem-proving techniques in mathematical logic, and which received funding and support from IBM Canada and the University of Toronto

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

Teaching and Other
I enjoy teaching in both academic and corporate settings, and I regularly facilitate intensive five-day workshops for corporate software engineers and business analysts in the areas of software testing, database modeling and design, object-oriented analysis and design, Unified Modeling Language (UML), objected-oriented languages, 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.

In the past, I was for many years a member of the Steering and Program Committees (CAI in Symbolic Logic) of the International Conference on Computing and Philosophy. As such, I helped organize the yearly conference held at different institutions (Dartmouth College, Carnegie Mellon University, Stanford University, and others).

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

Selected Publications

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

Global Knowledge-related Business

      Other and Academic