-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
174 lines (162 loc) · 8.54 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
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
161
162
163
164
165
166
167
168
169
170
171
172
173
174
<html>
<head>
<link href='https://fonts.googleapis.com/css?family=Roboto' rel='stylesheet'>
<style>
body{
max-width: 750px;
margin: auto;
}
a:link{
color:black;
}
a:visited{
color:grey;
}
table {
font-family: 'Roboto';font-size: 14px;
}
body {
font-family: 'Roboto';font-size: 14px;
}
h1 {
font-family: 'Roboto';font-size: 44px;margin:0px;
}
h2 {
font-family: 'Roboto';font-size: 20px;margin-bottom:0px;
}
h1sub {
font-family: 'Roboto';font-size: 12px;
}
h4 {
font-family: 'Roboto';font-size: 14px; font-variant: small-caps; font-weight:600; margin-bottom:0px;
}
nav {
font-family: 'Roboto';font-size: 10px; font-weight:600;
}
</style>
<title>
Fatma Faruq
</title>
</head>
<body>
<header>
<h1>
Fatma Faruq
</h1>
<h1sub>
</br>
Postdoctoral Research Associate (
<a href="https://www.cs.manchester.ac.uk">Department of Computer Science</a>,
<a href="http://manchester.ac.uk/">University of Manchester</a>)
</h1sub>
<hr>
<nav>
|
<a href="#intro">About</a>
|
<a href="#education">Experience</a>
|
<a href="#projects">Research/Projects</a>
|
<a href="https://dblp.org/pid/138/8086"> dblp Publications Link</a>
|
<!-- <a href="#awards">Awards</a>-->
</nav>
<hr>
</header>
<main>
<section id="intro">
<h2>About me</h2>
<p> I am a Postdoctoral Research Associate at the University of Manchester in the <a href="https://autonomy-and-verification.github.io/">Autonomy and Verification Group</a>.
I work with <a href="https://personalpages.manchester.ac.uk/staff/michael.fisher/">Michael Fisher</a>, <a href="https://personalpages.manchester.ac.uk/staff/louise.dennis/">Louise Dennis</a> and <a href="https://personalpages.manchester.ac.uk/staff/clare.dixon/">Clare Dixon</a>. My current focus is runtime verification of robots. I am also involved with the Trustworthy Autonomonous Systems Hub's <a href="https://verifiability.org"> Verifiability Node</a>.
</p>
<section id="education">
<h2> Experience </h2>
<p>I have been awarded a PhD jointly by the University of Birmingham and University of Melbourne.
My PhD studies were supported by the Priestly Scholarship which is a joint degree program between the two universities.
My PhD thesis was titled <i>Verified multi-robot planning under uncertainty</i>. My wonderful advisers were
<a href="http://www.cs.bham.ac.uk/~parkerdx/"> Dr. Dave Parker</a>,
<a href="http://www.cs.bham.ac.uk/~nah/">Dr. Nick Hawes</a> and
<a href="http://people.eng.unimelb.edu.au/tmiller/">Dr. Tim Miller (University of Melbourne)</a> and
<a href="http://www.cs.bham.ac.uk/~lacerdab/">Dr. Bruno Lacerda</a>.
My research focus was multi robot planning utilizing formal methods.
I was also part of the <a href="https://www.cs.bham.ac.uk/research/groupings/robotics/">Intelligent Robotics Lab</a>.
</p>
<p> I have an MSc. in Robotics from Carnegie Mellon University where I was part of the
<a href="http://www.cs.cmu.edu/~coral/">CORAL lab</a> under
<a href="https://www.cs.cmu.edu/~mmv/">Dr. Manuela Veloso</a>.
I have a B.E in Computer Engineering from the
<a href="http://www.nust.edu.pk/">National University of Science and Technology (NUST)</a>,
Pakistan. After my masters I worked as a lecturer at NUST, teaching undergraduates introduction to programming.
Before my masters I worked as a software developer at
<a href="http://www.lmkr.com/">LMKR</a> which is an oil and gas software compnany.</p> </section>
<section id="projects"><h2>Research/Projects</h2>
<table>
<!--<tr>
<th style="width:80%"></th>
<th style="widht:20%"></th>
</tr>-->
<tr>
<td>
<h4>Verified multi-robot planning under uncertainty</h4> My PhD work investigated task allocation and planning robust to robot failure with a quantitative guarantee on the expected number of tasks completed by the team. I looked at three different algorithms for task allocation and planning, incorporating task reallocation when a robot failed.</td>
<td><img src="img/STAPU_animation.gif" alt="Simultaneous task allocation and planning under uncertainty" width="150" height="100" align="right"></td>
</tr>
<tr>
<tr>
<td>
<h4>When to Coordinate - Learning Sparse State Interactions in Multi Robot Policies</h4> For my masters' thesis I implemented a two layer Q-learning algorithm for Sparse Interaction MDPs and abstracted it to 3D space for the manipulation robot Baxter.(Here are videos of generated policies <a href="https://youtu.be/p9YSnN4lDnU" target="_blank">Video1</a>, <a href="https://youtu.be/8dhZOKPGXhg" target="_blank">Video2</a>)</td>
<td><img src="img/bax.gif" alt="Policies in 3D for 2 robots" width="150" height="150" align="right"></td>
</tr>
<tr>
<td><h4>Robot Safety</h4> During my masters I also implemented a provably safe version of the the Dynamic Window Approach for obstacle avoidance using ROS.(Here are videos of a very basic setup on a robot <a href="https://www.dropbox.com/s/h2zbbh5naey2nx4/collision_avoidance_1.mpg?dl=0" target="_blank">Video1</a>,<a href="https://www.dropbox.com/s/wcftb3phi9sg3o7/collision_avoidance_2.mpg?dl=0" target="_blank">Video2)</a></td><td><img src="img/dwa_s.gif" width="150" height="100" align="right"></td>
</tr>
<tr>
<td> <h4>Playing Tetris</h4>For the adaptive control and reinforcement learning course we implemented a policy improvement algorithm that learned to play tetris. (<a href="https://youtu.be/1gfuKh12VHk?list=PLX0RbIkD2pkdg0f6sHgaoMZCwg02sR_j2" target="_blank">Video</a>)</td>
<td><img src="img/tet2.png" width="150" height="150" align="right" style:"margin:auto"></td>
</tr>
<tr>
<td> <h4>Gesture Recognition using MEMS</h4>For my undergrad final year project, my groupmate and I implemented a proof of concept for gesture recognition using wireless sensor network and Hidden Markov Models. We worked under the supervision of Dr. Saad Qaiser and Dr. Aasia Khanum.
<!--(<a href="https://www.dropbox.com/s/40uldztp7d081ka/FatmaFaruq_ActivityRecognition.pdf?dl=0" target="_blank">Link to our project presentation</a>)--></td>
<td><img src ="img/act.png" width="150" height="100" align="right"></td>
</tr>
</table>
</section>
<hr>
<section id="misc"><h2>Misc</h2>During my bachelors, my team and I designed and fabricated an autonomous robot that could line track and place pegs in stands for a national competition.For the Systems Engineering course in my masters, I was part of a team that made an exhibit which was deployed in the Pittsburgh Children's Museum for 3 days where kids could race dummy robot cars. <p> I'm also interested in teaching kids robotics and was part of CMU-Scitech where we taught middle schoolers arduino and scratch programming. As a lecturer at NUST, I organized and conducted workshops on Lego Robot Programming for school children and was also part of the Theme Committee for the National Engineering Robotics Contest.</p>
<h4>Robot Simulator</h4>For our computer graphics course in my undergrad, my teammates and I implemented a robot simulator using OpenGL and C++ which allowed the user to build a crude robot chassis in 3-D, place sensoros, input a line track and see how the robot did. The project was very close to my heart and a lot of fun particularly because we were competing in an actual robotics compeition as well!
<p><h4>Just things I'd like to list</h4>
<ol>
<li><a href="http://fai.cs.uni-saarland.de/hoffmann/papers/ki11.pdf">This fun introduction to planning</a>
by <a href="http://fai.cs.uni-saarland.de/hoffmann/">Prof. Dr. Joerg Hoffmann</a> that I stumbled upon.
<li><a href="patari.pk">Patari</a> is the "Spotify" for Pakistani Music with some really great playlists -
political and sufi.
</li>
<li><a href="http://codeforpakistan.org/">Code for Pakistan</a> among other inspirational initiatives making tech
inspired solutions possible.
</li>
<li>
<a href="https://actiontutoring.org.uk/">Action Tutoring</a> is an education charity that supports pupils from disadvantaged backgrounds.
</li>
</ol>
</p>
</section>
<section id="awards"><h2>Awards and Things</h2>
Priestly Scholarship Recipient
</br>
Fulbright Scholar
</br>
Winning Team Code for Pakistan Islamabad Civic Hackathon 2016
</br>
Volunteer for Humanoids 2018
</br>
ITIC Intern Summer 2017
</br>
Part of the NERC Organising team 2015,2016
</br>
Part of the ICRAI Organising team where I helped with a robotics workshop
</br>
</section>
</main>
</body>
</html>