个人简介
招生专业
081202-计算机软件与理论
招生方向
计算理论,数理逻辑
算法随机性和Kolmogorov复杂度
社会网络和离散动力系统
教育背景
2000-09--2004-07 University of Leeds, United Kingdom 博士学位
1996-09--2000-07 Aristotle University of Thessaloniki, Greece 学士学位
工作简历
2018-09~现在, Institute of Software, Professor
2015-02~2018-08,Institute of Software,CAS, Associate Professor
2014-01~2015-12,Victoria University of Wellington, Research Fellow and Lecturer
2011-03~2013-12,Institute of Software,CAS, Research Fellow
2009-12~2011-02,University of Amsterdam (ILLC), Lecturer
2007-12~2009-12,Victoria University of Wellington, Research Fellow and Lecturer
2004-07~2007-12,University of Leeds, United Kingdom, Research Fellow
教授课程
网络科学
科研项目
( 1 ) Non-uniform coding into random streams with zero redundancy, 主持, 国家级, 2018-01--2019-12
( 2 ) ****项目, 主持, 研究所(学校), 2015-02--2018-12
( 3 ) ****专项-基金委经费, 主持, 国家级, 2018-01--2019-12
( 4 ) 反推数学与可计算分析, 参与, 国家级, 2020-01--2023-12
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
(1) Monotonous betting strategies in warped casinos, Information and Computation, 2019, 第 1 作者
(2) Compression of data streams down to their information content, IEEE Transactions on Information Theory, 2019, 第 1 作者
(3) The idemetric property: when most distances are (almost) the same, Proceedings of the Royal Society A, 2019, 第 1 作者
(4) Pointed computations and Martin-Loef randomness, Computability, 2018, 第 1 作者
(5) Equivalences between learning of data and probability distributions, and their applications, Information and Computation, 2018, 第 1 作者
(6) Minority population in the one-dimensional Schelling model of segregation, Journal of Statistical Physics, 2018, 第 1 作者
(7) Optimal redundancy in computations from random oracles, Journal of Computer and System Sciences, 2018, 第 1 作者
(8) Digital Morphogenesis via Schelling Segregation, Nonlinearity, 2018, 第 1 作者
(9) Differences of halting probabilities, Journal of Computer and System Sciences, 2017, 第 1 作者
(10) The probability of a computable output from a random oracle, ACM Transactions on Computational Logic, 2017, 第 1 作者
(11) Random numbers as probabilities of machine behavior, Theoretical Computer Science, 2017, 第 1 作者
(12) Kobayashi compressibility, Theoretical Computer Science, 2017, 第 1 作者
(13) Computing halting probabilities from other halting probabilities, Theoretical Computer Science, 2017, 第 1 作者
(14) Unperturbed Schelling Segregation in Two and Three Dimensions, Journal of Statistical Physics, 2016, 第 1 作者
(15) Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega, Journal of Computer and System Sciences, 2016, 第 1 作者
(16) Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers, Information and Computation, 2016, 第 1 作者
(17) On the existence of a strong minimal pair, Journal of Mathematical Logic, 2015, 第 1 作者
(18) Integer-valued betting strategies and Turing degrees, Journal of Computer and System Sciences, 2015, 第 1 作者
(19) Tipping points in Schelling segregation, Journal of Statistical Physics, 2015, 第 1 作者