group.html

<!doctype html>
<html lang="en">
  <head>
    <link rel="shortcut icon" type="image/x-icon" href="/favicon.ico">
    <meta charset="utf-8">
    <title> Ashutosh Trivedi | Computer Science | University of Colorado Boulder</title>
    <meta name="MobileOptimized" content="width">
    <meta name="HandheldFriendly" content="true">
    <meta name="viewport" content="width=device-width">
    <link rel="stylesheet" href="css/grid.css">
    <link rel="stylesheet" href="css/ucb-styles.css">
    <link rel="stylesheet" href="css/styles.css">
    <link href="https://fonts.googleapis.com/css?family=Roboto:400,700|Roboto+Condensed:700" rel="stylesheet">
    <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.3.1/css/all.css" integrity="sha384-mzrmE5qonljUremFsqc01SB46JvROS7bZs3IO2EmfFsd15uHvIt+Y8vEf7N7fWAU" crossorigin="anonymous">
    <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.3.1/css/v4-shims.css">
    <script   src="https://code.jquery.com/jquery-2.2.4.min.js"   integrity="sha256-BbhdlvQf/xTY9gja0Dq3HiwQF8LaCRTXxZKRutelT44="   crossorigin="anonymous"></script>
    <link href='http://fonts.googleapis.com/css?family=Ultra' rel='stylesheet' type='text/css'>
    <link href="https://fonts.googleapis.com/css?family=Shrikhand" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css?family=Open+Sans:400,800" rel="stylesheet">
    <link rel="preconnect" href="https://fonts.googleapis.com">
    <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin="">
    <link href="https://fonts.googleapis.com/css2?family=Roboto+Condensed:wght@700&amp;family=Roboto:wght@400;700&amp;display=swap" rel="stylesheet">
  </head>
