Category: Language

  • Department of Mathematical Sciences at KAIST invites applications for a tenured and tenure-track faculty position beginning from Spring 2022 to Spring 2023.

    Department of Mathematical Sciences at KAIST invites applications for a tenured and tenure-track faculty position beginning from Spring 2022 to Spring 2023.

    Professorships at KAIST

    The Department of Mathematical Sciences at KAIST invites applications for a tenured and tenure-track faculty position beginning from Spring 2022 to Spring 2023.

    In recent years, KAIST, one of the top research universities in Korea, has been recruiting distinguished scholars of both Korean and foreign nationalities. KAIST is located in Daejeon, a city with a population of 1.5 million, and its operation is financially supported by the Korean government. Most of the courses at KAIST are taught in English.

    Applications are accepted from any areas of pure, applied, and interdisciplinary mathematics including artificial intelligence (AI) and data science. Successful applicants must demonstrate outstanding accomplishments or potential in research and teaching.

    An internationally competitive salary commensurate with qualifications will be offered with attractive remuneration packages including relocation assistance, a start-up grant for research, health insurance, and housing benefit. The regular teaching load is two courses for the first year, and three courses a year thereafter.

    All applications must include the following:

    • KAIST faculty application form (A separate paper for major achievements, teaching plan, and research accomplishments is acceptable.) 
    • Cover letter (An AMS standard cover sheet is acceptable. The names of three (3) recommenders must be listed therein.)
    • Curriculum vitae with a publication list
    • Research statement of previous work and future plans
    • Teaching statement of previous work and future plans
    • A minimum of three (3) recommendation letters (Recommenders should send their letters directly to the email address below.)

    After the screening process, candidates may need to submit additional documents.

    All applications should be sent to recruit@mathsci.kaist.ac.kr or to the mailing address below by Thursday, September 30, 2021


    Jaeyoung Byeon
    Head of the Department of Mathematical Sciences
    KAIST
    291 Daehak-ro, Yuseong-gu, 

    Daejeon
    Republic of Korea 
    Zip Code: 34141

    https://mathsci.kaist.ac.kr/home/en/

    For any inquiries, please contact Lan Yoon at +82-42-350-2703 or recruit@mathsci.kaist.ac.kr.

  • KIAS 웹진 Horizon에 기고한 글 “2021 아벨상 수상자 로바스 라슬로”

    2021년 아벨상 수상자 두 분 중 한 분인 로바스(Lovász László) 교수의 업적을 소개하는 글을 써서 KIAS 웹진 Horizon에 실었습니다.

    2021 아벨상 수상자 로바스 라슬로

  • 수학동아xIBS, 나의 삶 나의 수학 시리즈 인터뷰+기고

    수학동아xIBS, 나의 삶 나의 수학 시리즈 인터뷰+기고

    수학동아와 기초과학연구원(IBS)이 설립 10주년을 맞아 공동으로 IBS 내의 수학자들의 연구와 삶을 소개하는 시리즈를 시작하였습니다. 제 이야기로 그 시리즈 시작이 되었습니다. 내용은 수학동아 2021년 5월호나 IBS 홈페이지에서 볼 수 있습니다. 글을 다듬어주신 홍아름 수학동아 기자님, 그리고 멋진 사진을 찍어주신 AZA 스튜디오 남윤중 실장님 감사드립니다. 내용은 아래에서 볼 수 있습니다.

    1편: 기자의 인터뷰

    2편: 연구 경험담

    제가 하던 수학 연구는 길게는 수년, 짧게는 수일 만에 완성되기도 했습니다. 그중 독일의 한 소도시에서 했던 연구는 단 하루 만에 답을 얻었습니다. 그래프 알고리듬 분야에서 유명한 브루노 쿠르셀 프랑스 보르도컴퓨터과학연구소(LaBRI) 교수님과 만났던 2004년 5월에 생긴 일입니다

  • How to configure Perl to run latexindent on Mac OS Catalina

    How to configure Perl to run latexindent on Mac OS Catalina

    The “latexindent” is a Perl script that indents a LaTeX file to make it easier to read, and is included in MacTeX. As most of us install the MacTeX, it should be easy to use latexindent. However, the default installation does not work because it requires extra configuration on Perl. To make it worse, this install isn’t trivial at all. You can find questions on Stackoverflow. Here’s what I did in order to set up the latexindent on MacOS without using brew to install Perl again.

    Install xcode command line tools

    In order to use C compilers or git on Mac, it is necessary to install command line tools. On the terminal, run this command.

    xcode-select --install

    Configure the CPATH environment

    Due to some weird reasons, some necessary files for compiling some packages are hidden on Mac OS Catalina. In order to make some header files to be available for compilers, we need to set up the CPATH variable. Otherwise, there will be an error message saying “Fatal error: ‘EXTERN.h’ file not found”.

    To find this file, one can run the following command.

    find /Library/Developer/CommandLineTools/SDKs -name EXTERN.h -print

    There may be many versions; you can choose the one that matches the version of Perl installed on Mac. In my case, the version of Perl was v5.18.4. The version of Perl can be found by “perl -v”. On my Mac, EXTERN.h for this version was in /Library/Developer/CommandLineTools/SDKs/MacOSX11.0.sdk/System/Library/Perl/5.18/darwin-thread-multi-2level/CORE/EXTERN.h. Thus, I set the CPATH environment as follows.

    export CPATH=/Library/Developer/CommandLineTools/SDKs/MacOSX11.0.sdk/System/Library/Perl/5.18/darwin-thread-multi-2level/CORE

    Install Perl packages by cpan

    The latexindent requires a few Perl packages to be installed. Here is the command to run.

    cpan -i Log::Log4perl Log::Dispatch::File YAML::Tiny File::HomeDir Unicode::GCString

    Like me, most of you will see many questions, because in its first run, it requires to configure itself. Here’s what I chose.

    What approach do you want?  (Choose 'local::lib', 'sudo' or 'manual')
     [local::lib] sudo

    After all this, latexindent should be ready. If not, then you can try to install missing Perl packages again by using “cpan -i”.

    I use latexindent on Visual Studio Code. The standard extension for LaTeX, LaTeX Workshop, uses latexindent to indent a LaTeX file.

  • List of YouTube Channels for research talks on discrete mathematics

    Due to the COVID-19 pandemic, many seminars are now held online. Many of them made a YouTube channel to post their videos. But it is very difficult to search for such videos. In this post, I’d like to share a few of them. Please suggest more in the comment.

    Here’s a list of YouTube channels for online seminars.

    Here’s a list of some recent conferences or workshops posting videos online.

    Other collections

  • 소소한 정보: BibTeX으로 참고 문헌 모으기

    LaTeX으로 논문을 쓸때 참고문헌은 보통 BibTeX으로 처리합니다. 여러 논문의 서지 정보를 mybib.bib처럼 확장자가 .bib인 파일로 한 곳에 모아두면 논문마다 따로 참고문헌을 정리할 필요없이 \cite 명령으로 인용만 해주면 참고문헌 부분이 자동으로 생성되어 편리합니다. 이 글은 (쉽게 배울 수 있는) BibTeX을 쓰는 법을 설명하려는 것은 아니고, 몇 가지 주의점만 정리해두려고 합니다.

    bib 파일에 넣을 서지 정보는 구글 스칼라dblp에서 받은 것을 쓰지 말자!

    구글 스칼라나 dblp에서 받는 bib 포맷 정보는 자동으로 생성되어 품질이 좋지 않습니다. 저는 항상 미국수학회 MathSciNet에서 받아서 씁니다. 유료 사이트이긴 하지만 대부분의 대학과 연구소에서는 구독료를 지불하고 있습니다. 구독하는 곳에서 미리 Remote Access라고 적힌 지구본 그림 아이콘을 눌러 “원격 접속 인증”을 웹브라우저에서 받아두면 집에 노트북이나 휴대폰을 가지고 가더라도 90일간은 접속이 되어 편리합니다.

    MathSciNet에서 논문을 검색한 후 Select alternative format에서 BibTeX을 선택하면 아래처럼 내용이 나옵니다.

    @article {MR2232389,
    AUTHOR = {Oum, Sang-il and Seymour, Paul},
    TITLE = {Approximating clique-width and branch-width},
    JOURNAL = {J. Combin. Theory Ser. B},
    FJOURNAL = {Journal of Combinatorial Theory. Series B},
    VOLUME = {96},
    YEAR = {2006},
    NUMBER = {4},
    PAGES = {514--528},
    ISSN = {0095-8956},
    MRCLASS = {05C70 (05B35 05C85 68Q25 68R10 68W25)},
    MRNUMBER = {2232389},
    MRREVIEWER = {Dillon Mayhew},
    DOI = {10.1016/j.jctb.2005.10.006},
    URL = {https://doi.org/10.1016/j.jctb.2005.10.006},
    }

    이렇게 받은 것을 mybib.bib 파일에 붙여넣고, 첫 번째 줄에 있는 키 부분만 원하는 것으로 바꿉니다.

    서지 정보의 키는 일정한 규칙으로 정하자.

    키는 항상 일정한 규칙으로 정하고 한 번 정하면 바꾸지 않는 것이 좋습니다. 예를 들어 박사과정 중에 논문을 4편을 썼는데 모아서 박사논문 하나로 정리한다고 생각해봅시다. 논문마다 키가 달랐다면 나중에 통합할 때 키를 다시 합쳐야 해서 대폭 수정을 해야 합니다.

    BibDesk

    예전에는 일일이 논문 키를 저자의 성 알파벳 첫 글자를 모은 것 + 연도로 손으로 설정하곤 하였는데, 지금은 bib파일을 BibDesk라는 프로그램으로 관리하고 있어서, BibDesk 설정으로 제가 원하는 방식으로 생성하게 해둡니다. BibDesk는 Mac OS에서 mactex으로 TeX을 설치하면 /Applications/TeX 안에 설치가 되어 있습니다.

    논문은 여러 개라도 bib 파일은 하나로 모아두자

    저의 경우 mybib.bib이라는 파일을 항상 하드디스크의 ~/my/bib에 저장해두고, 거의 대부분의 논문을 쓸때 같은 bib파일을 참고하도록 설정해서 씁니다. 이를 위해서 BIBINPUTS라는 환경변수에 bib파일이 저장된 디렉토리를 지정해 놓습니다. 따라서 논문을 어느 디렉토리에서 쓰던지 bib 파일은 하나만 쓰게 됩니다.

    만일 arXiv에만 있던 논문이 출판이 되면 mybib.bib에서 같은 키에서 내용만 고쳐줍니다. 그러면 이 논문이 인용된 논문마다 새로 컴파일만 해주면 참고문헌이 정확하게 나오게 되겠지요. 같은 논문이 다른 키로 두 번 인용되는 사고를 막아줍니다.

    물론 요즘은 여러 저자들과 함께 논문 작업을 overleaf나 git (주로 bitbucket)으로 하다보니 수 천개의 논문 서지 정보가 적힌 파일 전체를 공유하기는 어렵습니다. 저는 mybib.bib에 있는 논문에서 사용될법한 논문만 모아서 git 프로젝트 안에 따로 저장하여 공유하고 씁니다.

    한편 BibDesk 프로그램으로 bib 파일을 관리하면 논문 원문 파일도 함께 관리할 수 있게 해주어서 편리합니다. BibDesk 설정을 잘 보면 논문 원문 파일을 어떤 디렉토리에 어떻게 저장할 지 상세하게 설정할 수 있어서 편리합니다. 또한 BibDesk 프로그램을 실행할 때 처음에 어느 bib 파일을 열 것인지도 미리 설정할 수 있어서 저의 경우 ~/my/bib/mybib.bib을 열도록 미리 설정해 둡니다.

  • Big Congratulations to Bruno Courcelle for the first S. Barry Cooper Prize

    Big Congratulations to Bruno Courcelle for the first S. Barry Cooper Prize

    The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his work on the definability of graph properties in Monadic Second Order Logic, through a sequence of seminal papers and a book (joint with Joost Engelfriet). This forms an outstanding example of theory building, bringing together logic, computability, graph grammars, and various notions of graph width (tree-width, clique-width and rank-width) and opening new avenues in our understanding of graph structure theory and the computability and complexity of graph algorithms. Besides its foundational character, the work has had great impact on a number of areas of computer science, including in parameterized algorithmics, verification and other areas, and has influenced a generation of researchers in this field. It has straddled the divide between the logical and algorithmic aspects of theoretical computer science.”

    The ACiE President
    Paola Bonizzoni

    Big Congratulations to Bruno Courcelle for the first S. Barry Cooper Prize. I was very fortunate to meet him at Dagstuhl in 2004, resulting a nice paper on Seese’s conjecture and an algorithm to decide rank-width≤k, making two chapters of my Ph.D. thesis. 

    In the photo, you can find me and Bruno. 

  • 소소한 생각: 개인 홈페이지는 필수

    인터넷이 발전하면서 이제는 학계에 있는 분들에게 개인 홈페이지는 선택이 아니라 필수가 되었습니다. 인터넷 검색으로 관련 연구자를 찾게 되니 검색 엔진에 나오지 않으면 존재하지 않는 사람이 됩니다. 특히 대학원생이나 박사후 연구원인 분들, 학계에 자리잡으려고 노력하시는 분들은 개인 홈페이지가 있으면 유리합니다. 이 글에서는 개인 홈페이지에 관한 몇 가지 생각들을 정리해 보았습니다.

    무슨 내용을 쓸까

    • 이름과 현재 소속, 직위, 얼굴 사진 하나
    • 경력
    • 이메일 주소 (저널 에디터들이 레프리 찾을 때 구글 검색으로 홈페이지 찾아서 이메일 주소 찾습니다)
    • 논문 목록 (출판된 것 + 투고한 것). (논문은 arXiv 링크를 걸어두는 걸로 충분합니다.)
    • 세미나/학회 발표 이력
    • 강의 이력
    • CV

    제 개인적인 생각으로는 안 써도 되는 내용 혹은 안 쓰면 좋은 내용은 아래와 같습니다.

    • 생년월일
    • 성별
    • 국적
    • 가족 사항
    • 여행 사진
    • 휴대전화 번호

    어디에다 만들까?

    개인 홈페이지를 만든다면, 소속 기관 주소를 받을 수 있는 곳에 만드는 것이 제일 좋습니다. 예를 들어 KAIST 수리과학과 구성원이라면 mathsci.kaist.ac.kr/~id와 같은 인터넷 주소를 받을 수 있습니다. IBS 이산수학그룹의 경우 dimag.ibs.re.kr/home/id와 같이 주소를 받을 수 있습니다. 이처럼 소속 기관의 공식 인터넷 주소에 개인 홈페이지가 들어가야 그 개인 홈페이지를 가진 사람을 좀더 신뢰할 수 있습니다.

    많은 사람들이 구글 Sites를 써서 홈페이지를 만들고 있습니다만 저는 별로 추천하지는 않습니다. 먼저 소속 기관의 인터넷 주소를 쓰지 않으니 신뢰감을 덜 주게 됩니다. 아울러 중국에서는 차단되어 있어서 중국의 학자분들이 접속할 수 없다는 단점이 있습니다.

    만일 소속 기관에서 개인 홈페이지를 만들 수 있는 서비스가 제공되지 않는다면 구글 Sites, Github pages, WordPress와 같은 사설 서비스를 써야할 수도 있겠지요. 앞에서 말한 이유로 구글을 피하고 나면 Github pages나 WordPress 모두 괜찮은 선택이라고 생각합니다. 이 경우 한번 홈페이지 주소를 만들면 바꾸지 않을 수 있도록 개인 도메인을 확보하는 것이 더 좋고, 보안 접속인 https를 지원하는 서비스를 이용하는 것이 좋겠습니다.

    개인 홈페이지를 만들고 나면 기관 홈페이지에서 본인 이름이 있는 곳에 개인 홈페이지로 링크를 걸어달라고 요청하는 것이 좋습니다. 구글 검색엔진의 페이지 랭크는 페이지 랭크가 높은 페이지에서 해당 페이지로 링크가 많을수록 높아지기 때문에 학과 홈페이지 같은 곳에서 연결을 해주면 검색 엔진 결과에 좀더 쉽게 노출됩니다.

    어떻게 만들까?

    소속 기관의 홈페이지 서비스를 이용하는 경우 보통은 개인 홈페이지를 만들기 위해서 간단한 HTML 문법을 알아야 합니다. 그리 어려운 것은 아니지만, 요즘은 마크다운 에디터에서 간단한 문법으로 작성한 후 HTML로 저장하는 것이 편할 것입니다. 예를 들어 typora같은 프로그램을 써서 작성한 후 html 형식으로 export 하여 파일명을 index.html로 고쳐서 서버에 올리면 됩니다. Microsoft Word나 아래아한글에서도 html 파일로 저장할 수는 있지만 추천하지 않습니다. IBS 이산수학그룹의 경우 wordpress를 제공하고 있어서 html 문법을 몰라도 쉽게 연구원들이 홈페이지를 만들 수 있습니다.

    저의 경우 예전에는 html을 직접 썼었는데, 그 후 blogger 서비스를 써서 만들기도 하다가, joomla도 써보다가 이제는 wordpress를 써서 개인 홈페이지를 만들고 있습니다. 만일 요즘 홈페이지를 새로 만들어야 하고, 관리자가 아니라서 wordpress 설치가 힘들다면 마크다운 에디터로 간단한 한 페이지짜리 홈페이지를 만들거나, 좀더 복잡한 경우 jekyll을 사용하였을 것 같습니다.

    이직할 때 처리할 일

    소속 기관을 바꾸게 되면 개인 홈페이지도 이사를 가야 합니다. 간혹 구글에서 누군가를 찾아보면 여러 대학에 비슷한 개인 홈페이지가 흩어져 있어서 어느 홈페이지가 최신 내용인지 구별하기 어려운 경우가 있습니다. 이렇게 여러 홈페이지가 나오는 이유는 이사를 갔는데도 예전 주소에 새 주소를 적어두지 않아서 그렇습니다.

    어떤 분들은 새 주소는 여기이니 이 쪽으로 오라고 말로 적어 놓는 경우도 있습니다. 하지만 그렇게 하면 사람만 이해할 수 있고 구글의 색인 로봇은 이해할 수 없습니다.

    이런 문제를 해결하기 위한 표준이 있습니다. HTTP 표준을 보면 301 Moved Permanently라는 것이 있습니다. 어떤 홈페이지를 접속하였을 때 새 주소로 바뀐 것을 알려주는 방식인데, 301 처리를 하면 웹 브라우저가 알아서 새 홈페이지로 옮겨지게 될 뿐 아니라 인터넷 검색 엔진도 예전 주소를 새 주소로 바꿔서 기억해주기 때문에 검색 엔진 랭킹에서도 유리합니다.

    웹서버 종류에 따라서 301 코드를 만들어 내기 위해서 어떻게 처리해야 하는지가 다릅니다. 아파치 웹서버처럼 .htaccess라는 파일에 스스로 설정을 써넣으면 되는 경우도 있지만, nginx 웹서버의 경우처럼 서버 관리자의 도움을 받아야 하는 경우도 있습니다. 저의 경우는 개인 홈페이지를 이사할 때 예전 주소로 접속하더라도 새 홈페이지에서 같은 내용으로 이동되도록 redirect 설정을 정밀하게 하는 편입니다.

    301 설정을 하기 어려우나 html 파일을 고칠 수 있는 경우에는 meta redirect 설정을 할 수도 있습니다. 물론 301보다는 추천하지 않습니다.

  • 소소한 정보: arXiv에 논문을 올릴 때 주의사항

    소소한 정보: arXiv에 논문을 올릴 때 주의사항

    많은 수학자들은 논문을 쓰면 출판되기 전에 그 논문을 preprint(출판전 논문)의 무료 저장소인 arXiv.org에 업로드하여 다른 사람들이 찾아볼 수 있게 합니다. 개인 홈페이지라면 PDF 파일을 올리겠지만, arXiv에는 TeX 원문 파일을 업로드하는 것을 권장합니다. arXiv에 있는 논문의 원문 소스를 다운받으려면 “Other formats”를 클릭한 후 “Download source”를 클릭하면 됩니다. 다른 분은 어떻게 논문에 그림을 그렸나 참고하는데 쓸 수 있지요.

    주석 삭제하기

    보통 논문을 여러 사람이 함께 쓰다보면 TeX의 주석 표시인 % 표시 뒤에 별별 내용이 다 적히는데, 그걸 지우지 않으면 틀린 증명을 임시로 지워둔 것 등이 있어서 누군가 tex 코드를 다운받아서 보게 된다면 상당히 부끄러울 수 있습니다. 따라서 arXiv에 업로드하기 전에는 반드시 주석을 모두 삭제하는 것을 권장합니다.

    심지어 arXiv의 논문에서 tex 파일 내 주석에 어떤 말이 많이 사용되었는지 연구한 논문도 있습니다. 2013년에 나온 연구결과에 의하면 수학 논문의 90.4%가 주석을 지우지 않았다고 합니다.

    주석을 삭제하기 위해서는 arXiv 홈페이지에 있는 perl 명령어를 이용하면 편리합니다. 맥에서는 터미널을 열고 아래 명령을 입력합니다.

    perl -pe 's/(^|[^\\])%.*/\1%/' < main.tex > main-arxiv.tex

    그 후 arXiv에 업로드할 때는 새로 생성된 파일인 main-arxiv.tex을 업로드하면 됩니다.

    참고로, python으로 만들어진 주석 삭제 도구 arxiv_latex_cleaner도 있습니다.

    참고문헌 정리하기

    TeX으로 논문을 쓰다보면 bibtex을 사용하여 참고문헌을 정리하는 것이 편리합니다. 단, arXiv에 bib 파일을 올릴 필요가 없습니다. 보통 연구를 하다보면 bib 파일에는 수많은 논문의 정보를 저장하게 됩니다. 필자의 경우 대학원생때부터 관리하던 bib 파일 안에 현재 3000개 이상의 논문 서지 정보가 들어있는데, 이 큰 파일을 굳이 업로드할 필요가 없습니다. BibDesk라는 프로그램으로 서지 정보를 관리합니다.

    먼저 latex을 돌리고 나면 생성되는 bbl파일을 열어서 그 속 내용물을 전체 복사하여 main-arxiv.tex 파일의 뒷 부분에 붙여넣고, 뒷부분에 있는 아래와 같은 두 줄은 아래처럼 주석처리하면 됩니다.

    %\bibliographystyle{abbrv}
    %\bibliography{mybib}

    같은 내용을 따로 올리지 말 것

    가끔 arXiv를 보다보면 “arXiv admin note: text overlap with arXiv:…”과 같은 경고문이 코멘트에 달린 것을 볼 수 있습니다. 그것은 그 논문이 다른 논문과 내용이 많이 겹친다는 경고이며 표절의 가능성을 암시하는 것이라 조심하는 것이 좋습니다. 이 웹사이트에서는 자동으로 내용 중복을 검사하여 저런 코멘트를 달아줍니다.

    예를 들어 논문 하나를 업로드한 후, 나중에 수정본을 다시 업로드할 때, 마치 새로운 논문처럼 업로드하면 저런 경고가 붙는 것을 피할 수 없습니다. 수정본을 업로드하는 기능이 있습니다. 간혹 논문 하나가 둘로 쪼개진다는 등 사정이 있는 경우에는 코멘트란에 그 내용을 적어두는 것이 좋습니다. 아울러 논문을 여러 개 쓸 때, 반복되는 부분, 특히 정의나 배경지식 설명 부분을 그냥 복사 붙여넣기 하면 자기 표절에 해당하므로 피해야 합니다.

    최신 preprint 구독하기

    arXiv에서 관심있는 분야의 새로운 preprint 정보를 매일 이메일로 받아볼 수 있습니다. 받는 논문이 너무 많다면 arxivist.com이라는 웹사이트를 추천합니다. 이 사이트에서는 사용자의 관심사에 맞추어서 5개 논문을 자동으로 선별하여 매일 이메일로 보내줍니다.

  • 기초과학연구원(IBS) 이산수학그룹 소개

    기초과학연구원(IBS) 이산수학그룹 소개

    기초과학연구원의 PRC 제도

    2018년부터 기초과학연구원에서는 연구단장이 이끄는 큰 규모의 기존 연구단 형태와는 다른, 새로운 연구단 제도를 만들었습니다. 이 새로운 연구단은 PRC라고 불리는데 PRC는 Pioneer Research Center의 약자입니다. 기존 기초과학연구원의 연구단은 1~2명의 연구단장이 하나의 큰 연구단을 책임지고 운영하는 형태였습니다.

    PRC 형태의 연구단에서는 내부에 Chief Investigator, 약자로 CI로 불리는 여러 연구자가 독립적으로 운영하는 소규모 연구그룹을 만듭니다. 이 PRC 형태의 연구단의 연구단장은 거기에 속한 CI들이 돌아가며 맡기 때문에 PRC 자체는 여러 연구그룹을 모아놓는 우산과 같은 조직이 됩니다. 각 CI는 예산도 별도로 신청하여 받고 운영도 독립적으로 하지만, 같은 연구단 일은 같은 연구단 소속 다른 CI와 서로 협업을 통하여 운영합니다. 비유를 하자면 기존 연구단은 여러 연구팀으로 나누어 운영되는 경우가 많은데 PRC에서는 각 연구팀을 CI가 맡아서 독립적으로 운영한다고 생각하면 될 것 같습니다. CI를 한글로 어떻게 표시할 것인지에 대하여 의견 정리가 되지 않아서 한글 명칭은 없습니다.

    기초과학연구원의 자료에 따르면 CI는 “소규모 연구그룹을 구성하여 기초과학분야의 모험적이며 창의적인 연구를 독립적으로 수행할 수 있는 젊은 연구자”라고 정의하며, 이러한 지원을 통하여 “세계적 연구기관의 연구책임자와 대등하거나 혹은 가까운 미래에 이들과 대등한 수준으로 성장할 잠재력이 큰 젊은 연구자에게 독립 연구를 지원함으로써 차세대 세계적 석학으로 육성”하겠다고 합니다. CI에게는 최대 연 10~15억원 예산의 연구그룹을 구성하고 독립연구를 수행할 권한을 부여합니다. CI는 출장비 등 여러 내부 규정에서 부연구단장에 준하는 대접을 받습니다. 참고로 CI가 받는 예산에는 CI 본인의 인건비도 포함되어 있습니다만, 과거와 달리 행정인력의 인건비는 제외되어 있습니다. 행정인력은 본원에서 직접 지원하기 때문입니다.

    2018년 초에 처음으로 기초과학연구원에서 CI를 뽑겠다는 공고가 나왔습니다. 올해는 없지만 2018년에는 공개모집과 함께 추천 위원회(search committee)도 운영하여 후보를 추천하는 과정도 있었습니다. CI의 선정은 부연구단장에 준하는 방식으로 진행한다고 합니다. 제가 경험한 비공개 발표 평가에서는 필즈메달 수상자인 심사위원장과 함께, 누가 섭외하셨는지는 모르겠지만 해외에서 제 전공 분야 저명하신 학자분들이 일부러 시간을 내어 서울에 오셨고, 국내에서도 제 분야 여러 원로 교수님들께서 참여하셔서 많은 수고를 해주셨습니다. 공개 심포지엄, 비공개 발표 평가 등 엄정한 심사 과정을 거쳐 제도 시행 첫 해에 CI로 선정되어 매우 영광이고 귀중한 시간을 내어서 과정에 참여해주신 모든 분들께 감사하게 생각합니다.

    수리 및 계산 과학 연구단

    제도 첫 해인 2018년에는 총 3명의 CI가 선정되었습니다. 그 중 데이터 사이언스 그룹을 구성한 KAIST 전산학부 차미영 교수와 제가 수학 분야로 선정되었고, KAIST 의과학대학원의 김호민 교수는 생물 분야로 선정되었습니다. 김호민 교수는 혼자 속할 PRC 연구단의 이름을 “바이오분자 및 세포 구조 연구단”이라는 이름으로 만들었습니다. 저와 차미영 교수는 여러 논의를 거쳐 “수리 및 계산 과학 연구단”(Center for Mathematical and Computational Sciences)라는 이름으로 PRC 연구단 이름을 정하였습니다.

    행정 업무를 위해서 본원 행정인력 중에서 파견받은 행정인력을 두 PRC 연구단이 공용으로 활용하고 있습니다. 원래 두 명이 배정되었으나 최근 한 분이 늘어나 총 세 분의 행정인력이 3명의 CI 활동을 지원하고 있습니다. 앞으로 채용이 진행되면 늘어날 것으로 기대하고 있습니다.

    수리 및 계산 과학 연구단은 기초과학연구원 본원의 이론동 2층을 배정받았습니다.

    이산수학그룹

    이번에 시작한 연구그룹은 이산수학그룹, 영어로 Discrete Mathematics Group이라고 이름을 지었습니다. 약자로는 DIMAG이라고 정하였는데, DIMAG이 마침 힌디어로 두뇌라고 합니다. 홈페이지는 https://dimag.ibs.re.kr에서 볼 수 있습니다.

    이 글을 부탁받고 가장 먼저 한 고민은 아직 연구진이 갖추어지지 않은 연구그룹을 어떻게 소개하는가 하는 걱정이었습니다. 아직 이산수학그룹이 시작된지 몇 달 되지 않았다는 점을 감안해서 읽어주시면 감사하겠습니다.

    이산수학그룹의 목표는 크게 세 가지로 생각하였습니다.

    • 이산수학, 그래프 이론 및 알고리듬 분야 분야의 세계적 연구를 수행
    • 국내외 관련 분야 연구자들과의 협력 연구 촉진
    • 관련 분야 세미나, 워크샵, 학회, 스쿨 등을 적극적으로 조직하여 연구 결과를 적극적으로 공유하고 아이디어를 나누며 미래 연구자들의 성장을 도움

    첫 번째 목표를 위해서 현재는 연구진을 뽑는 작업을 진행하고 있습니다. 초기인만큼 주로 저의 관심분야에 가까우면서도 우수한 연구자들을 뽑고자 노력하고 있습니다.

    첫 박사후 연구원을 뽑는 공고는 2018년 12월 중순이 지원 마감이었는데, 짧은 홍보기간에도 불구하고 국내외 많은 분들이 지원해주셨습니다. 서류 전형과 면접 전형을 거쳐 최종으로 3명의 연구자에게 오퍼를 보냈습니다. 고맙게도 세 명 모두 오퍼를 수락하였습니다. 3명 중 1명은 한국인으로 조합적 최적화를 전공하였으며 기초과학연구원에서 전문연구요원으로 복무하면서 박사후 연구원을 할 예정입니다. 나머지 2명은 극단적 조합론(extremal combinatorics)를 전공한 미국인과 인도인인데 둘 다 모두 그 분야에서 유명한 헝가리에서 박사 학위를 받았다는 공통점이 있습니다. 3명 모두 개인 사정상 여름에 합류할 예정입니다.

    현재 4월 중순 마감으로 2차 모집 공고가 나갔습니다. 예산 상황 등을 고려하여 두 세 명을 뽑을 예정입니다.

    출범되지 얼마되지 않았지만, 벌써 2019년 3월말까지 4건의 Discrete Math Seminar를 개최하였습니다. 관심있는 분들께서는 얼마든지 오셔서 강연을 들으실 수 있으며, 제게 연락하시면 세미나 공지를 이메일로 받으실 수 있게 도와드리겠습니다.

    첫 워크샵이었던 “2019-1 IBS Workshop on Graph Theory”는 이화여대 김연진 박사와 공동주관으로 2월 11일부터 12일까지 1박 2일 일정으로 개최하였습니다. 국내 3명의 연사와 함께 체코, 헝가리, 미국에서 온 세 명의 연사가 연구 발표를 진행하였습니다. 올 여름 인천에서 열리는 조합론 학술대회도 공동개최를 할 예정입니다.

    한편 올해 프랑스 CNRS의 김은정 박사와 함께, 7월 말부터 3주동안 “2019 IBS Summer Research Program on Algorithms and Complexity in Discrete Structures”라는 이름의 여름 연구 프로그램을 개최합니다. 총 3주동안 관심사가 비슷한 연구자들이 기초과학연구원에 모여서 집중적으로 연구를 수행하려고 하며, 현재까지 14명의 해외 학자들이 2~3주씩 참가하겠다고 밝혀온 상태입니다.

    올 가을에 해외에서 연구년을 이산수학그룹으로 오겠다고 하는 분들이 있어서 논의가 진행되고 있습니다. 국내분들 중에도 1월에 이산수학그룹에 1주일 이상 방문하셔서 연구하신 분도 계십니다. 이산수학그룹에 방문하셔서 연구하시고 싶다면 연락을 주시길 바랍니다. 이산수학그룹이 내부 인원만을 위한 것이 아니기에, 적극적으로 활용해주시면 감사하겠습니다.

    연구환경

    신세계 사이언스 콤플렉스 조감도.
    출처: https://www.daejeon.go.kr/drh/drhStoryDaejeonView.do?boardId=blog_0001&menuSeq=1479&ntatcSeq=1098919117

    기초과학연구원 본원은 대전의 옛 엑스포과학공원 부지에 지어졌습니다. 바로 동쪽에 한빛탑이 있으며 한빛탑을 지나서 걸어가면 롯데시티호텔, ICC 호텔, 대덕특구게스트하우스 등 방문자들을 위한 숙박시설이 충분히 있습니다. 바로 서쪽에는 현재 신세계 백화점 및 특급 호텔이 포함된 지상 43층의 신세계 사이언스 콤플렉스가 2021년 준공 예정으로 공사중입니다. 본원 건물에서 북쪽 방향에는 기초과학연구원의 게스트하우스 및 기숙사 형태의 숙소가 있어서 연구원들이 편하게 생활할 수 있습니다.

    기초과학연구원의 본원 건물은 2017년 말에 준공되었습니다. 그런 까닭에 제가 들어오던 12월 초까지도 이론동 2층 전체는 방문 달린 것 말고는 아무것도 없었다고 해도 과언이 아닙니다. 한 달동안 엄청난 노력 끝에 수학자라면 누구나 부러워할 환경을 어느 정도 구축할 수 있었습니다. 기초과학연구원에서 Annals of Mathematics와 같은 수학 저널이나 미국수학회 MathSciNet을 인터넷을 통해 접속할 수 있게 된 것도 작년에 다 이루어진 일입니다.

    이론동 2층에 위치한 커다란 칠판을 설치한 두 강의실에는 각각 동영상 촬영 장비를 설치하였습니다. 연사가 동의하는 경우 세미나 영상을 촬영하여 이산수학그룹 홈페이지 및 유투브에서 볼 수 있도록 올리고 있습니다.

    토론실

    수학 연구자들이 작은 그룹이나 큰 그룹으로 모여서 연구 토의를 할 수 있는 토론실이 작은 것 2개 큰 것 1개가 구축되어 있습니다. 그 중 큰 것에는 3면 벽이 모두 유리보드로 되어 있어서 넓은 보드 공간을 사용하며 연구에 집중할 수 있습니다. 한편 연구원들과 방문자들이 사용할 수 있는 연구실을 여럿 구축하였습니다.

    기초과학연구원 본원에는 과학문화센터라는 부속건물이 있습니다. 거기에는 큰 학회를 개최할 수 있는 강당 뿐 아니라 여러 작은 강의실도 많이 있습니다. 대학에서는 학기 중에는 강의 때문에 강의실 대여가 어려운데, 여기서는 강의가 없으므로 그러한 행사 개최가 좀더 쉽습니다.

    당부말씀

    이산수학그룹의 모든 활동은 이산수학그룹 홈페이지에 공지를 하고 있습니다. 흥미로운 세미나나 워크샵이 있으면 적극적으로 참여 부탁드립니다.

    현재까지 기초과학연구원 본원 건물에 출근하는 수학 박사는 저 뿐입니다. 현재 저를 제외하면, KAIST 소속 제 대학원생 3명과 KAIST 소속 그래프이론 전공 박사후 연구원이 이산수학그룹의 연구실을 가장 많이 사용하고 있습니다.

    물리 분야의 경우 이론물리 분야 연구단 2개가 이론동 3층의 절반, 4층의 절반을 쓰고 있고 실험 분야도 있습니다. 물리 분야 이론 연구단들은 서로 티타임도 돌아가면서 하고 물리 분야 콜로퀴엄도 개최하는데, 수학은 아직 기초과학연구원 내에 사람이 적어서 그럴 형편이 되지 못합니다.

    2019년에도 두 번째로 연구단장과 CI를 뽑는다는 공고가 나왔고 마감이 이미 끝난 상황입니다. 하나의 PRC 연구단에 5명의 CI까지 선정이 가능하다고 합니다. 기초과학연구원 본원 이론동 2층에는 아직 빈 공간이 많이 있고, 앞으로 오실 분들은 이미 연구환경이 어느 정도 구축되어서 저보다 쉽게 시작하실 수 있을 것입니다. 많은 수학자들이 기초과학연구원으로 옮겨오시거나 방문하셔서 자유롭게 연구에 몰입하며 함께 지낼 수 있길 기대합니다.

    2019년 5월 발행된 KSIAM 소식지에 기고한 글이며, 작성 시점은 3월입니다.