This repository has been archived by the owner on Jul 4, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 10
/
index.html
68 lines (58 loc) · 5.81 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
<!DOCTYPE html>
<html lang="en"><head><meta charset="utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<meta property="og:title" content="NEU PRL" />
<meta property="og:description" content="Programming Research Laboratory @ Northeastern&nbsp;University" />
<meta property="og:image" content="img/prl-bg.png" />
<title>Home - Programming Research Laboratory - Northeastern University</title>
<!-- Bootstrap -->
<link href="css/bootstrap.min.css" rel="stylesheet" />
<!-- Custom css -->
<link href="css/custom.css" rel="stylesheet" />
<!-- Fonts -->
<link href="https://fonts.googleapis.com/css?family=Ubuntu:300" rel="stylesheet" type="text/css" />
<link href="https://fonts.googleapis.com/css?family=PT+Sans" rel="stylesheet" type="text/css" />
<!-- For IE 9 and below. ICO should be 32x32 pixels in size -->
<!-- [if IE]><link rel="shortcut icon" href="img/favicon.ico"><![endif] -->
<!-- Firefox, Chrome, Safari, IE 11+ and Opera. 196x196 pixels in size. -->
<link rel="icon" href="img/favicon.png" />
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!-- [if lt IE 9] -->
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<!-- <![endif] --> </head>
<body id="pn-top"> <nav class="navbar navbar-inverse"><div class="container"><div class="row"><div class="navbar-header"><button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar"><span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span></button></div>
<div id="navbar" class="navbar-collapse collapse"><ul class="nav navbar-nav"><li role="presentation" class="active"><a href="#">Home</a></li><li role="presentation"><a href="people.html">People</a></li><li role="presentation"><a href="teaching.html">Teaching</a></li><li role="presentation"><a href="seminars.html">Seminars</a></li><li role="presentation"><a href="software.html">Software</a></li><li role="presentation"><a href="publications.html">Publications</a></li><li role="presentation"><a href="new-members.html">New Members</a></li><li role="presentation"><a href="contact.html">Contact</a></li><li role="presentation"><a href="blog/index.html">Blog</a></li></ul> </div></div></div></nav>
<div class="jumbotron"><div class="container"><div class="row"><div class="col-md-12"><img src="img/prl.png" alt="Programming Research Laboratory"><h1>Programming Research Laboratory <a href="https://prl.ccs.neu.edu/contact.html#directions" target="_blank"><span class="glyphicon glyphicon-link" style="font-size: 66%;" aria-hidden="true"></span></a></h1>
<h2>Khoury College of Computer Sciences <a href="https://www.khoury.northeastern.edu/" target="_blank"><span class="glyphicon glyphicon-link" style="font-size: 64%;" aria-hidden="true"></span></a></h2>
<h3>Northeastern University <a href="https://www.northeastern.edu" target="_blank"><span class="glyphicon glyphicon-link" style="font-size: 62%;" aria-hidden="true"></span></a></h3>
<h4>Boston <a href="https://www.boston.gov/" target="_blank"><span class="glyphicon glyphicon-link" style="font-size: 60%;" aria-hidden="true"></span></a></h4></img></div></div></div></div>
<div class="pn-main-wrapper"><div class="container "><div class="content"><div class="row"><div class="col-md-10 col-md-offset-1"><p><span class="pn-highlight" style="font-size:xx-large"><em>We believe that writing computer programs is the fundamental act of computer science, and that programming languages are therefore our fundamental tool.</em></span></p>
<p>We seek a deeper understanding of this fundamental tool and how it should be used, and we seek to apply this understanding to the program design process, as well as to novel applications.</p>
<p>We take a multi-faceted approach to the study of programming languages and programming methodology, incorporating elements of design, mathematics, experimental science, and engineering.</p>
<p>We conduct research on all aspects of programming, including:</p>
<ul><li>the development of small and large programs</li><li>the design, implementation, and analysis of programming languages</li><li>programming environment tools</li></ul>
<p>Our research program is intertwined with our mission to train undergraduates and graduate students. We routinely exploit research results for our undergraduate courses, and we routinely find research challenges in our teaching.</p></div></div></div></div></div>
<footer class="footer"><p><a href="https://twitter.com/neu_prl" class="twitter-follow-button" data-show-count="false" data-lang="en">Follow the PRL</a><script type="text/javascript">!function(d,s,id){
var js,fjs=d.getElementsByTagName(s)[0];
if(!d.getElementById(id)){
js=d.createElement(s);
js.id=id;
js.src="https://platform.twitter.com/widgets.js";
fjs.parentNode.insertBefore(js,fjs);
}
}(document,"script","twitter-wjs");</script></p>
<p>© Copyright Programming Research Laboratory 2015-2019 | made by Catchexception s.r.o. | source on <a href="https://github.com/nuprl/website">GitHub</a></p>
<a class="pn-top pn-dark" href="#pn-top"><img src="img/up-arrow.png" alt="top" /></a></footer>
<!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
<!-- Include all compiled plugins (below), or include individual files as needed -->
<script src="js/bootstrap.min.js"></script>
<!-- Custom scripts -->
<script src="js/custom.js"></script>
<script src="js/analytics.js"></script></body></html>