Research Group in (Theoretical) Computer Science

This page aims to maintain several kinds of information concerning with theoretical computer science in Korea and foreign. However, this page still has too few information to satisfy many researchers' needs. Thus, if you have/know another useful information, or you want to add new items, please don't hesitate to inform me (cssin@jupiter.kaist.ac.kr). Also, if you have notices to broadcast anybody in our group, you can do it by using mailing list in this page.

• Bulletin board for discussion
  This is BBS for discussing open problems and anything.
  
  
• Our mailing list
• Notice
• People (professors, alumni of TC lab, students)
• General Information
• Computational Geometry
• Graph Theory and Algorithms
• Other Links

Notice

• Proceedings and Books that have just arrived at TC lab.

  For more detail information, contact to Yi, Minkyu.
  

  1. Randomized Algorithm R. Motwani and P. Raghavan,

  2. Davenport-Schinzel Sequences and Their Geometric Applications M. Sharir and P. K. Agarwal,

  3. Proceeding of SoCG 1997,

  ACM, 1997.

  4. Proceeding of SODA 1997,

  SIAM, 1997.

• Home page of Analysis of Algorithms

• A good collection of Lecture notes, surveys and papers

People

• Propessors
  
  

  Chwa, Kyung-Yong	Shin, Sung Yong
  kychwa@jupiter.kaist.ac.kr	syshin@jupiter.kaist.ac.kr

  
  
