Master of Science in Computer Engineering, February Thesis: Process Based Matchmaking of Services

Size: px

Start display at page:

Download "Master of Science in Computer Engineering, February Thesis: Process Based Matchmaking of Services"

Ira Goodwin
5 years ago
Views:

1 Akın Günay, Ph.D. Contact Information Education Address: School of Computing and Communications, Lancaster University Lancaster LA1 4WA, United Kingdom Phone: www: Boğaziçi University, Istanbul, Turkey. Doctor of Philosophy in Computer Engineering, September Thesis: Generating, Ranking and Enacting Commitment Protocols - Adviser: Professor Pınar Yolum Master of Science in Computer Engineering, February Thesis: Process Based Matchmaking of Services - Adviser: Professor Pınar Yolum Eastern Mediterranean University, Famagusta, TRNC. Bachelor of Science in Computer Engineering (High Honor), June Experience Senior Research Associate, School of Computing and Communications, Lancaster University, United Kingdom, September 2016 present Research Fellow, School of Computer Science and Engineering, Nanyang Technological University, Singapore, November 2013 August Research and Teaching Assistant, Department of Computer Engineering, Boğaziçi University, Turkey, January 2008 October Visiting Scholar, Department of Information Science, University of Otago, New Zealand, January 2012 June Part-time Lecturer, Department of Computer Engineering, Okan University, Turkey, January 2008 June Teaching Assistant, Department of Computer Engineering, Eastern Mediterranean University, Turkey, September 2005 December Research Overview I am interested in the engineering of socio-technical systems. Modern socio-technical systems involve multiple autonomous organizations with conflicting interests. For instance, a healtcare system involves organizations such as public health services, regulatory bodies, and insurance companies. Organizations in a socio-technical system build their own software, which control certain features and information in the socio-technical system, and interact with other organizations software for coordination and information exchange. In other words, a socio-technical system is decentralized both in terms of control and information, and interaction is the only medium for collaboration. Emergence of mobile technologies and IoT have introduced further challenges to the engineering of socio-technical systems both at the social level (e.g., accountability, privacy) and technical level (e.g., scalability). Conventional software methodologies are inadequate for the development of modern socio-technical systems, since they fall short of addressing decentralization in the presence of multiple autonomous organizations. That is, most conventional methodologies focus on defining a unitary control mechanism for a system with respect to a global state, where interaction between organizations is considered as a by-product (e.g., a client-server architecture where all interactions go through a centralized server). Although, a unitary control mechanism can be deployed in a distributed 1 of 6

2 manner, it does not capture the conceptual decentralization and autonomy at the social level, and therefore relies on add-hoc methods to realize the technical level. Regarding to these limitations of the conventional software development approaches, my current ambition is to create novel methods for the systematic design and development of modern socio-technical systems. To achieve this, I develop software methodologies for socio-technical systems, which take decentralization and autonomy into account, and use interaction as the core abstraction mechanism. My research aims to address challenges of socio-technical system engineering at both social and technical levels. At the social level, I explore computational regulation mechanisms to model correct interaction of autonomous parties considering information governance, trust, compliance, accountability, and privacy. At the technical level, I develop programing models to simplify design and implementation of interactionoriented software assets supporting asynchrony, conformance, modularity, and interoperability. Last but not least, I explore the interplay of the social and technical levels to create a solid foundation for building effective socio-technical systems. My research incorporates approaches from artificial intelligence, distributed systems, and software engineering to address these challenges. Publications Journal Articles 1. Akın Günay, Yang Liu, and Jie Zhang. ProMoca: Probabilistic Modeling and Analysis of Agent Behaviors in Commitment Protocols. Journal of Artificial Intelligence Research, 57, , Akın Günay, Michael Winikoff, and Pınar Yolum. Dynamically Generated Commitment Protocols in Open Systems. Autonomous Agents and Multi-agent Systems, 29(2), , (A short version of this article also appears in JAAMAS Track of AAMAS 16.) 3. Özgür Kafalı, Akın Günay and, Pınar Yolum. Detecting and Predicting Privacy Violations in Online Social Networks with PROT OSS. Distributed and Parallel Databases, 32(1), , Fatma Başak Aydemir, Akın Günay, Figen Öztoprak, Ş. İlker Birbil, and Pınar Yolum. Multiagent Cooperation for Solving Global Optimization Problems: An Extendible Framework with Example Cooperation Strategies. Journal of Global Optimization, 57(2), , Akın Günay and Pınar Yolum. Constraint Satisfaction as a Tool for Modeling and Checking Feasibility of Multiagent Commitments. Applied Intelligence, 39(3), , Akın Günay and Pınar Yolum. Service Matchmaking Revisited: An Approach based on Model Checking. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 8(4), , Conference Papers 7. Thomas C. King, Akın Günay, Amit K. Chopra, and Munindar P. Singh. Tosca: Operationalizing Social Commitments over Information Protocols. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI), , Melbourne, Australia, Zhimin Wu, Yi Xu, Akın Günay, Yang Liu, and Shengchao Qin. Concurrent On-the-fly SCC Detection for Automata-based Model Checking with Fairness Assumption. Proceedings of 21th International Conference on Engineering of Complex Computer Systems, , Dubai, UAE, Zhimin Wu, Ernst Moritz Hahn, Akın Günay, Lijun Zhang, and Yang Liu. GPU- Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. Proceedings of 22nd European Conference on Artificial Intelligence (ECAI), , The Hague, The Netherlands, of 6

