 |
|
|
-
|
|
March 2007
- now
Ph.D. in Systems and Software
Engineering
School of Information
Technology & Electrical Engineering
The University of Queensland, Brisbane,
Australia
Thesis Title: Model-Based Development for the Verification of
Real-time Java Code
Supervisors:
Professor Paul Strooper
and Associated Professor
Roger Duke
September 2001
- July 2005
Bachelor of Science in Computer Engineering
Electrical and Computer Engineering Department
University of Tehran,
Tehran, Iran
Thesis Title: Modelling and
Verification of hardware designs with Rebeca models
Supervisor:
Assistant Professor Marjan Sirjani
up
|
|
|
|
|
|
-
Ranked 100th
in the Computer Olympiad among around 500,000 student
-
Ranked 321st in the
nation-wide university entrance examination (Konkoor) among
around 1,200,000 students
-
Attended
Robocup2003 in
Italy in a rescue
simulation group making it to semi-finals
up
|
|
|
|
Summer 2002 - Summer 2003
|
Supervisor: |
Assistant Professor Taghiyare |
|
Work done: |
Using
ant colony algorithm in rescue simulation |
|
Result:
|
Attended
Robocup2003 in Italy in a
rescue simulation
group |
Summer 2004 - Summer 2006
|
Supervisor: |
Assistant Professor
Sirjani |
|
Work done: |
Representing Hardware / Software co-designs with Rebeca and Code generation from Rebeca
models to SystemC |
|
Result:
|
A
paper is published in
EWDTS'07 |
up
|
|
|
|
Course:
Advanced Programming
Co-ordinator: Dr. Mirzababaiee
Activity:
Teaching Java and C++
up
|
|
|
Activities
|
|
Membership in student executive
committee of IPM
International workshop on the foundation of Software
Engineering ( FSEN’05
) |
|
|
Website development for Micro Electronic
course |
Academic
Projects
Spring 2005:
|
Application design and development for a factory integrated
with center
sale department, using JSP, and C# windows application |
Fall 2005:
|
Application design and development for a hospital,
integrated with laboratory and pharmacy, using JSP, and Microsoft SQL server |
Spring 2004:
|
Client/Server distributed file sharing application, using g++ in Linux |
Spring 2004:
|
Payroll system design and implementation, using C#, and Microsoft SQL
server |
Spring 2004
|
Implementation of a shell with internal commands similar to Linux
command, using g++ in Linux |
Fall 2003:
|
Implementation of MIPS processor using
Verilog in three approaches: Single-Cycle, Multi-Cycle and Pipe-Line |
up
|
|
|
Software
Industry
Organization:
|
Direct Marketing Software |
Role:
|
ASP Programmer and SQL
developer |
Duration:
|
From August 9th 2007 until now
|
Organization:
|
Boutan’s company, Tehran |
Role:
|
JSP Programmer
and Oracle developer |
Duration:
|
3 months for internship
|
Self
employed
2005 - 2007:
|
Automating verifying Hardware design in high level
of abstraction with software algorithms |
2005 - 2006:
|
Web application development for Ball Hyper Market Tehran, Iran, using
JSP and Microsoft SQL Server |
2004 - 2005:
|
Application program development
for Ball Hyper Market Tehran, Iran, using Java and Microsoft
SQL Server |
up
|
|
|
|
|
Operating systems:
|
Windows , Linux |
Programming languages:
|
C# , Java , RTSJ , C++ |
Model Checkers:
|
Spin/RTSpin,
JPF,
Kronos,
UPPAALL,
Rebeca |
Web development:
|
ASP.NET, JSP, HTML ,
JavaScript |
|
|
| |
up
|
|
|
|
|
|
Niusha Hakimipour, Paul
Strooper, Roger Duke "Exploring Model-Based Development for the
Verification of Real-Time Java Code", 4th International Joint Conference on Automated Reasoning(IJCAR08-VERIFY08)
[PDF]
|
|
|
N. Hakimipour,
N. Razavi, M. Sirjani "Modeling and Formal
Verification of Hardware Designs", 5th IEEE East-West Design
& Test Symposium(EWDTS'07)
[PDF]
|
| |
up
|
|
|
|
|
