-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
160 lines (155 loc) · 8.93 KB
/
index.html
File metadata and controls
160 lines (155 loc) · 8.93 KB
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
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no" />
<meta name="description" content="" />
<meta name="author" content="" />
<title>Tephilla Prince</title>
<link rel="icon" type="image/x-icon" href="assets/img/favicon.ico" />
<!-- Font Awesome icons (free version)-->
<script src="https://use.fontawesome.com/releases/v6.1.0/js/all.js" crossorigin="anonymous"></script>
<!-- Google fonts-->
<link href="https://fonts.googleapis.com/css?family=Saira+Extra+Condensed:500,700" rel="stylesheet" type="text/css" />
<link href="https://fonts.googleapis.com/css?family=Muli:400,400i,800,800i" rel="stylesheet" type="text/css" />
<!-- Core theme CSS (includes Bootstrap)-->
<link href="css/styles.css" rel="stylesheet" />
</head>
<body id="page-top">
<!-- Navigation-->
<nav class="navbar navbar-expand-lg navbar-dark bg-primary fixed-top" id="sideNav">
<a class="navbar-brand js-scroll-trigger" href="#page-top">
<span class="d-block d-lg-none">Tephilla Prince</span>
<span class="d-none d-lg-block"><img class="img-fluid img-profile rounded-circle mx-auto mb-2" src="assets/img/photo.jpg" alt="..." /></span>
</a>
<button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarResponsive" aria-controls="navbarResponsive" aria-expanded="false" aria-label="Toggle navigation"><span class="navbar-toggler-icon"></span></button>
<div class="collapse navbar-collapse" id="navbarResponsive">
<ul class="navbar-nav">
<li class="nav-item"><a class="nav-link js-scroll-trigger" href="#about">Home</a></li>
<li class="nav-item"><a class="nav-link js-scroll-trigger" href="#interests">Research Interests</a></li>
<li class="nav-item"><a class="nav-link js-scroll-trigger" href="#education">Education</a></li>
<li class="nav-item"><a class="nav-link js-scroll-trigger" href="#talks">Talks</a></li>
</ul>
</div>
</nav>
<!-- Page Content-->
<div class="container-fluid p-0">
<!-- About-->
<section class="resume-section" id="about">
<div class="resume-section-content">
<h1 class="mb-0">
Tephilla
<span class="text-primary">Prince</span>
</h1>
<div class="subheading mb-5">
<!-- Research Scholar · <a href="https://www.iitdh.ac.in">IIT Dharwad</a> -->
<a href="mailto:tephilla.prince.18@iitdh.ac.in">tephilla.prince.18@iitdh.ac.in</a>
</div>
<p class="lead mb-5">I am a Ph.D. scholar in the Department of Computer Science and Engineering, with <a href="https://iitdh.ac.in/prb/">Prof. Ramchandra Phawade </a> and <a href= "https://sheerazuddins.github.io/"> Prof. S. Sheerazuddin </a> at <a href="https://www.iitdh.ac.in">IIT Dharwad</a> working broadly in the area of formal verification, specializing in the intersection of logic, automata theory and concurrency theory. Also enjoy building verification tools.</p>
<div class="social-icons">
<a class="social-icon" href="https://linkedin.com/in/tephillaprince"><i class="fab fa-linkedin-in"></i></a>
<a class="social-icon" href="https://twitter.com/tephillaprince"><i class="fab fa-twitter"></i></a>
</div>
</div>
</section>
<hr class="m-0" />
<!--Research Interests-->
<section class="resume-section" id="interests">
<div class="resume-section-content">
<h2 class="mb-5">Research Interests</h2>
<!-- <div class="subheading mb-3">Research Areas</div> -->
<ul class="fa-ul mb-0">
<li>
<span class="fa-li"><i class="fas "></i></span>
Logic
</li>
<li>
<span class="fa-li"><i class="fas "></i></span>
Automata Theory
</li>
<li>
<span class="fa-li"><i class="fas "></i></span>
Concurrency Theory, Petri Nets
</li>
<li>
<span class="fa-li"><i class="fas "></i></span>
SAT/SMT Solving
</li>
</ul>
<h2 class="mb-5">Teaching Assistantships</h2>
<ul class="fa-ul mb-0">
<li>
<span class="fa-li"><i class="fas "></i></span>
Automata Theory (2023, 2021, 2020, 2018)
</li>
<li>
<span class="fa-li"><i class="fas "></i></span>
Design and Analysis of Algorithms (2019)
</li>
<li>
<span class="fa-li"><i class="fas "></i></span>
Software Systems Theory and Lab (2020)
</li>
<li>
<span class="fa-li"><i class="fas "></i></span>
Logic for Computer Science (2020)
</li>
<li>
<span class="fa-li"><i class="fas "></i></span>
Computer Programming and Utilization (2022)
</li>
</ul>
</div>
</section>
<hr class="m-0" />
<!-- Education-->
<section class="resume-section" id="education">
<div class="resume-section-content">
<h2 class="mb-5">Education</h2>
<div class="d-flex flex-column flex-md-row justify-content-between mb-5">
<div class="flex-grow-1">
<h3 class="mb-0">Indian Institute of Technology Dharwad, India</h3>
<div class="subheading mb-3">Ph.D Candidate</div>
<div>Computer Science and Engineering</div>
</div>
<div class="flex-shrink-0"><span class="text-primary">July 2018 - Current</span></div>
</div>
<div class="d-flex flex-column flex-md-row justify-content-between">
<div class="flex-grow-1">
<h3 class="mb-0">Anna University, India</h3>
<div class="subheading mb-3">Masters student</div>
<div>Computer Science and Engineering</div>
</div>
<div class="flex-shrink-0"><span class="text-primary">August 2013 - May 2015</span></div>
</div>
</div>
</section>
<hr class="m-0" />
<hr class="m-0" />
<!-- Talks-->
<section class="resume-section" id="talks">
<div class="resume-section-content">
<h2 class="mb-5">Talks</h2>
<ul class="fa-ul mb-0">
<li>
<span class="fa-li"><i class="fas fa-square "></i></span>
Two Dimensional Bounded Model Checking: A Novel Verification Strategy at <a href="https://fmindia.cmi.ac.in/update2022/">Formal Methods Update Meeting 2022</a>
</li>
<li>
<span class="fa-li"><i class="fas fa-square"></i></span>
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems at <a href="https://sites.google.com/g.uporto.pt/wil2022">WiL 2022</a>
</li>
<li>
<span class="fa-li"><i class="fas fa-square"></i></span>
Is two better than one? Two Dimensional Bounded Model Checking for Unbounded Nets at <a href="https://sat-smt.in/">SAT+SMT School 2022</a>
</li>
</ul>
</div>
</section>
</div>
<!-- Bootstrap core JS-->
<script src="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/js/bootstrap.bundle.min.js"></script>
<!-- Core theme JS-->
<script src="js/scripts.js"></script>
</body>
</html>