Personal:
| - | Date of Birth: March 27, 1981 Country of Birth: Iran Email: amshali AT gmail DOT com |
Academic:
| - | Masters' (M.Sc.) degree in Artificial Intelligence Faculty of Computer Engineering Iran University of Science and Technology
Thesis title: Proposing an Evolutionary Model for the Emergence of Cooperation for Multi-Agent Systems in the Nash Bargaining Problem. |
 |
| - | Bachelors' (B.Sc.) degree in Software Engineering ECE Department University of Tehran
Thesis title: Verification of reactive systems using Rebeca modeling langauge |
 |
Research Experience:
| - | Research Assistant:Model Checking and Verification of Hardware Systems using Rebeca, 2006-Present. University of Tehran The aim of this project is to verify embedded hardware systems expressed in SystemC language. This project is being done under supervision of Dr. Marjan Sirjani. |
| - | Research Assistant:Evolutionary Inspired Decision Trees, 2006-2007. Iran University of Science and Technology The aim of this research is to incorporate evolutionary ideas in construction of decision trees. This project has been done under supervision of Dr. Mohammad Reza Kangavari. |
| - | Research Assistant:Model Checking and Verification of Concurrent Systems using Rebeca, 2002-2006. University of Tehran The aim of this project was to develop a language called Rebeca for modeling and verification of concurrent systems. In this project we developed tools for model checking of systems modeled using Rebeca languages. These tools contain compiler for Rebeca, converters to other languages such as Promela and SMV, and IDEs for end user interactions. This project has been done under supervision of Dr. Marjan Sirjani. |
Teaching Experiences:
| - | "Linux Operating System", University of Tehran, Summer 2007. Teaching for about 50 student. The material included: Linux and Open Source History, Shells, File system Structure, File system Permissions, Peripherals, Shell Programming, Working with files, Kernel, Modules, User Management, File Sharing via Samba, Task Scheduling. |
| - | "Workshop on Linux Operating System", University of Tehran, Winter 2007. This one day workshop held in cooperation with ACM Student Chapter of University of Tehran for more than 100 junior students. The workshop materials included: Introduction to Linux, Linux Installation, Basic Commands, Writing and Compiling C/C++ Programs under this operating system. |
| - | "Linux Operating System", University of Tehran, Summer 2006. Teaching for about 40 student. The material included: Linux and Open Source History, Shells, File system Structure, File system Permissions, Peripherals, Shell Programming, Working with files, Kernel, Modules, User Management, File Sharing via Samba, Task Scheduling. |
| - | "Java Programming Language", University of Tehran, Teacher Assistant in Internet Engineering course, Winter 2005. This class held as a part of Internet Engineering course for about 40 students. The material included: Java language structures, conditional, loop, basic types, arrays, Exception Handling, Collections, JDBC. |
| - | "Linux Operating System", Tejarat Bank IT Center, Summer 2004. Teaching for about 20 staff of the bank. The material included: Shells, File system Structure, File system Permissions, Peripherals, Shell Programming, Working with files, Daemons, User Management, File Sharing via Samba, Task Scheduling. |
| - | "Enterprise Java Beans (EJB)", Aptech Learning Institute, Fall 2004. Teaching for about 30 students. The course material included writing enterprise application using J2EE technology using EJBs. |
| - | "Operating Systems", University of Tehran, Teacher Assistant, Winter 2003. My responsibilities included: designing and examining Homework and Computer assignments for about 40 students. |
Work Experience:
| - |
Paniz Software Company, Tehran
September 2005 - March 2006. Role: Technical Manager In this project we customized the Liferay portal for Sharif Entrepreneurship Center. My role was technical manager. I had essential contribution in design and development process. |
| - |
ObjectJ Company, Tehran
July 2003 - August 2004. Role: Programmer/Designer During the career I had contribution in a Learning Management System (LMS) project for University of Tehran and Iran University of Science and Technology. The project was developed using J2EE technology. |
| - |
Paya Software Company, Tehran
June 2002 - June 2003. Role: Programmer/Designer During the career in this company we developed a working Persian Optical Character Recognition (OCR) system for the National Organization of Development of Exceptional Talents (NODET). The system is now used for recognition of discrete handwritten registration forms of students. |
| - |
Roshd Networks, Tehran
June 2001 - May 2002. Role: Programmer/Designer I worked as a programmer in developing web sites and tools for Roshd Networks. |
Computer Skills:
| - | Languages: Java, C#, C/C++, PHP, Matlab, LaTeX, Perl, HTML, JSP, Velocity |
| - | Technologies: J2EE (professional), .NET(familiar) |
| - | Operating Systems: Linux (professional), Windows |
| - | Database servers: MySQL, Microsoft SQL Server |
| - | System Design: Experienced with OO design and UML and tools such as Rational Rose, MagicDraw |
| - | Software Methodologies: I am familiar with RUP and I am experienced with XP |
Language Skill:
| - | Internet Based TOEFL: 107/120; Reading, Listening, Writing, Speaking: 29, 28, 27, 23 |
Honors:
| - | Ranked 289 Iranian nationwide undergraduate university entrance competition, among more than 400,000 applicants in the area of Science and Engineering, Iran, 1999. |
| - | Ranked 103 Iranian nationwide graduate university entrance competition, among more than 10,000 applicants in the area of Computer Engineering, Iran, 2005. |
| - | TA1O1 Certificate from ASHA Counseling and Training Services on behalf of the Training and Certification Council of Transactional Analysis, Inc., USA. |