Muhammad Hamiz Ahmed

Classifying sensor data using different deep learning and statistical machine learning methodologies. Also includes Natural Language Processing and Time Series Data Analysis.

Responsible for optimizing a tool called ULTIMATE, a program analysis framework which consists of several plugins that perform steps of a program analysis, e.g., parsing source code, transforming programs from one representation to another, or analyzing programs. Toolchains of these plugins can perform complex tasks, e.g., verify that a C program fulfills a given specification. My task was to optimize it so that it could accept source code in the form of a package.

Involved in life cycle application development on the basis of business logic descriptive using various software languages. Responsible for implementation of front end graphical user interface and integration of software with existing systems.