Alireza=20 Abdollahpouri

PhD=20 Candidate

E-Mails:

Abdollahpouri@informatik.uni-hamburg.de

Abdollahpouri@gmail.com=20

=20 Tel:

Office:=20 0049-40-428832112

Mobile:004917662864504

Address:=20 Department Informatik, Vogt-K=F6lln-Stra=DFe 30, D-22527 Hamburg

Education:

=95=20 Jan=20 2009 =96 Present : PhD Student (Computer Networks) , University of = Hamburg, Hamburg , Germany (http://www.uni-hamburg.de/)=20

=95=20 2004:=20 M.S. in Computer Engineering (Computer System = Architecture), AmirKabir

University of=20 Technology (Tehran = Polytechnic),=20 Tehran,=20 Iran, ( http://www.aut.ac.ir/).

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

Isfahan,=20 Iran, (http://www.iut.ac.ir/).

Employment:

Year:=20 2005-2008

= ;=20 Job title: Faculty Member, University of=20 Kurdistan

Year:=20 2001-2005

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

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

Teaching=20 Experience:

University=20 of Kurdistan=20 - Instructor (2005 - 2008), "Computer Networks" , "Computer=20 Architecture", "Operating Systems" , "Machine Language and = Structure" ,=20 " Visual Basic Programming"
University=20 of Applied Science and Technology-=20 Instructor (2002 - 2008), "Computer Networks" ,"Principle of = Network=20 Systems", "Internet Engineering" , " Computer Architecture"=20
Islamic=20 Azad University of Sanandaj,=20 "Computer Architecture", "Computer Networks"
Amirkabir=20 Univerity of=20 Technology , "Microprocessor Lab"

Research=20 Interests:

=95=20 Computer=20 Networks=20 (IPTV, Quality of Service in Wireless Networks, Multimedia = Networking,=20 WiMAX Networks)

=95=20 Computer=20 Architecture=20 (Formal verification, Branch Prediction Mechanisms, Pipelining, = Cache=20 Coherency)

Research=20 Experience:

=95 Multicast efficiency in Broadband TV=20 networks.

=95 Multimedia transmission over wireless=20 networks.

=95 Power-aware routing protocols for = Sensor=20 Networks.

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

=95 Differential Cryptanalysis of Lucifer = Block=20 Cipher.

=95 Formal = Verification of=20 Pipelined Processors

Certifications:

=B7 =20 =20 "Introduction=20 to CISCO networking Technologies",=20 ISIRAN Company, January 2004.

=B7 =20 =20 "MQ=20 Series",=20 DP-IRAN Company, October = 2003.=20

=B7 =20 =20 "OS/390 Utilities",=20 DP-IRAN Company, = September =20 2003.

=B7 =20 =20 "Concepts=20 and Applications of MQ Series",=20 DP-IRAN Company, September 2003.=20

=B7 =20 =20 "Job=20 Control Language (JCL)"=20 ,=20 Telecommunication Training Center, June = 2002.

=B7 =20 =20 "Introduction=20 to COBOL programming language", Telecommunication=20 Training Center, August 2002.

Computer=20 Skills:

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

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

Development=20 Tool:=20 MS=20 FrontPage.

Scripting=20 Language:=20 HTML.=20

Databases:=20 DB2,=20 MS Access.

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

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

Verification=20 Tools :=20 SMV , VIS .

Networking=20 Tools:=20 Netsim=20 , NS.2 , OPnet,=20 NCTUns-6

Publications:

Papers=20

=95 Abdollahpouri A., Wolfinger=20 B.E. =93Decision Support for the Usage of Multicast versus Unicast in Broadband TV Networks=94, 6th = Advanced=20 International Conference on

Telecommunications=20 (AICT=9210), 9.-15. Mai 2010, Barcelona, Spain.

=95 Abdollahpouri A., Wolfinger=20 B.E. =93Unicast versus Multicast for = Live TV=20 Delivery in Networks with Tree Topology=94, 8th International = Conference on=20 Wired/Wireless Internet Communications (WWIC 2010), 1.-3. June = 2010,=20 Lulea, Sweden.

=95 Abdollahpouri. A. "A new method for Formal=20 Verification Superscalar processors", 15th =20 Iranian Conference on Electrical Engineering(ICEE2007) , = Telecommunication=20 Research Center, 2007.=20

=95 Abdollahpouri, A. and M.K Akbari " Formal Verification of a Pipelined = Processor=20 with out of order execution and branch prediction by Model = checking " ,=20 10th annual computer conference , Telecommunication Research=20 Center, 2005.

=95 Abdollahpouri. A. and M.K Akbari " Formal = Verification=20 of a RISC Processor " , 2nd National Computer conference, = Ferdowsi University of Mashhad, 2003.

Book=20

Abdollahpouri = " Principles of Computer Networks" , = University=20 of Kurdistan Publications, = 2007.=20