Akın Günay

Akın Günay
Contact
Information
School of Computer Engineering
Computational Intelligence Graduate Lab
Nanyang Technological University
Blk N4, #B1a-02, Nanyang Avenue
Singapore 639798
Education
Boğaziçi University, Istanbul, Turkey
Cell Phone: +65 9868 5955
Office Phone: +65 6790 4618
Fax: +65 6792 6559
E-mail: [email protected]
www: http://pat.sce.ntu.edu.sg/akin
Ph.D., Department of Computer Engineering, September 2013
- Thesis Title: Generating, Ranking and Enacting Commitment Protocols
- Advisor: Dr. Pınar Yolum
M.Sc., Department of Computer Engineering, February 2008
- Thesis Title: Process Based Matchmaking of Services
- Advisor: Dr. Pınar Yolum
Eastern Mediterranean University, Famagusta, TRNC
B.Sc., Department of Computer Engineering (High Honor), June 2005
Experience
Research Fellow, Computational Intelligence Graduate Lab, School of Computer Engineering, Nanyang Technological University, Singapore, November 2013 – ...
Research Assistant, Department of Computer Engineering, Boğaziçi University, Turkey,
January 2008 – October 2013.
Visiting Scholar, Department of Information Science, University of Otago, New
Zealand, January – June 2012.
Part-time Lecturer, Department of Computer Engineering, Okan University, Turkey,
January 2008 – June 2009.
Teaching Assistant, Department of Computer Engineering, Eastern Mediterranean
University, Turkey, September 2005 – December 2005.
Intern, ALCATEL, İstanbul, Turkey, July – August 2004.
Research
Interests
Artificial Intelligence, Multiagent Systems, Formal Methods, Social Norms, Privacy,
Collaborative Security, Modal Logic, Model Checking, Plannning, Constraint Satisfaction, Semantic Web, Service Oriented Computing
Publications
Journal Articles
1. 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), 192–229, 2015.
2. Ö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), pp. 161–190, 2014.
3. 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), pp. 499–519, 2013.
1 of 5
4. 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), pp.
489–509, 2013.
5. Akın Günay and Pınar Yolum, Service Matchmaking Revisited: An Approach
based on Model Checking, Web Semantics: Science, Services and Agents on the
World Wide Web, 8(4), pp. 292–309, 2010.
Book Chapters
6. Akın Günay, Michael Winikoff and Pınar Yolum, Commitment Protocol Generation, In M. Baldoni et al. (Eds.), Declarative Agent Languages and Technologies
X, LNAI 7784, pp. 136–152, Springer, Heidelberg, 2013.
7. Akın Günay and Pınar Yolum, Detecting Conflicts in Commitments, In C. Sakama
et al. (Eds.), Declarative Agent Languages and Technologies XI, LNAI 7169, pp.
51–66, Springer, 2012.
8. Akın Günay, Figen Öztoprak, Ş. İlker Birbil and Pınar Yolum, Solving Global
Optimization Problems using MANGO, In A. Hakansson et al. (Eds.), Agent and
Multi-Agent Systems: Technologies and Applications, LNAI 5559, pp. 783–792,
Springer, 2009.
9. Akın Günay and Pınar Yolum, Structural and Semantic Similarity Metrics for
Web Service Matchmaking, In G. Psaila and R.Wagner (Eds.), E-Commerce and
Web Technologies, LNCS 4655, pp. 129–138, Springer, 2007.
Conference Papers
10. Akın Günay, Yang Liu, Jie Zhang and Partha Dutta, Automated Agent Behavior Construction for Protocol-based Multiagent Systems, In Proceedings of the
IEEE / WIC / ACM International Conference on Intelligent Agent Technology,
Singapore, 2015. (to appear)
11. Akın Günay, Song Songzheng, Yang Liu and Jie Zhang, Automated Analysis
of Commitment Protocols using Probabilistic Model Checking, In Proceedings of
29th AAAI Conference on Artificial Intelligence, pp. 2060-2066, Austin, TX, US,
2015.
12. Özgür Kafalı, Akın Günay and Pınar Yolum, GOSU: computing GOal SUpport
with commitments in multiagent systems, In Proceedings of the 21st European
Conference on Artificial Intelligence, pp. 477–482, Prague, Czech Republic, 2014.
13. Akın Günay, Michael Winikoff and Pınar Yolum, Generating and Ranking Commitment Protocols, In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems, pp. 1323–1324, Saint Paul, MN, US,
2013.
14. Ö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, In Proceedings of
the 2012 IEEE/ACM International Conference on Advances in Social Networks
Analysis and Mining, pp. 429–433, İstanbul, Turkey, 2012.
15. Akın Günay and Pınar Yolum, Semantic Matchmaking of Web Services using Model Checking, In Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 273–280, Estoril, Portugal, 2008.
16. Adnan Acan and Akın Günay, Enhanced Particle Swarm Optimization through
External Memory Support, In Proceedings of the IEEE Congress on Evolutionary
Computation, vol. 2, pp. 1875–1882, Edinburgh, United Kingdom, 2005.
2 of 5
17. Adnan Acan and Akın Günay, An External Memory Supported ACO for the Frequency Assignment Problem, In Proceedings of the International Conference on
Adaptive and Natural Computing Algorithms, pp. 365–368, Coimbra, Portugal,
2005.
Workshop Papers and Other Publications
18. Akın Günay and Pınar Yolum, Engineering Conflict-free Multiagent Systems,
The Workshop on Engineering Multi-Agent Systems, pp. 192–207, Saint Paul,
MN, US, 2013.
19. Akın Günay, Argumentation on Bayesian Networks for Distributed Decision
Making, In T. Balke et al. (Eds.): Online Proceedings of the 11th European
Agent Systems Summer School Student Session (EASSS), Turin, Italy, 2009.
Projects
Research Fellow, Formal Verification on Cloud, supported by Nanyang Technological
University, 2013–2016.
As a research fellow, I conduct research on the formal modeling and verification of multiagent systems. In this context I develop novel modeling methods for multiagent systems
taking into account time, resource, and uncertainty aspects. I formalize properties of such
systems using logic formalisms, such as temporal logic. I also develop novel model checking
methods for the verification of multiagent systems’ formal properties and implement these
methods in PAT framework. I also supervise graduate students and actively participate in
grant applications.
Research Assistant, MANGO: MultiAgent Environment for Global Optimization,
supported by Scientific and Technological Research Council of Turkey, 2008–2011.
As a research assistant, I designed and implemented the multiagent optimization framework
MANGO, which aims to improve efficiency and quality of optimization using multiagent
concepts. I developed MANGO in Java language using JMS API. Beside the implementation of the core components of the framework, I also led the development of agents that
employ multiagent optimization strategies.
Research Assistant, Process-Based Matchmaking of Web Services, supported by
Bogazici University Research Fund, 2007–2009.
As a research assistant, I developed novel service discovery methods that analyze process
models of web services using model checking and semantic reasoning to improve accuracy
of the discovery.
Teaching
Part-time Lecturer, Okan University, Istanbul, Turkey
Computer Programming [C], (Spring’08, Fall’08, Spring’09)
Object-Oriented Programming [Java] (Fall’08)
Teaching Assistant, Boğaziçi University, Istanbul, Turkey
Artificial Intelligence (Fall’07, Fall’10)
Object-Oriented Programming [Java] (Spring’10)
Teaching Assistant, Eastern Mediterranean University, Famagusta, TRNC
Operating Systems (Fall’06)
Awards &
Grants
Awards
IEEE Computer Society, Lars Stafford Larson Outstanding Student Paper Award,
2004.
3 of 5
Scholarships
Outgoing Visiting Scholar Fellowship of Scientific and Technological Research
Council of Turkey, 2012.
National Postgraduate Scholarship of Scientific and Technological Research Council of Turkey for PhD Study, 2008-2012.
National Postgraduate Scholarship of Scientific and Technological Research Council of Turkey for MS Study, 2006-2007.
Travel Grants
1st International Spring School on Declarative Agent Languages and Technologies, 2011.
11th European Agent Systems Summer School, 2009.
IFAAMAS Student Travel Grant, International Conference on Autonomous Agents
and Multiagent Systems, 2008.
International Conference Travel Grant of Scientific and Technological Research
Council of Turkey, 2008, 2013.
IEEE Computational Intelligence Society Student Travel Grant, IEEE Congress
on Evolutionary Computation, 2005.
Service
Conference Program Committee
International Joint Conference on Artificial Intelligence (IJCAI), 2016.
International Conference on Autonomous Agents and Multiagent Systems
(AAMAS), 2014–2016.
Principles and Practice of Multi-Agent Systems (PRIMA), 2015.
European Conference on Artificial Intelligence (ECAI), 2014.
International Workshop on Coordination, Organisations, Institutions and Norms
(COIN), 2014.
(National) Computer Science Student Workshop, 2011, 2013.
Twelfth European Agent Systems Summer School Student Session, 2010.
Journal Reviewer
IEEE Transactions on Services Computing
International Journal of Agent-Oriented Software Engineering
Computational Intelligence
Society
Chairman, IEEE Eastern Mediterranean University, Computer Society Student
Branch Chapter, 2003-2005
Training
1st International Spring School on Declarative Agent Languages and Technologies,
Bertinoro, Italy, 2011.
11th European Agent Systems Summer School (EASSS), Torino, Italy, 2009.
8th European Agent Systems Summer School (EASSS), Annecy, France, 2006.
4 of 5
Skills
Programming: Java, C, C++, Python, PROLOG, R
Development: JADE, Android API, Protégé, Pellet, KAON2, JENA, Spin & PROMELA,
NuSMV, Process Algebra Toolkit (PAT), Apache ActiveMQ, Apache MINA, Apache
Tomcat, Glassfish
OS: Linux/Unix
Other: Latex, Beamer, PGF/Tik Z, Subversion, Eclipse, Netbeans, Emacs
References
Available upon request.
5 of 5