https://xiaxueqaq.github.io/

1<!doctype html><html lang="en" class="no-js"><head><meta charset="utf-8"> <!-- begin SEO --><title>About me - Rizeng Chen’s Homepage 陈日增</title><meta property="og:locale" content="en-US"><meta property="og:site_name" content="Rizeng Chen's Homepage 陈日增"><meta property="og:title" content="About me"><link rel="canonical" href="https://xiaxueqaq.github.io/"><meta property="og:url" content="https://xiaxueqaq.github.io/"><meta property="og:description" content="About me"> 

1<script type="application/ld+json"> { "@context" : "http://schema.org", "@type" : "Person", "name" : "Rizeng Chen", "url" : "https://xiaxueqaq.github.io", "sameAs" : null } </script>

1 <!-- end SEO --><link href="https://xiaxueqaq.github.io/feed.xml" type="application/atom+xml" rel="alternate" title="Rizeng Chen's Homepage 陈日增 Feed"> <!-- http://t.co/dKP3o1e --><meta name="HandheldFriendly" content="True"><meta name="MobileOptimized" content="320"><meta name="viewport" content="width=device-width, initial-scale=1.0"> 

1<script> document.documentElement.className = document.documentElement.className.replace(/\bno-js\b/g, '') + ' js '; </script>

1 <!-- For all browsers --><link rel="stylesheet" href="https://xiaxueqaq.github.io/assets/css/main.css"><meta http-equiv="cleartype" content="on"> <!-- start custom head snippets --><link rel="apple-touch-icon" sizes="57x57" href="https://xiaxueqaq.github.io/images/apple-touch-icon-57x57.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="60x60" href="https://xiaxueqaq.github.io/images/apple-touch-icon-60x60.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="72x72" href="https://xiaxueqaq.github.io/images/apple-touch-icon-72x72.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="76x76" href="https://xiaxueqaq.github.io/images/apple-touch-icon-76x76.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="114x114" href="https://xiaxueqaq.github.io/images/apple-touch-icon-114x114.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="120x120" href="https://xiaxueqaq.github.io/images/apple-touch-icon-120x120.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="144x144" href="https://xiaxueqaq.github.io/images/apple-touch-icon-144x144.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="152x152" href="https://xiaxueqaq.github.io/images/apple-touch-icon-152x152.png?v=M44lzPylqQ"><link rel="apple-touch-icon" sizes="180x180" href="https://xiaxueqaq.github.io/images/apple-touch-icon-180x180.png?v=M44lzPylqQ"><link rel="icon" type="image/png" href="https://xiaxueqaq.github.io/images/favicon-32x32.png?v=M44lzPylqQ" sizes="32x32"><link rel="icon" type="image/png" href="https://xiaxueqaq.github.io/images/android-chrome-192x192.png?v=M44lzPylqQ" sizes="192x192"><link rel="icon" type="image/png" href="https://xiaxueqaq.github.io/images/favicon-96x96.png?v=M44lzPylqQ" sizes="96x96"><link rel="icon" type="image/png" href="https://xiaxueqaq.github.io/images/favicon-16x16.png?v=M44lzPylqQ" sizes="16x16"><link rel="manifest" href="https://xiaxueqaq.github.io/images/manifest.json?v=M44lzPylqQ"><link rel="mask-icon" href="https://xiaxueqaq.github.io/images/safari-pinned-tab.svg?v=M44lzPylqQ" color="#000000"><link rel="shortcut icon" href="/images/favicon.ico?v=M44lzPylqQ"><meta name="msapplication-TileColor" content="#000000"><meta name="msapplication-TileImage" content="https://xiaxueqaq.github.io/images/mstile-144x144.png?v=M44lzPylqQ"><meta name="msapplication-config" content="https://xiaxueqaq.github.io/images/browserconfig.xml?v=M44lzPylqQ"><meta name="theme-color" content="#ffffff"><link rel="stylesheet" href="https://xiaxueqaq.github.io/assets/css/academicons.css"/> 

1<script type="text/x-mathjax-config"> MathJax.Hub.Config({ TeX: { equationNumbers: { autoNumber: "all" } } }); </script>

1 

1<script type="text/x-mathjax-config"> MathJax.Hub.Config({ tex2jax: { inlineMath: [ ['$','$'], ["\\(","\\)"] ], processEscapes: true } }); </script>

1 

1<script src='https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.4/latest.js?config=TeX-MML-AM_CHTML' async></script>

