Handan Gül Çalıklı

	Research and Teaching Assistant at the
	Computer Networks Research Laboratory (NETLAB),
	Department of Computer Engineering,
	Boğaziçi University

	Office:
	Boğaziçi University,
	Department of Computer Engineering,
	34342, Bebek, Istanbul, TURKEY

	Tel: +90 (212) 354 7781
	Fax: +90 (212) 287 2461
	E-Mail: gul.calikli .at. boun.edu.tr

Research Interests

Publications

Assisted Courses

Work Experience

	PhD:	Bogazici University, Computer Engineering	2004 - present
	MS:	Bogazici University, Computer Engineering	2004 - 2002
	BS:	Bogazici University, Mechanical Engineering	1996 - 2000
	High Sch.:	ISTEK Ozel Semiha Sakir High School	1993 - 1996

Research Interests:

		Computer Network Security
		Formal Methods
		Automated Theorem Proving
		Computer Networks

	Calikli,H.G. and Caglayan M. U., 'A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network', Lecture Notes in Computer Science, Vol.3733, (Proc. of the 20th International Symposium on Computer and Information Sciences), pp.183-192, Springer-Verlag, 2005. (slides)
	Korçak, Ö., Calikli,H.G., Kaya, İ. and F. Alagöz, "Performance Evaluation of Adaptive and Static Routing Algorithms and Contention Resolution Techniques in LEO Satellite Constellations", IEEE Recent Advances in Space Technologies RAST2005, June 2005, Istanbul, Turkey. (slides)
	A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network, MS Thesis, July 2004, Thesis Supervisor: Prof. Ufuk Caglayan
	Calikli,H.G., 'Modal Analysis of Submersible Pump Shafts', 4th National Pump Congress on Pumps, 2001, Istanbul, Turkey.

Assisted Courses:

	CMPE 150: Introduction to Computing (C Programming)
	CMPE 450: Software Engineering
	CMPE 300: Analysis of Algorithms

Work Experience:

	2004 - present: Research and Teaching Assistant, Department of Computer Engineering, Bogazici University, Bebek/Istanbul
	2000 - 2003: R&D Engineer (as Mechanical Engineer), Alarko-CARRIER San. ve Tic. A.S., Gebze/Kocaeli