We discuss how the closed connected 1-dimensional manifold, namely the circle, can help understanding 3-manifolds. We describe so-called the universal circle proposed by a lengendary mathematician, William Thurston, and discuss certain gene...

인터넷 혁명을 거치면서 인간이 생산 및 소비하는 정보의 양이 비약적으로 증가하고 있다. 다루는 정보와 신호의 차원이 커짐에 따라 정보를 획득, 압축, 저장 그리고 복원하는 일련의 과정에 대한 새로운 패러다임이 요구되어 왔으며, 특히 큰 차원의 신호에...

.

완전동형암호는 암호화된 상태에서 모든 계산을 지원하는 이상적인 암호로서 암호학계의 성배(holy grail)로 불리며 1978년 이후 오랫동안 미해결 문제로 알려져 있었다. 2009년 Gentry에 의해 처음 만들어진 후 많은 연구를 거쳐 실용화를 앞두고 있으며 2011...

I will give a very personal overview of the evolution of mainstream applied mathematics from the early 60's onwards. This era started pre computer with mostly analytic techniques, followed by linear stability analysis for finite difference a...

사회에 대한 연구는 모형 중심의 연구와 자료 중심의 연구로 나눠볼 수 있다. 최근 빅데이터를 비롯한 자료 형태의 혁신은 연구의 중심을 모형 중심에서 자료 중심으로 옮기는 듯 하다. 그러나 "변수"를 중심으로 혁신적 자료를 활용한다면 여전히 모형이 과학...

고전컴퓨터는 모든 정보를 이진수로 표현하여 계산을 0과 1의 전기신호로 구현하는데 반해서 양자컴퓨터는 정보를 벡터(양자상태)로 표현하여 유니터리 변환을 통해 계산을 수행한다. 양자컴퓨터가 관심을 끄는 이유는 얽힌 양자상태 덕분에 빠른 계산이 가능...

기술적 관점에서 AI Technology를 가볍게 살펴보고, 소개하는 서비스 별로 AI를 접목했을 때 어떤 진보 혹은 혁신이 가능한지, 그로 인해 어떤 사업적 가능성이 있는지를 살펴보겠습니다. AI 는 모두가 생각하는 장미빛 청사진 만을 가진것이 아니라 과거의 많...

지난 50년간 진행된 분자생물학의 혁명으로 인해 생명 시스템이 수많은 분자들의 상호작용으로 구성되어 있음을 알게 되었습니다. 이러한 복잡한 시스템을 이해하기 위해서는 현미경과 같이 생명현상을 관찰하는 도구와 함께 수학은 생명과학 분야에서 필수적...

거울대칭은 수학의 다른 두 분야의 이론 간 연관관계를 제시하며, 물리학의 초끈이론에서 비롯되어 수학의 여러 분야에 지난 2~30년간 많은 영향을 주었다. 이번 강연에서는 곡면 (구, 토러스 등)에서 곡선들과 이에 둘러싸인 다각형이 만드는 기하학과 이와 ...

We describe some of the history of the three-body problem and how it lead to symplectic geometry. We start by sketching Poincare’s prize-winning work, and discuss how it lead to the birth of the fields of dynamical systems and symplec...

In recent years, artificial intelligence has made remarkable progress in developing algorithms that can learn from vast amounts of carefully labeled data. This paradigm of supervised learning has made great success in training specialist mo...

This talk discusses modern cryptographic techniques, such as zero-knowledge proof, multi-party computation and homomorphic encryption, which provide advanced functionality and security guarantees beyond data privacy and authenticity. I will...