1 <!-- end custom head snippets --></head><body> <!--[if lt IE 9]><div class="notice--danger align-center" style="margin: 0;">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience.</div><![endif]--><div class="masthead"><div class="masthead__inner-wrap"><div class="masthead__menu"><nav id="site-nav" class="greedy-nav"> <button><div class="navicon"></div></button><ul class="visible-links"><li class="masthead__menu-item masthead__menu-item--lg"><a href="https://xiaxueqaq.github.io/">Rizeng Chen's Homepage 陈日增</a></li><li class="masthead__menu-item"><a href="https://xiaxueqaq.github.io/publications/">Publications</a></li><li class="masthead__menu-item"><a href="https://xiaxueqaq.github.io/teaching/">Teaching</a></li><li class="masthead__menu-item"><a href="https://xiaxueqaq.github.io/cv/">CV</a></li><li class="masthead__menu-item"><a href="https://xiaxueqaq.github.io/software/">Software</a></li></ul><ul class="hidden-links hidden"></ul></nav></div></div></div><div id="main" role="main"><div class="sidebar sticky"><div itemscope itemtype="http://schema.org/Person"><div class="author__avatar"> <img src="https://xiaxueqaq.github.io/images/hollywood.jpg" class="author__avatar" alt="Rizeng Chen (陈 日增)"></div><div class="author__content"><h3 class="author__name">Rizeng Chen (陈 日增)</h3><p class="author__bio">Not a real algebraic geometer</p></div><div class="author__urls-wrapper"> <button class="btn btn--inverse">Follow</button><ul class="author__urls social-icons"><li><i class="fa fa-fw fa-map-marker" aria-hidden="true"></i> MPI-MiS, Leipzig, Germany</li><li><a href="mailto:[email protected]"><i class="fas fa-fw fa-envelope" aria-hidden="true"></i> Email</a></li><li><a href="https://github.com/xiaxueqaq"><i class="fab fa-fw fa-github" aria-hidden="true"></i> Github</a></li><li><a href="http://orcid.org/0009-0001-5985-5359"><i class="ai ai-orcid-square ai-fw"></i> ORCID</a></li></ul></div></div></div><article class="page" itemscope itemtype="http://schema.org/CreativeWork"><meta itemprop="headline" content="About me"><meta itemprop="description" content="About me"><div class="page__inner-wrap"><header><h1 class="page__title" itemprop="headline">About me</h1></header><section class="page__content" itemprop="text"><p>I am fortunate to be a postdoc in Max Planck Institue for Mathematics in Sciences (MPI-MiS), working with <a href="https://math.berkeley.edu/~bernd/">Prof. Bernd Sturmfels</a>.</p><p>I am very proud to receive my PhD degree from School of Mathematical Sciences, Peking University (PKU). My PhD advisor is <a href="https://www.math.pku.edu.cn/teachers/xiabc/html/index_en.html">Prof. Bican Xia</a>. Find my dissertation <a href="/assets/thesis.pdf">here</a>.</p><p>I obtained my bachelor’s degree from Hua Loo-Keng honorary class, School of Mathematical Sciences, Beihang University (BUAA).</p><p>My research interest lies in the intersection of</p><ol><li>Algebraic Geometry</li><li>Mathematical Logic</li><li>Theorectical Computer Science</li></ol><p>For example, given a semi-algebraic set / an algebraic variety $X$ (algebraic geometry), described by a logic formula (logic), I would like to know how can I decide whether $X$ is empty (TCS)?</p><p>As another example, given a semi-algebraic set / an algebraic variety $X$, how can I compute its projection image in the low-dimensional space (Quantifier Elimination)?</p><p>You may refer to <a href="https://arxiv.org/abs/2311.10515">my recent paper</a> on a new Cylindrical Algebraic Decomposition algorithm to see my research interest in more details.</p><p>You can find my CV <a href="/assets/CV_Chen.pdf">here</a>.</p></section><footer class="page__meta"></footer></div></article></div><div class="page__footer"><footer> <!-- start custom footer snippets --> <a href="/sitemap/">Sitemap</a> <!-- end custom footer snippets --><div class="page__footer-follow"><ul class="social-icons"><li><strong>Follow:</strong></li><li><a href="http://github.com/xiaxueqaq"><i class="fab fa-github" aria-hidden="true"></i> GitHub</a></li><li><a href="https://xiaxueqaq.github.io/feed.xml"><i class="fa fa-fw fa-rss-square" aria-hidden="true"></i> Feed</a></li></ul></div><div class="page__footer-copyright">&copy; 2026 Rizeng Chen. Powered by <a href="http://jekyllrb.com" rel="nofollow">Jekyll</a> &amp; <a href="https://github.com/academicpages/academicpages.github.io">AcademicPages</a>

1, a fork of <a href="https://mademistakes.com/work/minimal-mistakes-jekyll-theme/" rel="nofollow">Minimal Mistakes</a>.</div></footer></div>

1<script src="https://xiaxueqaq.github.io/assets/js/main.min.js"></script>

1 

1<script> (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); ga('create', '', 'auto'); ga('send', 'pageview'); </script>

1</body></html>