-
Notifications
You must be signed in to change notification settings - Fork 0
/
about.html
55 lines (43 loc) · 3.23 KB
/
about.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
<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http:https://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http:https://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1,user-scalable=no">
<title>About</title>
<link rel="stylesheet" type="text/css" href="./css/default.css" />
<link rel="stylesheet" type="text/css" href="./css/github.css" />
<link rel="stylesheet" type="text/css" href="./css/old.css" />
<script type="text/javascript" src="http:https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
<script src="./js/mathjaxConfig.js"></script>
</head>
<body>
<header>
<div class="title">Chao Sun</div>
<div class="navi">
<a href="./">Home</a>
<a href="./about.html">About</a>
<a href="./projects.html">Projects</a>
<a href="./archive.html">Archive</a>
</div>
<a href="https://www.linkedin.com/in/chao-sun-68b27121"><div class="bird"></div></a>
</header>
<div class="title">
<h1>About</h1>
</div>
<div id="content">
<p>I am a Software Engineer working at <a href="http:https://www.uber.com]">Uber</a>, mainly in distributed systems and databases. Especially, I am working on how to efficiently access and process the vast amount of data at Uber, which is critical to its business. Previously, I was an engineer at <a href="http:https://www.cloudera.com">Cloudera</a>, where I worked on <a href="https://issues.apache.org/jira/browse/HIVE-7292">Hive on Spark</a> and <a href="http:https://recordservice.io/">RecordService</a>. I am also a Hive committer and PMC member.</p>
<p>Even before that, I was a PhD student at University of Wisconsin-Milwaukee, with focus on type system and mechanized proofs for Java-like object oriented programming languages. For my thesis, I designed a lightweight type system based on <a href="http:https://dl.acm.org/citation.cfm?id=1760273">Fractional Permissions</a>, and proved its correctness with <a href="http:https://twelf.org/wiki/Main_Page">Twelf</a>. Basically, this type system can be used to check nonnull-ness, unique-ness, and method effects. The novelty of the proof is that we piggy-back it to the existing proof for the Fractional Permission system, which is already proven sound by my advisor, <a href="http:https://www.cs.uwm.edu/~boyland/">John Boyland</a>.</p>
<p>During my PhD period, I developed a strong interest on programming languages, especially in functional languages. I especially like Haskell.</p>
</div>
<div id="footer">
<span class="left"><a href="//github.com/sunchao/sunchao.github.io">Source</a>
on Github</span>
Site proudly generated by
<a href="http:https://jaspervdj.be/hakyll">Hakyll</a>
and credits to <a href="http:https://mattwetmore.me">Matt Wetmore</a>
for the blog template
</div>
<script src="./js/sidenote.js"></script>
</body>
</html>