VITAE OF PROF. SANG M. KIM : 


   Upon completion of a M.S. in Computer Science, Korea Advanced Institute of Science & Technology (KAIST),

   S. Kim studied Logic and Cybernetics at the Federal Institute of Technology in Zurich (ETH Zurich), and based

   on doctoral thesis research as a
Minna-James-Heineman grantee  in the logic group at the Massachusetts Institute of

   Technology completed Dr. Phil. at Univ. Berne. He has been affiliated with M.I.T. and Stanford Univ as Visiting Professor,

   and is currently Professor at Yonsei Univ. He served as Associate Editor, Modern Logic(International journal), U.S.A., Jan.

   1994-Dec.1996. He is tenacious in the pursuit of his goals, yet he realizes that the logical postulate of non-contradiction

   gives rise to a merely apparent contradictoriness that obscures the actual contradictory nature of life.


 
    Selected Awards/grants:

 

   Minna-James-Heinemann grant,

   DAAD Grant,


   Deutsche Forschungsgemeinschaft,


   Heinrich-Hertz Foundation grant,


   Excellent Teaching Award



    Academic Activities

  1. Kurt Godel Society
  2. Die Osterreichische Ludwig Wittgenstein Gesellschaft
  3. Forder-und Forschungsgemeinschaft Friedrich Nietzsche e. V

    Research Interests

Logic and game theoretic applications

   Teaching Areas

Logic and game theoretic applications

    Selected Research Papers

  1. The Length of Wellorderings in the impredicative Extension of Von Neumann-Bernays-Godel Class Theory, 1998, Procedings of Bicentennial National Mathematical Sciences Congress in Canberra
  2. Variants of the Well Ordering Theorem and The Axioms of Choice and Multiple Choice, 1998, Abstracts of Papers Presented to the American Mathematical Society
  3. Ramsey Numbers and The Nomplanarity of Graphs With More Than Three Vertices, 1988, Abstracts of Papers Presented to the American Mathematical Society
  4. MODIFICATIONS OF ZF EQUICONSISTENT WITH ZF, 1988, Abstracts of Papers Presented to the American Mathematical Society
  5. WELL ORDERED PROPER CLASSES, 1988, Uni Druck, Munchen, Germany
  6. "Absolute Forms Of Godel's Incompleteness Theorem", Epistemologia, An International Journal for Logic and the Philosophy of Science, Italy, XVII, No.2 pp.329-338 February 1995;  presented in part at the 15th International Wittgenstein Symposium, 16-23 August, 1992, Kirchberg/Wechsel
  7. "Paradoxes as Analogues to Godel's Second Incompleteness Theorem", From the Logical Point of View, An International journal of Logic (the Czech Academy of Sciences), Vol II, 2/93, qugust 1994, pp 45-48
  8. "Irrelevance and Relevance of Godel's Theorems to AI", KYBERNETES, An International journal for Systems and Cybernetics, U.K., vol. 24, No. 4, pp 2-3 & pp 77-83 July, 1995
  9. "A Computer proving All Mathematical Truths: Supporting the AI thesis", From the Logical Point of View, An International journal of Logic(the Czech Academy of Sciences), Vol II, 3/93, pp 1- 6, December 1994
  10. "Some Equivalents of Lob's Theorem", From the Logical Point of View, An International Journal of Logic (the Czech Academy of Sciences), Vol II, 3/93, pp 8-12 December 1994
  11. "w-consistency and Lob's Theorem", Bulletin of the Section of Logic, Poland Volume 23, Number 4, pp 158-162, December, 1994
  12. "Computability Theory"(Graduate TextBook), accepted for publication by the Publishing Power, San Francisco, U.S.A.; also submitted to Springer Verlag  
  13.  S. Kim and Sang W. Kim, ``Recycling polluted packet at the physical layer in wireless network coding," IEEE Communications Letters, pp. 856-859, May 2013.
  14.   Sang W. Kim, T.Khalaf, and S.M.Kim, "MAP detection of misbehaving relay in wireless multiple access relay networks," IEEE Communications Letters, pp.340-342, March 2011.
  15.   Sang W. Kim, Y.J.Chun, and S.Kim, "Co-channel interference cancellation using single radio frequency and baseband chain, IEEE Transactions on Communications, pp. 2169-2175, July 2010.

  Languages


   Conversational and reading command of Korean, English and German.


 
For detailed vitae and publications please contact PROF. SANG M. KIM at email address

   
forex@yonsei.ac.kr or emath@mit.edu