-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathmembers-e.html
executable file
·109 lines (107 loc) · 3.27 KB
/
members-e.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
<!DOCTYPE HTML>
<html lang="en">
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/members-e.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:55:00 GMT -->
<head>
<meta charset="utf-8">
<title>MEMBERS | High Reliability Software System Verification Laboratory</title>
<!--[if lt IE 9]>
<script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<script src="http://ie7-js.googlecode.com/svn/version/2.1(beta4)/IE9.js"></script>
<![endif]-->
<link href="css/style.css" rel="stylesheet" media="all">
</head>
<body>
<div id="container">
<header id="header">
<h1><a href="index-e.html"><font color=#ffffff>High Reliability Software System Verification Laboratory</font></a></h1>
</header>
<div id="nav_frame">
<nav>
<ul id="nav1">
<li><a href="index-e.html">HOME</a></li>
<li><a href="research-e.html">RESEARCH</a></li>
<li><a href="members-e.html">MEMBERS</a></li>
<li><a href="publications-e.html">PUBLICATIONS</a></li>
<li><a href="access-e.html">ACCESS</a></li>
<li><a href="index-2.html">JAPANESE</a></li>
</ul>
</nav>
</div>
<div id="main">
<h1>MEMBERS</h1>
<h2 class="mt0">Staffs</h2>
<table class="member">
<tr>
<th scope="col">Position</th>
<th scope="col">Name</th>
<th scope="col">E-mail</th>
</tr>
<tr>
<td>Professor</td>
<td>Masafumi Katahira</td>
<td>masa-katahira [at] is.naist.jp</td>
</tr>
<tr>
<td>Associate Professor</td>
<td>Naoki Ishihama</td>
<td>ishihama [at] is.naist.jp</td>
</tr>
<tr>
<td>Research supervisor</td>
<td>Toshinori Takai</td>
<td>takai [at] is.naist.jp</td>
</tr>
<!--
<tr>
<td>Associate Professor</td>
<td>Shinji Kawaguchi</td>
<td> </td>
</tr>
-->
</table>
<h2>Students</h2>
<table class="member">
<tr>
<th scope="col">Position</th>
<th scope="col">Name</th>
<th scope="col">E-mail</th>
</tr>
<tr>
<td>Ph.D. Student</td>
<td>Kazuki Kakimoto</td>
<td>kakimoto.kazuki.ka4 [at] is.naist.jp</td>
</tr>
<tr>
<td>M.S. Student</td>
<td>Masaya Senda</td>
<td>senda.masaya.sd5 [at] is.naist.jp</td>
</tr>
<tr>
<td>M.S. Student</td>
<td>Moe Shimada</td>
<td>shimada.moe.sh8 [at] is.naist.jp</td>
</tr>
</table>
<h2>Past Members</h2>
<ul>
<li>Mitsuaki Tsuji (M.S. Mar. 2020)</li>
<li>Kotoko Irie (M.S. Mar. 2019)</li>
<li>Toma Miyamura (M.S. Mar. 2018)</li>
<li>Masaya Yamazaki (M.S. Mar. 2017)</li>
<li>Kazuki Kakimoto (M.S. Mar. 2016)</li>
</ul>
</table>
<h2>Past Members</h2>
<ul>
<li>Shinji Kawaguchi</li>
</ul>
</div>
</div>
<footer>
<div id="footer_color">
<div id="copy">Copyright © High Reliability Software System Verification Lab All rights reserved.</div>
</div>
</footer>
</body>
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/members-e.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:55:00 GMT -->
</html>