-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
89 lines (74 loc) · 5.2 KB
/
index.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
<html>
<head>
<title>Paolo Zuliani, Sapienza University, Rome, Italy</title>
</head>
<body>
<font size="5"><b>
Paolo Zuliani</b></font><br>
Associate Professor <br>
Dipartimento di Informatica<br>
Università di Roma "La Sapienza" <br>
Rome, Italy <br>
Email: <a href="mailto:[email protected]">[email protected]</a><br>
Institutional page: <a href="https://corsidilaurea.uniroma1.it/it/users/paolozulianiuniroma1it"target="_blank">here</a>
<hr width="200" align="LEFT">
<p>
</p>
<b>Research Interests</b>
<ul>
<li> <b>Quantum computing</b> (quantum verification and quantum programming languages)
<li> <b>Formal verification</b> for stochastic, biological, and cyber-physical systems by combining numerical, model checking and SMT techniques
<!-- <p style="border:3px; border-style:solid; border-color:#FF0000; padding: 0.5em;"> /p> -->
<br>
<br>
<b><u>PhD candidates</u></b>: if you are interested in formal verification or quantum computing / programming do get in touch as we have PhD studentships available.
</ul>
<p>
</p>
<b>Research Outputs</b>
<ul>
<li> <a href="papers.html">Papers</a>
<li> <a href="software.html">Software</a>
<li> <a href="https://scholar.google.com/citations?user=v_D4D78AAAAJ&hl=en"target="_blank">Google Scholar</a>
<li> <a href="https://www.scopus.com/authid/detail.uri?authorId=36892127700"target="_blank">Scopus</a>; <a itemprop="sameAs" content="https://orcid.org/0000-0001-6033-5919" href="https://orcid.org/0000-0001-6033-5919" target="_blank" rel="noopener noreferrer" style="vertical-align:top;"><img src="https://orcid.org/sites/default/files/images/orcid_16x16.png" style="width:1em;margin-right:.5em;" alt="ORCID iD icon">ORCID</a>
</ul>
<b>Teaching/Didattica</b>
<ul>
<li> <a href="https://corsidilaurea.uniroma1.it/it/users/paolozulianiuniroma1it" target="_blank">Bacheca docente Sapienza</a>
</ul>
<b>Group</b>
<ul>
<li> ARG: <a href="arg.html">Automated Reasoning Group</a>
</ul>
<b>News</b>
<ul>
<li> Aug. 2024 - My PhD student Marco Lewis has successfully defended his thesis on 'Automated Verification Techniques for Quantum Computers' </li>
<li> May 2024 - Two papers (<a href="https://arxiv.org/abs/2406.03119" target="_blank">this</a> and <a href="https://arxiv.org/abs/2406.04004" target="_blank">that</a>) accepted at <a href="https://qsw.conferences.computer.org/2024/" target="_blank">QSW 2024 (3rd IEEE International Conference on Quantum Software)</a> </li>
<li> Mar. 2024 - <a href="https://arxiv.org/abs/2404.18813" target="_blank">Paper</a> accepted at the <a href="https://www.colorado.edu/conference/adhs2024/" target="_blank">8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)</a> </li>
<li> Mar. 2024 - Sapienza is in the top 100 universities of the <a href="https://www.timeshighereducation.com/world-university-rankings/2023/reputation-ranking#!/length/100/sort_by/rank/sort_order/asc" target="_blank">Times Higher Education World Reputation Rankings 2023</a> </li>
<li> Dec. 2023 - <a href="https://eapls.org/items/4463/" target="_blank">Research fellow position</a> in quantum computing. Apply by 22 Jan 2024! </li>
<li> Aug. 2023 - My PhD student Martin Sidaway has successfully defended his thesis on 'Delta-Complete Linear Programming' </li>
<li> Aug. 2023 - <a href="https://doi.org/10.1145/3624483" target="_blank">Paper</a> accepted in <em>ACM Transactions on Quantum Computing</em></li>
<li> Jun. 2023 - <a href="https://arxiv.org/abs/2307.07307" target="_blank">Paper</a> accepted at <a href="https://www.qest.org/qest2023/" target="_blank">QEST 2023</a></li>
<li> Jun. 2023 - <a href="https://eapls.org/items/4342/" target="_blank">PhD studentships</a> available in Rome</li>
<li> Apr. 2023 - <a href="https://doi.org/10.1371/journal.pcbi.1011045" target="_blank">Paper</a> accepted in <em> PLOS Computational Biology</em>
<li> Mar. 2023 - My PhD student Dinika Paramalingam has successfully defended her thesis on 'Computational Modelling of Immune Interaction and Epidermal Homeostasis in Psoriasis' </li>
<li> Mar. 2023 - I have moved to "La Sapienza" University in Rome! </li>
<li> <a href="news.html">More news...</a>
</ul>
<b>Funding</b>
<ul>
<li> <a href="proj-current.html">Current projects</a>
<li> <a href="proj-completed.html">Completed projects</a>
</ul>
<b>Bio Bits</b>
<ul>
<li> Before coming to Rome, I spent 10.5 years at the <a href="https://www.ncl.ac.uk/computing" target="_blank">School of Computing, Newcastle University</a> (UK)
<li> Before coming to Newcastle, I worked for four years with <a href=" http://www.cs.cmu.edu/%7Eemc/" target="_blank">Edmund M. Clarke</a> at <a href="https://www.cs.cmu.edu/"target="_blank">Carnegie Mellon University</a> (USA) on model checking
<li> <i>DPhil</i>, Computer Science, <a href="https://www.ox.ac.uk"target="_blank">University of Oxford</a> (UK)
<li> <i>Laurea</i>, Computer Science, <a href="https://www.unimi.it"target="_blank">Università degli Studi di Milano</a> (Italy)
</ul>
<hr width="200" align="LEFT">
<p>“<em>Ma quanto più m’interno in considerar la vanità de i discorsi popolari, tanto più gli trovo leggieri e stolti</em>.” Galileo Galilei (Dialogo dei Massimi Sistemi, 1632).</p>
</body>
</html>