- Introduction
The Artificial Intelligent Systems Laboratory of Computer Engineering Faculty at Amirkabir University of Technology headed by Dr. Ahmad Abdollahzadeh Barfouroush, focuses on the following main research areas: Currently, 6 PhD and 9 MSc students are working in this laboratory on timely and multidisciplinary research topics in the following areas: To look through the research conducted by each person, we have recently published a poster. peoples: Dr. Ahmad Abdollahzadeh Barforoush Dr. Ahmad Abdollahzadeh Barforoush is the professor of Software Engineering and Artificial Intelligent Systems. He joined Amirkabir university of Technology in October -1991. He received his Ph.D. in computer science from University of Bristol, England, in 1990. He is currently serving, as a head of software engineering group in Department of Computer Engineering at Amirkabir University of Technology. Negin Daneshpour (PhD-2004) Active View Prediction, to Store Aggregated Data in order to Efficient OLAP System In this thesis, we research on designing and modeling aggregated data in data warehouses and present an efficient technique based on data mining techniques to calculate and select proper views to materialize. These views decrease query response time and improve OLAP systems. Our technique is dynamic and depends on the type of online analytical queries, their frequency, view maintenance cost, query response time, and available space to store views. Mohammad Karim Sohrabi (PhD-2005) Mining Frequent Pattern in Large Databases Using divide and conquer approach Frequent pattern mining is an important data mining problem with broad applications. It is challenging since one may need to examine a combinatorial explosive number of possible patterns. This is a Time and space consuming task with exponential order. This thesis aims to represent a good method to compress the datasets and apply its new efficient pattern mining algorithms on the compressed structure. The represented algorithms use divide and conquer approach to reduce the size of datasets and mine them. Shiva Vafadar (PhD-2007) Analysis Patterns for Agent's Intelligence Engineering In this research, I work on the field of Agent-Oriented Software Engineering (AOSE). Specifically, I try to improve requirement engineering of agent based systems by introducing a new concept; "Intelligence Engineering". Intelligence engineering adapts a requirements engineering approach to elicit, analysis, specify and validate agent’s intelligence. This intelligence engineering approach helps us to benefit from the more specific assumptions on structures and capabilities expected for agents as intelligent entities. Abbas Rasoolzadegan (PhD-2007) Formal specification We are interested to research about formal specification and its open problems. It is generally hoped that formal methods can prove that a system satisfies its requirements in a mathematically rigorous way. If this is the goal, there are two weak links in a chain of inferences that threaten this aim: 1. The specification may not be rigorous enough to support mathematical proof or may be too incomplete to imply the desired properties, 2. The implementation may be too complicated or not mathematical enough to allow a proof that the specification is satisfied. Ali Rahnama (PhD-2008) Ontology Engineering I am currently a PhD student working on Ontology Engineering. I have not revised my PhD proposal yet but hope it will be ready soon. I got my BSc in computer hardware engineering from Shahid Bahonar University in 1382. And I got my MSc in computer software engineering from Sharif University in 1384. Also I have been an instructor at Shahid Bahonar University since 1384. Reza GorganMohammadi (PhD-2008) Requirements Engineering As a PhD student, I am currently working to prepare my PhD proposal. My research field of interest is Software Requirements Engineering. I received two BSc. degrees in both software & hardware