<!-- Body Starts here -->
  
  <body class="headings-bold background-color-white">
    <div class="page">

      <!-- CU Boulder bar -->
      <div class="background-black brand-bar brand-bar-black">
        <div class="container">
          <script type="text/javascript" src="https://cdn.colorado.edu/static/brand-assets/live/js/brand-bar.js" id="ucb-brand-bar-embed" data-color="black"></script>
        </div>
      </div>

      <!-- CS/CEAS  header -->
      <header class="ucb light" role="banner">
	<div class="container">
	  <a href="/">Department of Computer Science</a>
	  <div class="affiliation">
	    <a href="https://www.colorado.edu/engineering">College of Engineering and Applied Science</a>
	  </div>
	</div>
      </header>

      <!-- navigation bar -->
      <div class="background-color-gray-dark">
        <div class="container">
          <nav role="navigation" class="ucb-navbar ucb-navbar-dark text-minify">
            <label for="show-main-menu" class="show-menu">
	      <i class="fa fa-bars" aria-hidden="true"></i>
	      <span class="element-invisible">Menu</span>
	    </label>
	    <input type="checkbox" id="show-main-menu" role="button">
            <ul>
              <li><a href="index.html" class="active"> <i class="fa fa-home"></i>
		  <span class="display-inline invisible-md invisible-lg">Home</span></a></li>
		      <li><a href="group.html"> Group</a></li>
              <li><a href="pubs.html">Publications</a></li>
              <li><a href="teaching.html">Teaching</a></li>
              <li><a href="ser.html">Service</a></li>
              <li><a href="bio.html">Bio</a></li>
            </ul>
          </nav>
        </div>
      </div>
      
      <div class="background-white padding-vertical-large">
      <div class="container">
        <h1>Group</h1>
        <div class="row">
        <div class="col-12 col-sm-12 col-md-8 col-lg-9">
        <p><img src="group.jpg" class="image-full" alt="placeholder" /></p>
        <p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ullamcorper malesuada proin libero nunc.</p>
        <p>Ut eu sem integer vitae justo eget magna fermentum iaculis. In cursus turpis massa tincidunt dui ut. Morbi tristique senectus et netus. Lectus mauris ultrices eros in cursus turpis massa tincidunt dui.</p>
        <p>Tristique sollicitudin nibh sit amet commodo nulla facilisi. Massa enim nec dui nunc. Nec sagittis aliquam malesuada bibendum. At quis risus sed vulputate odio ut enim blandit volutpat. Risus sed vulputate odio ut enim blandit volutpat. Vitae elementum curabitur vitae nunc.</p>

		<!-- <h3> Current Members. </h3>	 -->
		<div class="row">
      
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="dohmen.jpg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="https://taylordohmen.github.io">Taylor Dohmen</a></h2>
				<p class="text-minify">Research Interests. Regular Relations and Reinforcement Learning.</p>
			  </div>
			</div>
		  
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="joko.jpeg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="https://dblp.org/pid/174/1975.html">John Komp</a></h2>
				<p class="text-minify">Research Interests. Duration Calculus and Reinforcement Learning</p>
			  </div>
			</div>
		  
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="tilu.jpg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="https://plv.colorado.edu/tianhan/">Tianhan Lu</a></h2>
				<p class="text-minify">Research Interests. Static Analysis for Resource and Cost Bounding </p>
			  </div>
			</div>
		  
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="vishnu.jpg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="https://dblp.org/pid/292/7538.html">Vishnu Murali</a></h2>
				<p class="text-minify">Foundations of Cyber-Physical Systems Verification and Synthesis</p>
			  </div>
			</div>
		  
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="mape.jpeg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="/cuboulder-bootstrap/person.html">Mateo Perez</a></h2>
				<p class="text-minify">Automata-Theoretic Reinforcement Learning</p>
			  </div>
			</div>
		  
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="default.jpg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="/cuboulder-bootstrap/person.html">David Flores</a></h2>
				<p class="text-minify">Static Differential Analysis</p>
			  </div>
			</div>		  
		</div>
		<h3> Alumni </h3>	
		<div class="row">
      
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="saeid.jpeg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="https://sites.google.com/a/colorado.edu/saeid-tizpaz-niari/">Saeid Tizpaz-Niari</a></h2>
				<p class="text-minify"><strong>Thesis.</strong> Differential Performance Debugging and its
					application to side-channel analysis (2020).</p>
			  </div>
			</div>
		  
			<div class="col-12 col-sm-6 col-lg-4 margin-bottom text-minify">
			  <img class="image-align-left image-xs-50px image-lg-75px" src="debh.jpeg" alt="placeholder image" />
			  <div class="overflow">
				<h2 class="h6"><a href="https://www.linkedin.com/in/devendra-bhave-0101a48a/?originalSubdomain=in">Devendra Bhave</a></h2>
				<p class="text-minify"><strong>Thesis.</strong>Perfect Subclasses of Real-timed Recursive Systems (2020)<br>
				<strong>First Employment.</strong> <em>
					Senior Software Engineer, Mathworks </p>
			  </div>
			</div>
        </div>  
        <div class="col-12 col-sm-12 col-md-4 col-lg-3">
          <div class="background-gold-light padding content">
            <h2>Block Title</h2>
            <p>Ut eu sem integer vitae justo eget magna fermentum iaculis. In cursus turpis massa tincidunt dui ut. Morbi tristique senectus et netus. Lectus mauris ultrices eros in cursus turpis massa tincidunt dui.</p>
            <p>Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ullamcorper malesuada proin libero nunc.</p>
          </div>
        </div>
  
  
    

	<footer class="background-black padding-top padding-bottom">
          <div class="container">
            <div class="row">
	      <div class="col-lg-4 col-md-4 col-sm-6 col-xs-12">
		This HTML template is a resource provided by <a href="https://www.colorado.edu/strategicrelations">Strategic Relations and Communications</a>.
	      </div>
	      <div class="col-log-4 col-md-4 col-sm-6 col-xs-12 offset-lg-4 offset-md-4">
		<script type="text/javascript"
			src="https://cdn.colorado.edu/static/brand-assets/live/js/footer.js"
			id="ucb-footer-embed" data-color="white"></script>
	      </div>
            </div>
          </div>
	</footer>
      </div>
    </div>
  </body>
</html>