-
Notifications
You must be signed in to change notification settings - Fork 0
/
profile.html
executable file
·104 lines (91 loc) · 5.41 KB
/
profile.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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<!--
Design by Free CSS Templates
http://www.freecsstemplates.org
Released for free under a Creative Commons Attribution 3.0 License
Name : Axiom
Description: A two-column, fixed-width design with a bright color scheme.
Version : 1.0
Released : 2012/07/29
Content written and copyrighted by Kevin Boos, 2013.
-->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<meta name="description" content="" />
<meta name="keywords" content="" />
<title>Kevin Boos - Profile</title>
<link href="http://fonts.googleapis.com/css?family=Open+Sans" rel="stylesheet" type="text/css" />
<link rel="stylesheet" type="text/css" href="style.css" />
</head>
<body>
<div id="wrapper">
<div id="header">
<div id="logo">
<a href="index.html"><font color="#625D5D">Kevin Boos, Ph.D.</font></a>
</div>
<div id="menu">
<ul>
<li class="first current_page_item"><a href="index.html">Home</a></li>
<li><a href="profile.html">Bio</a></li>
<li><a href="publications.html">Publications</a></li>
<li><a href="projects.html">Projects</a></li>
<li><a href="resume.html">C.V.</a></li>
<li class="last"><a href="https://www.theseus-os.com/">Blog</a></li>
</ul>
<br class="clearfix" />
</div>
</div>
<a name="research"></a>
<div id="inner">
<div id="page">
<div id="content">
<div class="box">
<h2>Research Interests</h2>
I am a systems researcher interested in operating systems, state management, compiler safety, and software architecture. I'm currently working on <a href="https://github.com/theseus-os/Theseus"><b>Theseus OS</b></a>, which I've written from scratch in Rust to rethink OS structure, state management, and the fundamental division of responsibilities between the OS and compiler. Our primary goals in Theseus are to enable easy, efficient, and arbitrary runtime evolvability (e.g., live update) and availability without redundancy (fault recovery). One key to realizing this is that <em>any</em> part of the system, even core kernel components, can be arbitrarily reconfigured or replaced at runtime without rebooting.
<br> <br>
In the past I have worked on virtual reality, mobile devices, I/O virtualization, multiscreen streaming frameworks, static analysis of device drivers, software engineering tools for change impact analysis, and novel debugging procedures for mobile robotics.
</div>
</div>
</div>
</div>
<br class="clearfix" />
<div id="inner">
<div id="page">
<div id="content">
<div class="box">
<h2>Academics</h2>
<a href="http://www.ece.rice.edu/"><img class="image alignright" src="images/rice-ece.jpg" width="200" alt="" /></a>
I received my Ph.D. and M.S. degrees in Computer Engineering from <a href="http://www.ece.rice.edu/">Rice University</a> in Houston working with <a href="http://www.linzhong.org/">Dr. Lin Zhong</a> as part of the Rice Efficient Computing Group. My research focused on the structure and state management of operating systems, resulting in the birth of Theseus OS.
<br class="clearfix" /> <br>
<a href="http://www.ece.utexas.edu/"><img class="image alignright" src="images/utexas-ece.png" width="200" alt="" /></a>
I received my B.S. in Computer Engineering from <a href="http://www.utexas.edu/">The University of Texas at Austin</a>, where I focused on embedded systems and software.
<br> After graduating from UT Austin, I continued as a PhD student in UT Austin's Software Engineering department for one year until I transferred to Rice.
<br class="clearfix" />
</div>
</div>
</div>
</div>
<br class="clearfix" />
<div id="inner">
<div id="page">
<div id="content">
<div class="box">
<h2>About me</h2>
I was born and raised in north Dallas, TX, where I attended Lake Highlands High School. My father worked as a patent lawyer and my mother was an insurance agent and homemaker during my childhood. I have one younger brother who also went to UT Austin.
<br class="clearfix" />
<br class="clearfix" />
In my spare time, I enjoy cooking all kinds of cuisines, including Chinese, Japanese, Korean, Vietnamese, Thai, new American, and Italian. I have always been a musical person; I started playing classical piano at the age of 6 and haven't stopped since. I also played jazz saxophone all throughout high school (and once in college) and, as a result, I'm a huge fan of jazz and big band swing. I enjoy things related to Chinese and Vietnamese culture, and can speak some Chinese (don't test me...) after spending a <a href="https://cetacademicprograms.com/college-study-abroad/programs/summer/beijing/">summer in Beijing</a>. One of my latest and most loved hobbies is long-distance overnight backpacking.
<br class="clearfix" />
<br class="clearfix" />
My wife and I live in Bellevue, WA with our dog Puma. She currently works as a <a href="https://www.linkedin.com/in/trangboos">technical hardware manager</a> in an FPGA group in Microsoft Azure.
</div>
</div>
</div>
</div>
</div>
<div id="footer">
© 2012-2022 Kevin Boos | Latest Update: May 2022 | Website Layout by <a href="http://www.freecsstemplates.org/">FCT</a>
</div>
</body>
</html>