-
Notifications
You must be signed in to change notification settings - Fork 0
/
news.html
117 lines (113 loc) · 11.9 KB
/
news.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
<html>
<head>
<title>Paolo Zuliani, Newcastle University - News</title>
</head>
<body>
<b>News</b>
<ul>
<li> Jan. 2023 - <a href="https://rosetreestrust.co.uk/" target="_blank">Rosetrees Trust</a> grant awarded: AI-PSORT (Artificial Intelligence-enabled Psoriasis Stratification to Optimise Relevant Therapy)</li>
<li> Oct. 2022 - Started teaching a new <a href="http://www.ncl.ac.uk/postgraduate/modules/CSC3132" target="_blank">module on Quantum Computing</a>
<li> Aug. 2022 - <a href="https://doi.org/10.1371/journal.pcbi.1010267" target="_blank">Paper</a> accepted in <em> PLOS Computational Biology</em>
<li> May 2022 - <a href="https://doi.org/10.4230/LIPIcs.DNA.28.5" target="_blank">Paper</a> accepted at <a href="https://dna28.cs.unm.edu/" target="_blank"> DNA28</a>
<li> May 2022 - <a href="https://doi.org/10.1002/bit.28146" target="_blank">Paper</a> accepted in <em> Biotechnology & Bioengineering</em>
<li> Mar. 2022 - My PhD student Konstantinos Georgopoulos has successfully defended his thesis on 'Noise Modelling, Simulation and Benchmarking for Near-term Quantum Computers'
<li> Feb. 2022 - I have been promoted to <a href=" https://en.wikipedia.org/wiki/Reader_(academic_rank)"target="_blank">Reader</a>
<li> Jan. 2022 - I will be Co-Chair of the Artifact Evaluation Committee of <a href="https://conferences.ncl.ac.uk/formats2022/" target="_blank">FORMATS 2022</a>
<li> Dec. 2021 - <a href="https://arxiv.org/abs/2101.02109" target="_blank">Paper</a> accepted in <em>Physical Review A</em>
<li> Nov. 2021 - I will be on the Programme Committee of <a href="https://www.qest.org/qest2022/" target="_blank">QEST 2022</a>
<li> Aug. 2021 - I will be a Turing Fellow at <a href="https://www.turing.ac.uk/" target="_blank">The Alan Turing Institute</a>
<li> Jun. 2021 - Paper accepted in <em>Journal of the European Academy of Dermatology & Venereology</em>
<li> May 2021 - <a href="https://www.biofilms.ac.uk/poc4/" target="_blank">NBIC Proof of Concept</a> grant awarded
<li> May 2021 - <a href="https://www.ncl.ac.uk/postgraduate/funding/sources/ukeustudents/comp2105.html"target="_blank">PhD studentship 'AI + Logic = Safe Autonomous Driving'</a> available
<li> May 2021 - EPSRC IAA grant awarded
<li> Apr. 2021 - I will be on the Program Committee of <a href="https://lcs.ios.ac.cn/memocode21/"target="_blank">MEMOCODE 2021</a>
<li> Jan. 2021 - <a href="https://arxiv.org/abs/1911.00305" target="_blank">Paper</a> accepted in <em>Physical Review A</em>
<li> Jan. 2021 - I will organise the <a href="https://vars-workshop.github.io/2021/" target="_blank" >1<sup>st</sup> International Workshop on Verification of Autonomous & Robotic Systems</a> at <a href="https://cps-iot-week2021.isis.vanderbilt.edu/" target="_blank">CPSWeek 2021</a>
<li> Dec. 2020 - I will be on the Program Committee of <a href="https://www.qest.org/qest2021/index.html"target="_blank">QEST 2021</a>
<li> Oct. 2020 - <a href="http://dx.doi.org/10.1002/bit.27619"target="_blank">Paper</a> accepted in <em> Biotechnology and Bioengineering</em>
<li> Sep. 2020 - <a href="https://doi.org/10.1109/ACCESS.2020.3028476"target="_blank">Paper</a> accepted in <em>IEEE Access</em>
<li> Sep. 2020 - Paper accepted at <a href="https://iitjammu.ac.in/conferences/memocode2020/"target="_blank">MEMOCODE 2020</a>
<li> Sep. 2020 - Paper accepted at <a href="http://vecos-world.org/2020/"target="_blank">VECoS 2020</a>
<li> Sep. 2020 - I will be on the Program Committee of <a href="https://sites.uclouvain.be/adhs21/"target="_blank">ADHS 2021</a>
<li> Jun. 2020 - <a href="https://www.ncl.ac.uk/postgraduate/funding/sources/ukeustudents/comp023.html"target="_blank">PhD studentship in quantum computing</a> available
<li> Dec. 2019 - <a href="https://www.findaphd.com/phds/project/automated-reasoning-for-decision-making-in-mosquitoes-combating-malaria-spread/?p117379"target="_blank">PhD studentship</a> on automated reasoning available
<li> Dec. 2019 - My PhD student Mariia Vasileva successfully defended her thesis (<i>An evaluation of approximate probabilistic reachability techniques for stochastic parametric hybrid systems</i></a>)
<li> Oct. 2019 - <a href="https://doi.org/10.1038/s41467-019-13232-z"target="_blank">Paper</a> accepted in <em>Nature Communications</em>
<li> Oct. 2019 - <a href="https://doi.org/10.1371/journal.pcbi.1007125"target="_blank">Paper</a> accepted in <em>PLOS Computational Biology</em>
<li> Sep. 2019 - <a href="https://doi.org/10.1038/s41598-019-51101-3"target="_blank">Paper</a> accepted in <em>Scientific Reports</em>
<li> Aug. 2019 - I will be on the Programme Committee of <a href="http://hsb2020.conf.tuwien.ac.at/"target="_blank">HSB 2020</a>
<li> Jul. 2019 - <a href="https://www.frontiersin.org/articles/10.3389/fmicb.2019.01871/abstract"target="_blank">Paper</a> accepted in <em>Frontiers Microbiology</em>
<li> Jul. 2019 - Invited tutorial on our tool <a href="https://github.com/dreal/probreach"target="_blank">ProbReach</a>
at the <a href="https://mscdepend.ie/"target="_blank">MSc DEPEND Erasmus+</a> Summer School in Nancy (France)
<li> Jul. 2019 - I am organising a workshop on <a href="bd4p.html">Bio-Design for Portability (BD4P)</a> in Cambridge
<li> Jun. 2019 - I have co-edited <a href="https://www.springer.com/gb/book/9783030172961"target="_blank">Automated Reasoning for Systems Biology and Medicine</a>: book now available!
<li> Apr. 2019 - I will be on the Programme Committee of <a href="https://memocode.github.io/2019/"target="_blank">MEMOCODE 2019</a> and <a href="http://www.iwbdaconf.org/2019/"target="_blank">IWBDA 2019</a>
<li> Apr. 2019 - Postdoc position with me on <a href="https://vacancies.ncl.ac.uk/ViewVacancyV2.aspx?enc=mEgrBL4XQK0+ld8aNkwYmJsqXpiIR74QQLMaHl7Nt3C8g1WerH5kDfwzktDPtCjiz2cHbAv622AAX7aAbPc0obEOPtaZSzB0xHOPl456l0HYwKs7D4Gt25Dukmz3BkdoN6k1KguuY48Wlfd910ScPQ=="target="_blank">Formal Verification for Synthetic Biology</a>
<li> Feb. 2019 - Seminar at the <a href="https://www.cst.cam.ac.uk/"target="_blank">University of Cambridge</a>
<li> Dec. 2018 - Seminar at <a href="https://www.cs.stonybrook.edu/"target="_blank">Stony Brook University</a>
<li> Dec. 2018 - <a href="https://doi.org/10.1016/j.jocs.2018.12.007"target="_blank">Paper</a> accepted in the <i>Journal of Computational Science</i>
<li> Nov. 2018 - My PhD student Jeremy Revell successfully defended his thesis <i>Parameter Inference for Stochastic Biological Models</i></a>
<li> Oct. 2018 - I will be on the Programme Committee of <a href="https://cmsb2019.units.it/"target="_blank">CMSB 2019</a>
<li> Oct. 2018 - I will be on the Programme Committee of <a href="http://hsb2019.fit.vutbr.cz/"target="_blank">HSB 2019</a>
<li> Sept. 2018 - Invited at the <a href="https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18381" target="_blank">Dagstuhl Seminar on Quantum Programming Languages</a>
<li> July 2018 - Invited speaker at <a href="https://nsv-2018.github.io/nsv2018/"target="_blank">NSV 2018</a> in Oxford
<li> June 2018 - Paper accepted at <a href="https://cmsb2018.fi.muni.cz/"target="_blank">CMSB 2018</a>
<li> Apr. 2018 - Paper accepted in PLOS One
<li> Apr. 2018 - I will be on the Programme Committee of <a href="http://www.iwbdaconf.org/2018/"target="_blank">IWBDA 2018</a>
<li> Mar. 2018 - Paper accepted at <a href="http://snr2018.verivital.com/" target="_blank">SNR 2018</a>
<li> Feb. 2018 - Invited at the <a href="https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18082" target="_blank">Dagstuhl Seminar on Formal Methods for the Synthesis of Biomolecular Circuits</a>
<li> Feb. 2018 - Call for Chapters: <a href="https://easychair.org/cfp/ARSBM18" target="_blank">Automated Reasoning for Systems Biology and Medicine</a>
<li> Jan. 2018 - I am on the Programme Committee of <a href="https://cmsb2018.fi.muni.cz/" target="_blank">CMSB 2018</a>, <a href="http://memocode.irisa.fr/2018/" target="_blank">MEMOCODE 2018</a>, and <a href="https://rtg.cis.upenn.edu/mcps-workshop-2018/"target="_blank">MedicalCPS 2018</a>
<li> Nov. 2017 - My student Fedor Shmarov passed his PhD exam
<li> Nov. 2017 - Paper accepted at InfQ 2017
<li> Sep. 2017 - Paper accepted at HVC 2017
<li> Aug. 2017 - Invited talk at MIMOmics 2017 in Cambridge
<li> July 2017 - Delivered a tutorial on ProbReach with my student Fedor Shmarov at NSV 2017
<li> July 2017 - Paper accepted in PLOS One
<li> June 2017 - Promoted to Senior Lecturer (with effect from 1 August 2017)
<li> Mar. 2017 - Postdoc position in Parallel Computing at Newcastle
<li> Mar. 2017 - Taught a three-week Bioinformatics course at the African Institute for Mathematical Sciences (Cape Town, South Africa)
<li> Jan. 2017 - Two PhD studentships available:
<ul>
<li> A Computational Systems Biology Approach to Psoriasis Treatment
<li> Modelling ciliates and cilia as sentinel of environmental changes (based at the University of Cambridge, co-supervised with Dr Pietro Liò)
</ul>
<li> Sep. 2016 - I am co-organising the <a href="https://www.cl.cam.ac.uk/events/cmsb2016/workshop.html" target="_blank">1st International Workshop on Automated Reasoning for Systems Biology and Medicine in Cambridge, UK</a>
<li> Sep. 2016 - PhD studentship available!
<li> Sep. 2016 - Paper accepted at HVC 2016
<li> Aug. 2016 - My student Jeremy Revell's team wins the International BioDesign Automation programming competition
<li> May 2016 - Our project was runner-up for the Rosetrees 2016 Interdisciplinary Prize! (Watch this space for PhD and postdoc positions.)
<li> Apr. 2016 - I am on the Programme Committe of Synthetic Biology UK 2016
<li> Mar. 2016 - We have been awarded a £4.3 million EPSRC grant on synthetic biology! (I'll be soon looking for PhD & Postdocs in formal verification.)
<li> Mar. 2016 - Paper accepted at Reversible Computation 2016
<li> Mar. 2016 - Just finished teaching a three-week Bioinformatics course at AIMS-South Africa
<li> Nov. 2015 - Paper accepted on Bioinformatics
<li> Oct. 2015 - CPSE Labs: 2nd Open Call for Innovation Projects
<li> June 2015 - Two papers accepted at CMSB 2015
<li> June 2015 - ProbReach v1.2 has been released
<li> May 2015 - We have released BioPSy v1.2.1, our tool for validated parameter set synthesis
<li> May 2015 - I have been selected for a SAgE Doctoral Training Award
<li> Apr. 2015 - Submissions open for the 6th International Workshop on Static Analysis and Systems Biology (SASB 2015)
<li> Mar. 2015 - Submissions open for SNR 2015 - CAV Workshop on Symbolic and Numerical Methods for Reachability Analysis
<li> Feb. 2015 - Postdoc position in MRC-funded project on computational modelling for psoriasis
<li> Dec. 2014 - Two papers accepted at HSCC 2015: on hybrid systems verification and prostate cancer therapy design
<li> Dec. 2014 - REF 2014: Newcastle Computing Science is in the UK top-10 for Research Quality
<li> Sept. 2014 - Awarded an Horizon 2020 Coordination and Support Action on cyber-physical systems
<li> Aug. 2014 - Paper accepted at CMSB 2014 (12th Conference on Computational Methods in Systems Biology)
<li> Jul. 2014 - Paper accepted for International Journal on Software Tools for Technology Transfer (STTT)
<li> Apr. 2014 - Invited to <a href="https://www.dagstuhl.de/14482" target="_blank">Dagstuhl Seminar on Automated Planning and Model Checking</a>
<li> Nov. 2013 - BBSRC PhD studentship with me at Newcastle
<li> Oct. 2013 - Newcastle advances to the iGEM World Finals!!
<li> Oct. 2013 - MRC grant awarded: more soon ...
<li> Sep. 2013 - Talk at SMC 2013
<li> Jun. 2013 - Invited seminar at Imperial College
<li> May 2013 - Submission open to HSB 2013 - 2nd workshop on hybrid systems & biology
<li> Apr. 2013 - Submission open to SMC 2013 - 1st workshop on statistical model checking
<li> Mar. 2013 - Invited speaker at QAPL 2013
<li> Mar. 2013 - EPSRC grant awarded: news release
<li> Mar. 2013 - Invited seminar at Edinburgh
<li> Feb. 2013 - ONR grant awarded and PhD studentship with me at Newcastle
</ul>
<a href="https://pzuliani.github.io/">Home</a>
</body>
</html>