3D"http://208.64.230.195/staff/abdollahpour/images/shoresh.jpg"

PhD Student

E-Mails:

Abdollahpouri@informatik.uni-hamburg.de=

= Abdollahpouri@gmail.com <= b>=

Tel:

Office: 0049-40-428832112

Mobile:004951173938343

Address: Department Informatik, Vogt-Kölln-Stra= ße 30, D-22527 Hamburg

Education:

• Jan 2009 – Present : PhD Student (Computer Networks) , University of Hamburg, Hamburg , Germany (www.uni-hamburg.de)

• 2004: M.S. in Computer Engineering (Computer System Architecture), AmirKabir

University of Technology (Tehran Polytechnic), Tehran, Iran, ( www.aut.ac.ir).

• 1998: B.S in Computer Engineering (Hardware), Isfahan University of Technology,

Isfahan, Iran, (www.iut.ac.ir).

<= span style=3D'font-size:18.0pt;font-family:"Times New Roman","serif";mso-farea= st-font-family: "Times New Roman";color:#333399;mso-font-kerning:18.0pt'>Employment:

Year: 2005-2008

= Job title: Faculty Member, University of Kurdistan

Year: 2001-2005

= Job title: System Programmer , Telecommunication= Company of Tehran

= Skills Used: Mainframe computers, JCL, JES2, COBOL, RACF

= Teaching Experie= nce:

University of Kurdistan - Instructor (2005 - 200= 8), "Computer Networks" , "Computer Architecture", "Operating Systems" , "Machine Language and Structure" , " Visual Basic Programming" <= /span>
University of Applied Sci= ence and Technology- Instructor (2002 - 2008= ), "Computer Networks" ,"Principle of Network Systems&qu= ot;, "Internet Engineering" , " Computer Architecture"= ;
Islamic Azad University of Sanandaj, "Computer Architecture", "Computer Networks" =
Amirkabir Univerity of Technology , "Microprocessor Lab"

<= /a>Research Interes= ts:

• Comp= uter Networks ( Quality of Service in Wirel= ess Networks, Network security , Congestion Control )

• Comp= uter Architecture ( Branch Prediction Mechanism= s, Pipelining , Cache Coherency, Formal verification)

= Research Experie= nce:

• Power-aware routing protocols for Sensor Networks.

• Design and test of a simple Floppy Disk controller in Verilog.=

• Differential Cryptanalysis of Lucifer Block Cipher .

• An Overview of SONET ( Synchronous Optical Networks ).<= /p>

• Formal Verification of Pipelined Processors.

<= b>Certifications:<= /span>

· &nbs= p; "Introduction to CISCO networki= ng Technologies", ISIRAN Company, January 2004.

· &nbs= p; = "MQ Series", DP-IRAN Company, October 2003.

· &nbs= p; = "OS/390 Utilities<= /b>", DP-IRAN Company, September 2003. =

·     &nbs= p;   &nbs= p; "Concepts and Applications of MQ Series", DP-IRAN Company, September 2003.

·     &nbs= p;   &nbs= p; "Job Control Language (JCL)&quo= t; , Telecommunication Training Center, June 2002.

·     &nbs= p;   &nbs= p; "Introduction to COBOL programming language", Telecommunication Training Center, August 2002.

= Computer Skills:=

Programming Languages: C, Basic , Pascal , Assembly, Cobol , VB and Delphi .

Operating Systems: Windows95/NT/2000/XP, Dos, Unix, OS/390.

Development Tool: MS FrontPage.

Scripting Language: HTML.

Databases: DB2, MS Access.

Mainframe : JES2 , SMS , RACF , JCL , SDSF , MQSERIES.

CAD VLSI Tools : Leonardo , LEDIT , Modelsim, MaxPlus II

Verification Tools : SMV , VIS .

Networking Tools: Netsim , NS.2

= Publications:

Papers

• Abdollahpouri " A new method for Formal Verification Superscal= ar processors", 15^th Iranian Conference on Electrical Engineering(ICEE2007) , Telecommunication Research Center, 2007. (In Persian)

• Abdollahpouri and M.K Akbari " Formal Verification of a Pipeli= ned Processor with out of order execution and branch prediction by Model chec= king " , 10^th annual computer conference , Telecommunication Research Center, 2005. (In Persian)

• Abdollahpouri and M.K Akbari " Formal Verification of a RISC Processor " , 2^nd National Computer conference, Ferdowsi Universi= ty of Mashhad, 2003. (In Persian)

Book

Abdollahpouri<= span style=3D'font-size:11.5pt;font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman"'> " Principles = of Computer Networks" , 2007.

<= b>Presentations:

• <= /span>“Steganography, The art of hiding Information”, Ilam University, January 2008.

• "Introduction to Network security", University of Kurdistan , December 2006.

• "Cryptography methods", University of Kurdis= tan , January 2005.

• "Network standards in LANs and WANs", Town H= all of Tehran, July 2005.

• " An introduction to Storage management system (S= MS) in OS/390", Telecommunication Company of Tehran, October 2004.=

• " Introduction to JES2 in OS/390", Telecommunication Company of Tehran, September 2003.