3 10. Akın Günay, Yang Liu, Jie Zhang, and Partha Dutta. Automated Agent Behavior Construction for Protocol-based Multiagent Systems. Proceedings of IEEE / WIC / ACM International Conference on Intelligent Agent Technology, Singapore, Akın Günay, Song Songzheng, Yang Liu, and Jie Zhang. Automated Analysis of Commitment Protocols using Probabilistic Model Checking. Proceedings of 29th AAAI Conference on Artificial Intelligence (AAAI), , Austin, TX, US, Özgür Kafalı, Akın Günay, and Pınar Yolum. GOSU: Computing GOal SUpport with Commitments in Multiagent Systems. Proceedings of 21st European Conference on Artificial Intelligence (ECAI), , Prague, Czech Republic, Akın Günay, Michael Winikoff, and Pınar Yolum. Generating and Ranking Commitment Protocols. Proceedings of 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), , Saint Paul, MN, US, Özgür Kafalı, Akın Günay, and Pınar Yolum. PROT OSS: A Run Time Tool for Detecting PRivacy violat ions in Online Social networks. Proceedings of 2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), , Istanbul, Turkey, Akın Günay, Figen Öztoprak, Ş. İlker Birbil, and Pınar Yolum. Solving Global Optimization Problems using MANGO. Proceedings of the 3rd KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, Springer LNCS 5559, , Uppsala, Sweden, Akın Günay and Pınar Yolum. Semantic Matchmaking of Web Services using Model Checking. Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), , Estoril, Portugal, Akın Günay and Pınar Yolum. Structural and Semantic Similarity Metrics for Web Service Matchmaking. Proceedings of 8th International Conference on E-Commerce and Web Technologies (Ec-Web, Springer LNCS 4655, , Regensburg, Germany, Adnan Acan and Akın Günay. Enhanced Particle Swarm Optimization through External Memory Support. Proceedings of IEEE Congress on Evolutionary Computation (CEC), , Edinburgh, United Kingdom, Adnan Acan and Akın Günay. An External Memory Supported ACO for the Frequency Assignment Problem. Proceedings of International Conference on Adaptive and Natural Computing Algorithms, , Coimbra, Portugal, Workshop Papers and Other Publications 20. Akın Günay and Pınar Yolum. Engineering Conflict-free Multiagent Systems. The Workshop on Engineering Multi-Agent Systems, , Saint Paul, MN, US, Akın Günay, Michael Winikoff, and Pınar Yolum. Commitment Protocol Generation. Baldoni M. et al. (Eds.), Declarative Agent Languages and Technologies X (DALT 12), LNAI 7784, , Springer, Heidelberg, Akın Günay and Pınar Yolum. Detecting Conflicts in Commitments. Sakama C. et al. (Eds.), Declarative Agent Languages and Technologies IX (DALT 11), LNAI 7169, 51 66, Springer, Akın Günay, Argumentation on Bayesian Networks for Distributed Decision Making. In T. Balke et al. (Eds.), Online Proceedings of 11th European Agent Systems Summer School Student Session, Turin, Italy, of 6

4 Projects Senior Research Associate, Turtles: Protocol-Based Foundations for Distributed Multiagent Systems, PI: Amit K. Chopra supported by EPSRC, 2016 present. This project aims development of information-based specification languages and accompanying tools for engineering decentralized socio-technical system using social protocols. I contribute to this project by designing a programming model to operationalize social protocols, and by implementing the corresponding software framework, which provides the foundations for building effective decentralized socio-technical systems. Research Fellow, Formal Verification on Cloud, PI: Yang Liu supported by Nanyang Technological University, This project aimed formal modeling and verification of various systems in the cloud. I contributed to this project by developing a formal modeling language and corresponding model checking algorithms for verifying correctness of multiagent systems that are regulated by social protocols. Main novelty of my contribution is modeling of uncertainty in agent behaviors using Markov models, which enables verification of new correctness properties of multiagent systems. Collaborator, Ontology-Based Privacy Management for Social Software, PI: Pınar Yolum supported by Scientific and Technological Research Council of Turkey, The aim of this project was to realize privacy requirements of social network users using Semantic Web technologies in combination with social protocols and abstract argumentation. I contributed to the writing of the proposal and also to the development of a privacy model using social protocols in the early stages of the project. Principal Investigator, Monitoring and Management of Commitment-Based Agent Communication, supported by Scientific and Technological Research Council of Turkey [10,000 USD], I researched properties of social commitments to model their feasibility in systems with scarce resources. I developed a formal model of social commitments in such systems and designed decision procedures for feasibility checking using constraint satisfaction techniques. Research Assistant, MANGO: MultiAgent Environment for Global Optimization, PI: Pınar Yolum supported by Scientific and Technological Research Council of Turkey, This project aimed to build efficient distributed optimization methods using techniques from multiagent systems. My main contribution to this project was the design and implementation of the multiagent optimization framework using Java Message Service. I contributed to this project also in the application phase. Research Assistant, Process-Based Matchmaking of Web Services, PI: Pınar Yolum supported by Boğaziçi University Research Fund, In this project I developed novel service discovery methods that analyze process models of web services using model checking and semantic reasoning techniques to improve precision of the service discovery process. I contributed to this project also in the application phase. Teaching Part-time Lecturer, Okan University, Istanbul, Turkey I offered an introductory programming module in C for three terms (Spring 08, Fall 08, Spring 09), and an advanced object-oriented development module in Java for one term (Fall 08). In both modules, I was responsible from the course syllabus, preperation of the education materials, delivery of the lectures, and student assessment. Teaching Assistant, Boğaziçi University, Istanbul, Turkey 4 of 6

5 I served as a Teaching Assistant for a postgraduate artificial intelligence (Fall 07, Fall 10) and an undergraduate object-oriented programming (Spring 10) modules, in which I was responsible from lab sessions and student projects. Teaching Assistant, Eastern Mediterranean University, Famagusta, TRNC I served as a Teaching Assistant for an operating systems (Fall 06) module, in which I conducted lab sessions. Honors Service Awards IEEE Computer Society, Lars Stafford Larson Outstanding Student Paper, Grants and Scholarships Outgoing Visiting Researcher Grant of the Scientific and Technological Research Council of Turkey, National Postgraduate Scholarship (PhD) of the Scientific and Technological Research Council of Turkey, National Postgraduate Scholarship (Masters) of the Scientific and Technological Research Council of Turkey, Travel Grants 1st International Spring School on Declarative Agent Languages and Technologies, th European Agent Systems Summer School, IFAAMAS Student Travel Grant, International Conference on Autonomous Agents and Multiagent Systems, International Conference Travel Grant of the Scientific and Technological Research Council of Turkey, 2008, IEEE Computational Intelligence Society Student Travel Grant, IEEE Congress on Evolutionary Computation, Selected Conference Program Committee Int. Joint Conference on Artificial Intelligence, Int. Conference on Autonomous Agents and Multiagent Systems, Principles and Practice of Multi-Agent Systems, European Conference on Artificial Intelligence, 2014, Journal Reviewer Journal of Artificial Intelligence Research IEEE Internet Computing IEEE Transactions on Services Computing ACM Transaction on Internet Computing Data and Knowledge Engineering Annals of Mathematics and Artificial Intelligence International Journal of Agent-Oriented Software Engineering Computational Intelligence Society Chairman, IEEE Eastern Mediterranean University, Computer Society Student Branch Chapter, of 6

6 Collaborators (Alphabetical Order) Training References Fatma Başak Aydemir (Utrecht University, Netherlands), Matteo Baldoni (University of Torino, Italy), Ş. İlker Birbil (Sabancı University, Turkey), Amit K. Chopra (Lancaster University, UK), Özgür Kafalı (North Carolina State University, US), Thomas C. King (University of Oxford, UK), Yang Liu (Nanyang Technological University, Singapore), Figen Öztoprak (Bilgi University, Turkey), Munindar P. Singh (North Carolina State University, US), Michael Winikoff (University of Otago, New Zealand), Pınar Yolum (Boğaziçi University, Turkey), Jie Zhang (Nanyang Technological University, Singapore) 1st International Spring School on Declarative Agent Languages and Technologies, Bertinoro, Italy, th European Agent Systems Summer School, Torino, Italy, th European Agent Systems Summer School, Annecy, France, Amit K. Chopra, Senior Lecturer, School of Computing and Communications, Lancaster University, United Kingdom Phone: Address: Lancaster University, School of Computing and Communications, InfoLab21, Room C53 Lancaster LA1 4WA United Kingdom Pınar Yolum, Professor, Department of Computer Engineering, Boğaziçi University, Turkey Phone: Address: Boğaziçi University, Department of Computer Engineering, 34342, Bebek, İstanbul, Turkey Yang Liu, Associate Professor, School of Computer Science and Engineering, Nanyang Technological University, Singapore Phone: Address: Nanyang Technological University, School of Computer Science and Engineering, 50 Nanyang Avenue, Singapore Michael Winikoff, Professor, Department of Information Science, University of Otago, New Zealand Phone: michael.winikoff@otago.ac.nz Address: Department of Information Science, University of Otago, PO Box 56, Dunedin 9054, New Zealand 6 of 6

Oskar Skibski. last update: June 28, 2018

Oskar Skibski. last update: June 28, 2018 Oskar Skibski last update: June 28, 2018 Personal Address: Banacha 2, 02-097 Warszawa, Poland (room: 1550) Contact: oskar.skibski@mimuw.edu.pl +48 225544155 http://mimuw.edu.pl/ oski Other: 07.07.1987,