PINAR (KARAGOZ) SENKUL Curriculum Vitae PERSONAL DATA Date of Birth : 24/02/1974 Place of Birth : Ankara/Turkey Marital Status : Married with two children e-mail : senkul@ceng.metu.edu.tr EDUCATIONAL BACKGROUND Ph.D. in Computer Engineering, Middle East Technical University (at SUNY at Stony Brook, Computer Science Dept, during Fall 2000-Spring 2001) Title: Modeling and Verification of Logic-based Workflows Under Resource Allocation Constraints Years:1998 - 2003 GPA : 4.00 / 4.00 Master of Science in Computer Engineering, Middle East Technical University Title: Task Handling in Workflows Years : September 1996 - February 1998 GPA : 4.00 / 4.00 Bachelor of Science in Computer Engineering, Middle East Technical University Years : 1992-1996 GPA : 3.67 / 4.00 WORK EXPERIENCE 1. February 2005 - : Assistant Professor at Middle East Technical University, Computer Engineering Department. 2. February 2003 - February 2004 : Instructor at Bilkent University, Computer Engineering Department. 3. September 2002 - February 2003: Part time instructor at Bilkent University, Computer Engineering Department. 4. October 2001 - July 2002 : Research Associate at Stony Brook University, New York, Computer Science Department. 5.February 1999 - 2002: Research Assistant in the project "Modeling and Verification of Logic-based Workflow Processes" at Computer Engineering Department of Middle East Technical University 6.August 1996 - 1999 : Teaching Assistant at Computer Engineering Department of Middle East Technical University, Ankara 7.September 1996 - February 1998: Part-time researcher at Software Research and Development Center, ODTU, Ankara Project Title : METU WorkFlow Management System (METUFlow) Responsibilities : participation in design and implementation of worklist handler and task handler of METUFlow system 8.Summer 1995 : 7 weeks of summer trainee in ACCURATE Software company in Sao Paulo, Brazil, on developing applications using Visual Basic, and Access Database System. 9.Summer 1994 : 6 weeks of summer trainee in ODTU Computer Center on Network Information System (NIS). TEACHING EXPERIENCE * Teaching assistant of several courses including C Programming, Algorithms and Logic Design * Teaching a short course on Database Management Systems and a Pascal Programming course * Instructor of CS101, CS102 on Java Programming at Bilkent University Computer Engineering Department * Instructor of CS111 on Java and Matlab Programming at Bilkent University Computer Engineering Department * Teaching CENG 302 Introduction to Database Managament Systems CENG 230 Introduction to C Programming CENG 301 Algorithms and Data Structures CENG 213 Data Structures CENG 553 Database Management Systems CENG 714 Data Mining SUBJECTS OF INTEREST Database Management Systems Workflow Management Systems Composite Web Services, Integration of Services Logic Programming Knowledge Discovery in Databases and Data Mining Semantic Web PUBLICATIONS Tatbul, N., Nural, S., Karagoz, P., Cingil, I., Gokkoca, E., Altinel, M., Koksal, P., Dogac, A., "A Workflow Specification Language and its Scheduler", in Proc. of Intl. Conf. on Computer and Information Sciences, Antalya, Turkey, November 1997. Dogac, A., Gokkoca, E., Arpinar, S., Koksal, P., Cingil, I., Arpinar, B., Tatbul, N., Karagoz, P., Halici, U., Altinel, M., "Design and Implementation of a Distributed Workflow Management System: METUFlow", NATO-ASI on Workflow Management Systems and Interoperability Dogac, A., Kalinichenko, L., Ozsu, T., Sheth, A., (Edtrs.), August 1997, pp. 60-90. P. Karagoz, S. Arpinar, P. Koksal, N. Tatbul, E. Gokkoca, A.Dogac, "Task Handling in Workflow Management Systems" in Proceedings of International Workshop on Issues and Applications of Database Technology IADT'98, Berlin, June 1998. P.Karagoz, "Adding Constraints to Logic-Based Workflows to Obtain Optimized Schedules", in Proc. of Conference on Extending Database Technology PhD Workshop, March 2000. P. Senkul, M. Kifer, I. H. Toroslu, A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints, in Conference on Very Large Database Systems, Hong Kong, August, 2002. S. Mukherjee, H. Davulcu, M. Kifer, P. Senkul, G Yang, A Survey of Logic based Approaches to Workflow Modeling, in Emerging Applications of Logics in Databases (Springer Verlag '2003) P. Senkul, I. H. Toroslu, An Architecture for Workflow Scheduling Under Resource Allocation Constraints, Information Systems, vol 300 issue 5, pp. 399-422, July 2005. N. K. Cicekli, A. Cosar, A. Dogac, F. Polat, P. Senkul , I. H. Toroslu, A. Yazici, Data management research at the Middle East Technical University, SIGMOD RECORD 34 (3): 81-84 Sep 2005. P. Senkul, Modeling Composite Web Services by Using a Logic-based Language, Second Italian Workshop on Semantic Web Applications and Perspectives, Trento, Italy, December 2005. P. Senkul, Web Service Construction by Using a Logical Formalism, ICDE Workshop on Semantic Web and Databases, No:56, April 2006. E. Karakoc, K. Kardas, P. Senkul , A Workflow-based Web Service Composition System, Int. Conf on Web Intelligence (WI) Workshop on Service Composition, December 2006. S. D. Toprak, P. Senkul , Y. Kavurucu, I. H. Toroslu, A New ILP-based Concept Discovery Method for Business Intelligence, ICDE Workshop on Data Mining and Business Intelligence, April, 2007. LANGUAGE PROFICIENCY * Advanced Level Knowledge of English * Moderate Level Knowledge of German * Turkish (Native Language)