Personal homepage of Xinwei Chai

PhD graduate at Laboratoire des Sciences du Numérique de Nantes (LS2N) / Centrale Nantes / MeForBio team.

Contact

• E-mail: xinwei.chai(at)hotmail.com

Research Interests

Bioinformatics:

• Model-checking of discrete system
• Model inference/learning from time-series data
• Model revision based on dynamic properties

Spatiotemporal big data:

• Geographic Information System (GIS)
• Geographic data mining
• Big-data processing

Postdoc 2019-2022

Topic: Spatiaotemporal big-data mining and processing

in Beijing UniStrong Science Technology Co., Ltd.

Supervised by Prof. Jie JIANG

Contribution

• Algorithm design for analyzing spatiotemporal data and its optimization
• Processing and mining of big-data based on GIS, statistics, and machine learning techniques
• Design and development of TB-level spatial big-data platform
• Design and development of high-concurrency interactive mapping platform

Ph.D. Thesis 2015-2019

Title: Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks
French title: Analyse d'accessibilité et révision de la dynamique dans les réseaux de régulations biologiques

Manuscript

in Laboratoire des Sciences du Numérique de Nantes (LS2N)

Supervised by Olivier Roux and Morgan Magnin

Defended on 24 May, 2019 at École Centrale de Nantes, Defense slides

Master Thesis 2014-2015 (in French)

Title: Complétion des Réseaux de Régulation -- une Contribution pour le Process Hitting

Manuscript

in Laboratoire des Sciences du Numérique de Nantes (LS2N, ex IRCCyN)

Supervised by Olivier Roux and Morgan Magnin

Defended on 28 August, 2015 at École Centrale de Nantes, Defense Slides

Collaborations

Tony Ribeiro, Katsumi Inoue.

Publications

Xinwei Chai, Xian Guo, Jihua Xiao, and Jie Jiang.
Analysis of spatiotemporal mobility of shared-bike usage during COVID-19 pandemic in Beijing
Transactions in GIS, 25(6):2866–2887, 2021.

Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux and Katsumi Inoue.
Static Analysis and Stochastic Search for Reachability Problem
The 9th International Workshop on Static Analysis in Systems Biology, (SASB 2018), Freiburg, Germany.

Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux and Katsumi Inoue.
Using Reachability Properties of Logic Program for Revising Biological Models
The 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy.

Xinwei Chai, Morgan Magnin and Olivier Roux.
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks
arXiv preprint arXiv:1804.07543, 2018.

Xinwei Chai and Bo Li.
An approach of completing biological regulation networks modeled in Process Hitting framework
The 4th International Conference on Computer Science and Network Technology (ICCSNT 2015), Harbin, China

IT skills

Programming languages

Python, Scala, SQL, Shell, Java, C, C++, Clingo, Matlab, LaTeX, Html, JavaScript, R, Perl, Scilab, Pascal

GIS tools

GeoSpark, QGIS, PostGIS, GeoServer, Openlayers

Computation frameworks

Declarative programming, parallel computing (Spark, HDFS)

Devop

Front end, back end, database (PostgreSQL, MySQL, Redis), load test (JMeter)

OS

Windows, Linux, Mac

Teaching

2017: Algorithmic, Programming, C++ language at École Centrale de Nantes for first-year students (bac+3).

Language Skills