-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
114 lines (106 loc) · 5.32 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
<!DOCTYPE html>
<html>
<head>
<meta content="HTML Tidy for HTML5 for Apple macOS version 5.6.0" name="generator">
<meta charset="iso-8859-1">
<meta content="IE=edge" http-equiv="X-UA-Compatible">
<meta content="width=device-width, initial-scale=1" name="viewport">
<title>Bernhard Scholz</title>
<meta content="Homepage of Prof Bernhard Scholz. <br> The University of Sydney." name="description">
<link href="/css/main.css" rel="stylesheet">
<link href="http://b-scholz.github.io/" rel="canonical">
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-68116779-1', 'auto');
ga('send', 'pageview');
</script>
</head>
<body>
<header class="site-header">
<div class="wrapper">
<a class="site-title" href="/">Bernhard Scholz</a>
<nav class="site-nav">
<a class="menu-icon" href="#"><svg viewbox="0 0 18 15">
<path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.031C17.335,0,18,0.665,18,1.484L18,1.484z" fill="#424242"></path>
<path d="M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0c0-0.82,0.665-1.484,1.484-1.484 h15.031C17.335,6.031,18,6.696,18,7.516L18,7.516z" fill="#424242"></path>
<path d="M18,13.516C18,14.335,17.335,15,16.516,15H1.484C0.665,15,0,14.335,0,13.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.031C17.335,12.031,18,12.696,18,13.516L18,13.516z" fill="#424242"></path></svg></a>
<div class="trigger">
<a class="page-link" href="/research.html">Research</a> <a class="page-link" href="/resume.html">Resume</a> <a class="page-link" href="/teaching.html">Teaching</a> <a class="page-link" href="/pubs.html">Publications</a> <a class="page-link" href="/software.html">Software</a>
</div>
</nav>
</div>
</header>
<div class="page-content">
<div class="wrapper">
<div class="post">
<header class="post-header">
<h1 class="post-title"></h1>
</header>
<article class="post-content">
<img src="images/scholz.jpg" alt="Photo of Bernhard Scholz" width=200>
<p> Bernhard Scholz is a Full Professor in the School of Computer Science at The University of Sydney.
His research interests are in Programming Language Research. </p>
<p> Prof Scholz is the creator of <a href="http://souffle-lang.github.io">Souffle</a>, a Datalog language that is mainly used for static program
analysis by companies such as Oracle to find security bugs in Java JDK and check the correctness of
Amazon’s VPC networks. </p>
<p> Prof Scholz co-founded the SUN Microsystems Labs in Brisbane. He co-initiated the bug-checking tool Parfait,
a de facto tool used by thousands of Oracle developers for bug and vulnerability detection in real-world, commercially sized C/C++/Java applications.
</p>
<p>
Prof Scholz introduced the Partitioned Boolean Quadratic Problem (PBQP) for compiler construction with his students.
It is employed by compilers such as LLVM for register allocation.
</p>
<p> Before joining The University of Sydney, he worked for the Technical University of Vienna and the University of Vienna
in academic/research roles. He has held various visiting professorships at the University of Victoria, BC, Canada,
Yonsei University, South Korea, at the Sun Microsystems Laboratories, and Oracle Labs. </p>
<p> He has taken a leave of absence to work full-time for the blockchain foundation <a href="http://fantom.foundation">Fantom</a> as a chief research officer.
Prof. Scholz’s blockchain research focuses on smart-contract execution, security, and performance. </p>
<h2 id="mailing-address">Mailing Address</h2>
<p>Dr. Bernhard SCHOLZ<br>
<a href="https://www.sydney.edu.au/engineering/schools/school-of-computer-science.html">School of Computer Science</a><br>
Building J12<br>
<a href="http://www.sydney.edu.au">The University of Sydney</a><br>
NSW 2006<br>
AUSTRALIA</p>
<h2 id="contact-information">Contact Information</h2>
<p>Room: SIT Building J12, Room 352<br>
Tel.: +61 2 9351 4216<br>
Fax: +61 2 9351 3838<br>
Email: <a href="mailto:[email protected]">[email protected]</a></p>
</article>
</div>
</div>
</div>
<footer class="site-footer">
<div class="wrapper">
<div class="footer-col-wrapper">
<div class="footer-col footer-col-1">
<ul class="contact-list">
<li>Bernhard Scholz</li>
<li>
<a href="mailto:[email protected]">[email protected]</a>
</li>
</ul>
</div>
<div class="footer-col footer-col-2">
<ul class="social-media-list">
<li>
<a href="http://dblp.uni-trier.de/pers/hd/s/Scholz:Bernhard"><span class="username">DBLP</span></a>
</li>
<li>
<a href="https://scholar.google.com.au/citations?user=0z6_oNEAAAAJ&hl=en"><span class="username">Google-Scholar</span></a>
</li>
</ul>
</div>
</div>
</div>
<div class="footer-col footer-col-3">
<p class="text">Homepage of Prof Bernhard Scholz.<br>
The University of Sydney.</p>
</div>
</footer>
</body>
</html>