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） 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 作者

   

（ 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

现指导学生

程仕超  硕士研究生  081202-计算机软件与理论  

冯晓妍  硕士研究生  081200-计算机科学与技术  

http://www.barmpalias.net