-
Notifications
You must be signed in to change notification settings - Fork 0
/
grants.html
73 lines (65 loc) · 2.23 KB
/
grants.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
<html>
<head>
<title>Homepage of Vineet Rajani</title>
<meta name="keywords" content="Vineet Rajani">
<link rel="stylesheet" href="style.css" type="text/css">
</head>
<body>
<div class="myConf">
<table align="center">
<tr>
<td>
<div style="float:left; padding-right: 10px">
<!-- <img src="pic.jpg" alt="Vineet Rajani" height="200" /> -->
</div>
</td>
<td>
<center>
<h1>Vineet Rajani </h1>
</center>
<!-- <h1>Vineet Rajani </h1> Lecturer <br> -->
<!-- <a href="https://www.kent.ac.uk/computing">School of Computing</a><br> -->
<!-- <a href="https://www.kent.ac.uk">University of Kent</a><br> -->
</td>
</tr>
</table>
<!-- <hr> -->
<br><br>
<table align="center">
<tr>
<td valign="top" style="text-align:left; padding-left: 0px; padding-right: 20px">
<div class="sidepanel">
<table align="center">
<tr> <td> <a href="index.html">Home</a></td></tr>
<tr><td> <br> </td></tr>
<tr> <td> <a href="pubsDate.html">Publications</a></td></tr>
<tr><td> <br> </td></tr>
<tr> <td> <a href="grants.html">Grants</a></td></tr>
<tr><td> <br> </td></tr>
<tr> <td> <a href="teaching.html">Teaching</a></td></tr>
<tr><td> <br> </td></tr>
<tr> <td> <a href="supervision.html">Group</a></td></tr>
<tr><td> <br> </td></tr>
<tr> <td> <a href="contact.html">Contact</a></td></tr>
</table>
</div>
</td>
<td style="text-align:left; padding-left: 60px; padding-right: 250px">
<div class="myHeadings"><b><u>Research Grants</u></b> <br> <br></div>
<ul style="margin-top:0px;">
<li> <i>Grad4HOProb: Graded Modal types for Quantitative Analysis of Higher-Order Probabilistic programs</i><br>
PI, ARIA, Dominic Orchard (Co-I), ~£226K, 2024-2025</li> <br>
<li> <i>TYPDSEC: Type-based information declassification and its secure compilation</i><br>
PI, EPSRC, ~£160K, 2023-2025</li> <br>
<li> <i>ML4CI: Machine Learning based Causal Inference for Cybersecurity</i> <br>
PI, DSTL, Marek Grzes (Co-I), ~£81K, 2023 (6 months) </li> <br>
<li> <i>COVERT: Safe and Secure Concurrent Programming for Advanced Architectures</i> <br>
Co-I, EPSRC, Mark Batty (PI), ~£374K, 2023-2026 </li>
</ul>
</td>
</tr>
</table>
<!-- <hr> -->
</div>
</body>
</html>