Formal Methods

As automated reasoning technology makes its way into the software mainstream, it is receiving more attention and scrutiny than ever before. Executives worldwide are only beginning to get a sense of how this type of technology can benefit their organization. Toward this pursuit of fortifying software applications with human-like learning capabilities comes a new set of buzzwords and associated confusion surrounding the significance and distinction between the various terms. Artificial intelligence and machine learning come to mind, for example.

Here, we consider one such technology—knowledge acquisition (KA).

As part of recent expansion efforts, we pleased to announce the addition of five (5) new consulting experts to our lineup. These new additions represent the culmination of several months of searching for the world's top talent in software.

Our recruitment efforts expand both the breadth and depth of our overall service offerings. All Prolifogy experts are required to have at least ten (10) years of experience and hold a Ph.D. in computer science or a related discipline. Research areas encompassed in the new lineup include software reliability, object-oriented programming, pedagogy, algorithms, computer vision, programming theory, knowledge acquisition, computational linguistics, artificial intelligence, graphics, and formal methods. Programming language and technology background includes C, C++, C#, Java, assembly, COBOL, LISP, Python, UML, SQL, HTML/CSS, .NET, WPF, LINQ, SOA, SaaS, cloud computing, distributed computing, and others. Three (3) have prior experience in management at various levels.