Ari Saptawijaya

Education

• October 2001 - April 2004
  International Master Programme in Computational Logic
  Dept. of Computer Science, Dresden University of Technology, Germany.
  Graduated: Dipl-Inf./Master of Computer Science (M.C.S.)
• September 1995 - July 1999
  Undergraduate Study in Computer Science
  Faculty of Computer Science, University of Indonesia.
  Graduated: S.Kom./Bachelor of Science (B.Sc.) in Computer Science

Professional Experience

• February 2006 - Now
  Lecturer, Faculty of Computer Science, University of Indonesia.
• March 2005 - April 2005
  Teaching Assistant for Constraint Logic Programming
  Dept. of Computer Science, University of Twente, The Netherlands.
• December 2004 - October 2005
  Research Assistant at the Distributed and Embedded System Research Group
  Dept. of Computer Science, University of Twente, The Netherlands.
• February 2003 - February 2004
  Teaching Assistant for Foundations of Logic and Constraint Programming
  Dept. of Computer Science, Dresden University of Technology, Germany.
• January 2000 - October 2001
  System Engineer, Technical Assistant Center (TAC) II
  Operation and Maintenance System of Base Station System (OMC-B)
  Information and Communication Mobile, P.T. Siemens Indonesia.

Publications

• L. M. Pereira, A. Saptawijaya. Modelling Morality with Prospective Logic, to appear in: M. Anderson, S. Anderson (eds.), "Machine Ethics", Cambridge University Press, 2010.
• L. M. Pereira, A. Saptawijaya. Computational Modelling of Morality, The Association for Logic Programming Newsletter, Vol. 22, No. 1, February/March 2009.
• L. M. Pereira and A. Saptawijaya. Modelling morality with prospective logic, International Journal of Reasoning-based Intelligent Systems (IJRIS) 2009, 1(3/4):209-221, 2009.
• I. W. Kurnia, L. Y. Stefanus and A. Saptawijaya. Formal Analysis of an Authentication Protocol for UMTS (Universal Mobile Telecommunications System) Using AVISPA, Jurnal Ilmu Komputer dan Informasi, Vol. 1, No. 2, Juny 2008.
• L. M. Pereira and A. Saptawijaya. Moral decision making with ACORDA, (Short Papers), Local Procs. 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia, 2007.
• L. M. Pereira and A. Saptawijaya. Modelling morality with prospective logic, Proceedings 13th Portuguese International Conference on Artificial Intelligence (EPIA 2007), Lecture Notes of Artificial Intelligence (LNAI) 4874 pp. 63-72, Guimaraes, Portugal, 2007
• R. Corin, A. Saptawijaya, and S. Etalle. A Logic for Constraint-based Security Protocol Analysis, IEEE Symposium on Security and Privacy, Oakland, US. pp. 155-168. IEEE Computer Society, 2006.
• R. Corin and A. Saptawijaya and S. Etalle. PS-LTL for Constraint-Based Security Protocol Analysis, (Poster Paper), Lecture Notes of Computer Science (LNCS) Vol. 3668, 21st International Conference on Logic Programming (ICLP), Sitges - Spain, 2005.
• A. Saptawijaya. Implementation of An Operational Semantics for MSO Logic over Trees, Master's Thesis, International Master Programme in Computational Logic, Dresden University of Technology, 2004.
• A. Saptawijaya. Implementation of Deaccumulation in Haskell+, Project Report, International Master Programme in Computational Logic, Dresden University of Technology, 2003.
• B. Kusumoputro and A. Saptawijaya. Hybrid neural system of adaptive self-organized network with probability function and backpropagation supervised learning, Proceedings Indonesian-German Conference, 2001.
• B. Kusumoputro, A. Saptawijaya, and A. Murni. Comparison of hybrid neural systems of KSOM-BP learning in artificial odor recognition system, Proceedings of Fourth International Conference on Computational Intelligence and Multimedia Applications, ICCIMA, Yokosuka - Japan, 2001.
• B. Kusumoputro, L. Rostiviani, and A. Saptawijaya. Self-organized network with a supervised training and its comparison with FALVQ in artificial odor recognition system, Proceedings of SPIE Vol. 4036, SPIE 14th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls, Orlando Florida - USA, 2000.
• B. Kusumoputro dan A. Saptawijaya. Jaringan syaraf hibrida PB-SKNC dan aplikasinya pada pengenalan aroma, Prosiding Lokakarya Komputasi dalam Sains dan Teknologi Nuklir, Badan Tenaga Nuklir Nasional (BATAN), 2000.
• A. Saptawijaya dan B. Kusumoputro. Pembelajaran Kohonen berdasarkan sejarah kemenangan neuron cluster, Prosiding Seminar Nasional Kecerdasan Komputasional Vol. 1, No. 1, 1999.
• A. Saptawijaya. Perancangan dan Pengembangan Jaringan Saraf Hibrida PB-SKNC serta Aplikasinya pada Pengenalan Aroma, Bachelor's Thesis, Faculty of Computer Science, University of Indonesia, 1999.