-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
104 lines (91 loc) · 3.19 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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
<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>
<!-- 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> -->
</center>
</td>
</tr>
</table>
<!-- <hr> -->
<br><br>
<table align="center">
<tr>
<td valign="top" style="text-align:left; padding-right: 100px">
<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-right: 0px">
<div class="homepage">
I am a <a href="https://www.kent.ac.uk/computing/people/3871/rajani-vineet">lecturer</a> in
the <a href="https://www.kent.ac.uk/computing">School of Computing</a> at
the <a href="https://www.kent.ac.uk">University of Kent</a>, affiliated with both the
<a href="https://research.kent.ac.uk/programming-languages-systems/">Programming languages
and Systems</a> group and
the <a href="https://research.kent.ac.uk/cyber-security-group/">Cyber security</a> group. I
am also a core member of the <a href="https://research.kent.ac.uk/cyber/">Institute of Cyber
Security for Society</a>.
<br> <br> Prior to joining Kent, I was a post-doc researcher
at <a href="https://www.mpi-sp.org">MPI-SP</a> and before that I did my PhD
at <a href="https://www.mpi-sws.org">MPI-SWS</a>. <br> Before my PhD, I worked
at <a href="https://www.vmware.com">VMware</a> as a R&D staff, and before that, I was a
graduate student at <a href="https://www.iitm.ac.in">IIT Madras</a>.
</div>
<br>
Broad research interests:
<ul style="margin-top:0px;">
<li> Logic and verification</li>
<li> Security and privacy</li>
<!-- <li> Resource analysis</li> -->
<li> Causal inference and machine learning</li>
</ul>
</td>
</tr>
</table>
<hr> <br>
<table align="center">
<tr>
<td valign="top" style="text-align:left; padding-right: 270px">
</td>
<td style="text-align:left; padding-right: 50px">
<div class="homepage">
<b>Prospective students</b>:<br> I am always looking for good students. If interested,
please send me an email describing your research interests along with your CV.<br>
More information about Kent's PhD program can be found
<a href="https://www.kent.ac.uk/courses/postgraduate/apply#research-phd">here</a>.
</div>
</td>
</tr>
</table>
</div>
</body>
</html>