• Alumni (in Korean)
  
  
• Students
  
  

  Theory Part	Graphics Part
  Chang, Jung-Hwan (jhchang@jupiter) Kim, Sang-Beom (snoopy@jupiter) Kim, Sook-Yeon (sykim@jupiter) Shin, Chan-Su (cssin@jupiter) Lee, Jae-Ha (jhlee@jupiter) Jung, Joo-won (jwjung@jupiter) Park, Chong-Dae (cdpark@jupiter) Kim, Jae-Hoon (jhoon@jupiter) Park, SangMin (smpark@jupiter) Bae, Sang-Yong (ybae@jupiter) Sul, Sung-ook (sosul@jupiter) Kim, Junghyun (jhkim@jupiter) Yi, Minkyu (ymink@jupiter	Kim, Dae Seoung (dskim@jupiter) Kim, Hyoung Seok (hskim@jupiter) Maeng, Seung Ryul (srmaeng@jupiter) Baek, Nak-hun (cruise@jupiter) Kim, Dong-Jin (djkim@jupiter) Oh, Gyu-Hwan (ghoh@jupiter) Kim, Ho Kyung (hkkim@jupiter) Park, Tae Jun (tjpark@jupiter) Lee, Jehee (jehee@jupiter) Kang, Hyung Woo (henry@jupiter) Kwon, Bomjun (bomjun@jupiter) Ha, Hyung-jin (robobeg@jupiter) Pyun, Hye-Won (hyewon@jupiter) Shin, HyunJoon (joony@jupiter) Choi, Min-Gyu (board@jupiter) Kim, Joon-Ho (basis@jupiter

| Chan-Su Shin's Home Page | TC-lab's Home Page | CS Dept. of KAIST |

General Information

• Computer Science Departments
  • UC at Berkeley
  • Brown University
  • Carnegie Mellon University
  • Charles University
  • Cornell University
  • Georgia Tech.
  • Hong Kong University of Science and Technology
  • King's Colledge, UK
  • Max-Planck-Institute, Saarbruecken, Germany
  • McGill University
  • Princeton
  • DIMACS, Rutgers
  • Stanford University
  • University of Minnesota
  • Utrecht University
  
  
• Bibliography Information
  • The Collection of Computer Science Bibliographies
  • Technical Report Archives in Computer Science (By Institution)
  • Networked Computer Science Technical Reports Library (In U.S.A.)
  • Technical Reports Search Service (participant: C. Mellon, Cornell, UC Berkeley, Stanford, MIT, CNRI)
  • Index Keyword Search of Unified Computer Science TR Index
  • The Hypertext Bibliography Project (MIT)
  • LCS Publications of MIT
  • Electronic and Technical Reports Library (Stanford)
    

• Mailing Lists
  • COMPGEOM: Computational Geometry (moderated by Ken Clarkson)
    • Archives at Bell Labs
    • The subscription address is compgeom-request@research.bell-labs.com. The old address (compgeom-request@research.att.com) no longer works.
  • DMANET: Discrete Mathematics and Algorithms
    • Archive at CMU
  • The Geometry Forum newsgroups, from The Math Forum at Swarthmore College
    • Access instructions
    • Archives of selected articles (with pictures) at the Geometry Center (The most recent article is dated July 1995.)
  • THEORYNT: Theoretical Computer Science (moderated)
    • Doug Ierardi's TheoryNet home page at USC.
    • THEORY-A: World-Wide Events ( archives)
    • THEORY-B: Ongoing Seminars and Lectures ( archives)
    • THEORY-C: General Discussions ( archives)
  • VORAPP-L: Voronoi and Computational Geometry Applications

• Main Conferences

  STOC 97: The Twenty-Ninth Annual ACM Symposium on Theory of Computing

  May 4-6, 1997, El Paso, TX

  FOCS '97: 38th IEEE Symposium on Foundations of Computer Science

  October 19-22, 1997, Miami, FL
  Submission deadline: 16:59 EST, April 28, 1997
  The promised electronic submission guidelines are not yet available.

  ISAAC 97: Eight Annual International Symposium on Algorithms and Computation

  December 17-19, 1997, Singapore

  Submission due: May 30

  WADS '97: Workshop on Algorithms and Data Structures

  August 6-8, 1997, Halifax, Nova Scotia, Canada

  ESA '97: 5th Annual European Symposium on Algorithms

  September 15-17, 1997, Graz, Austria

  COCOON '97: 3rd Annual International Computing and Combinatorics Conference

  August 20-22, 1997, Shanghai, China

  ALEX '98: Algorithms and Experiments - Building bridges between theory and applications

  February 9 - 11, 1998, Trento, Italy

  SoCG: 13th ACM Symposium on Computational Geometry

  June 4-6, 1997, Nice, France

  The complete list of accepted papers and program are available.

  CG '97: 13th European Workshop on Computational Geometry

  March 20-21, 1997, Würzburg, Germany

  CCCG '97: 9th International Canadian Conference on Computational Geometry

  August 11-14, 1997, Kingston, Ontario

  GD '97: 5th Annual Symposium on Graph Drawing

  September 18-20, 1997, Rome, Italy

Computational Geometry

• Computational Geometry Page
  • Computational Geometry Pages (by Jeff Erickson)
  • Geometry in Action (by David Eppstein)
  • Computational Geometry Bibliographies
  • Computational Geometry Software Library (by Nina Amenta)
  • Reports on the new trend in Computational Geometry.
  • Home pages of Computational Geometer (including other researchers)(by Jorge Urrita and me)

  • Specific Corner
    • Annotated Bibliography on Graph Drawing Algorithms by by G. Di Battista, P. Eades, R. Tamassia, and I. Tollis
    • Bibliographic notes on Voronoi diagrams by Javier Bernal (113K compressed PostScript)
    • Annotated bibliography on convex polytopes and convex hull algorithms by David Bremner
    • BibTeX parallel computational geometry bibliography by Tolga's Capin
    • Traveling Salesman Problem and related issues by Pablo Moscato
    • Realistic Parallel Algorithms (BSP, BSP*, CGM, C^3, LogP, LogGP, ...)

• Geometry Softwares
  • LEDA - Library for Efficient Data Types and Algorithms
  • CGAL - Computational Geometry Algorithms Library

Graph Theory and Algorithms

• Graph Theory Page(theory-algorithms-complexity)
• Hamiltonian Page by Pablo Moscato
• compendium of NP Optimization Problems by P. Crescenzi and V. Kahn.
• The Travelling Salesman Problem Bibliography.
• Survey paper on Randomized Algorithms: On Randomization in Sequential and Distributed Algorithms, by Rajiv Gupta, Scott A. Smolka, and Shaji Bhasar.
• References (including software pointer) on the Maximal Common Subgraph (MCS) algorithm problem.
• A report containing a review of various string matching algorithms by Graham A. Stephen.
• Pattern Matching Pointers.
• Literature on realistic parallel algorithms by Silvia Goetz

Other Links

• Theoretical Computer Science On the Web
• Theoretical Computer Science Virtual Address Book
• Home pages of combinatorial people, from the World Combinatorics Exchange
• Home pages of complexity people from ECCC

• People in computer graphics by Mike Krus
• People in Computer Graphics on Internet by Tom Bech
• ACM SIGGRAPH Online Bibliography Database

| Chan-Su Shin's Home Page | TC-lab's Home Page | CS Dept. of KAIST |