-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
7 lines (7 loc) · 8.13 KB
/
index.html
1
2
3
4
5
6
7
<!doctype html><html lang=en><head><meta name=generator content="Hugo 0.79.1"><meta charset=utf-8><meta content="width=device-width,initial-scale=1" name=viewport><meta content="ie=edge" http-equiv=x-ua-compatible><title>CPS-VIDA Lab</title><link rel=stylesheet href=https://cdn.jsdelivr.net/npm/[email protected]/css/academicons.min.css integrity="sha256-uFVgMKfistnJAfoCUQigIl+JfUaP47GrRKjf6CTPVmw=" crossorigin=anonymous><link rel=stylesheet href=https://cdn.jsdelivr.net/npm/@fortawesome/[email protected]/css/all.min.css integrity="sha256-mmgLkCYLUQbXn0B1SRqzHar6dCnv9oZFPEC1g1cwlkk=" crossorigin=anonymous><link href="https://fonts.googleapis.com/css?family=Open+Sans" rel=stylesheet><link rel=stylesheet href=https://cps-vida.github.io/scss/main.min.e8408ac071c23f062043e0c1755233fd9e5c5042ca1fe640b0e19ff2014df4d2.css integrity="sha256-6ECKwHHCPwYgQ+DBdVIz/Z5cUELKH+ZAsOGf8gFN9NI="><link rel=apple-touch-icon sizes=180x180 href=https://cps-vida.github.io/apple-touch-icon.png><link rel=icon type=image/png sizes=32x32 href=https://cps-vida.github.io/favicon-32x32.png><link rel=icon type=image/png sizes=16x16 href=https://cps-vida.github.io/favicon-16x16.png><link rel=manifest href=https://cps-vida.github.io/site.webmanifest></head><body><div class=columns><div class="sidebar column is-one-third-tablet is-one-quarter-fullhd"><div class=sidebar-content><figure><a href=https://cps-vida.github.io/><img src=https://cps-vida.github.io/img/logo_fg.png></figure></a><h1 class=title>CPS-VIDA Lab</h1><h2 class="subtitle is-size-6">Verification, Intelligence, Design, and Analysis</h2><nav class=nav><ul class=nav-list><li class=nav-item><a href=https://cps-vida.github.io/>Home</a></li><li class=nav-item><a href=/publications/>Publications</a></li><li class=nav-item><a href=/members/>Members</a></li></ul></nav></div></div><div class="column is-offset-one-third-tablet is-offset-one-quarter-fullhd"><div class="container is-fullheight content-holder"><div class=content><h1 class=title>About</h1><dl><dt><strong>CPS</strong></dt><dd>Cyber-Physical Systems</dd><dt><strong>VIDA</strong></dt><dd>Verification, Intelligence, Design, and Analysis</dd><dt><strong>Vida</strong></dt><dd>(<em>Spanish</em>) Life</dd></dl><p>Our group’s research interests lie in the intersection of formal methods, control theory, cyber-physical systems, and artificial intelligence. This includes some of the following:</p><ul><li>Verification of Autonomous CPS.</li><li>Specification Languages for CPS.</li><li>Monitoring Security of CPS.</li><li>Verifiable and Safe Controller Synthesis for Autonomy in CPS.</li><li>Probabilistic Reasoning about Time-Series Data using Temporal Logic.</li></ul><h2>Members</h2><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-192x192"><img src=https://cps-vida.github.io/members/jyo/profile_hu27b0f62b648aa9a49d9d8bf273690de9_31694_192x192_fit_q75_box.jpg></p></figure><div class=media-content><div class=content><a class=is-block href=https://viterbi-web.usc.edu/~jdeshmuk/index.html target=_blank><strong class=is-size-5>Jyotirmoy Deshmukh</strong></a><p><strong class=is-size-6>Assistant Professor, Director</strong></p></div></div></article><h3>Ph.D. Students</h3><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/anand/profile_hu2029a15a86692d073ea473d6bb38eeb1_520641_128x128_fit_q75_box.jpg></p></figure><div class=media-content><div class=content><span class=is-block><a href=https://anandb.me target=_blank><strong>Anand Balakrishnan</strong></a></span><ul class=is-size-7><li>Learning Algorithms for Controller Synthesis</li><li>Safety in Reinforcement Learning</li><li>Verification of Perception Systems</li></ul></p></div></div></article><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/aniruddhgp/profile_hu6bb01105391c6b6eb3813e3d6455b160_794329_128x128_fit_q75_box.jpg></p></figure><div class=media-content><div class=content><span class=is-block><a href=http://aniruddh-puranic.info target=_blank><strong>Aniruddh Puranic</strong></a></span><ul class=is-size-7><li>Robotics</li><li>Human Behavior Modeling</li><li>Safe Imitation Learning</li></ul></p></div></div></article><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/navid/profile_hu2017438a45426d3e03a3176dc0115c76_1141240_128x128_fit_q75_box.jpg></p></figure><div class=media-content><div class=content><span class=is-block><strong>Navid Hashemi</strong></span><ul class=is-size-7><li>Cyber-Physical Systems</li><li>Control Theory</li><li>Fault Detection</li><li>Reinforcement Learning</li></ul></p></div></div></article><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/sara/profile_hu6886ab1385fd481be0b35f06135be390_50526_128x128_fit_q75_box.jpg></p></figure><div class=media-content><div class=content><span class=is-block><strong>Sara Mohammadinejad</strong></span><ul class=is-size-7><li>Machine Learning</li><li>Formal Methods</li></ul></p></div></div></article><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/sheryl/profile_huc11df5fade9887fd98d2930c42b67f01_911233_128x128_fit_q75_box.jpeg></p></figure><div class=media-content><div class=content><span class=is-block><strong>Sheryl Paul</strong></span><ul class=is-size-7><li>Game Theory</li><li>Formal Methods and Verification</li></ul></p></div></div></article><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/vidisha/profile_hubcc3bc95c858f375f5a03ffdd0745138_29176_128x128_fit_box_2.png></p></figure><div class=media-content><div class=content><span class=is-block><strong>Vidisha Kudalkar</strong></span></div></div></article><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/xin/profile_hu95732307c137142e4b24b5a3c557888f_148994_128x128_fit_q75_box.jpg></p></figure><div class=media-content><div class=content><span class=is-block><a href=https://xinqin23.github.io/ target=_blank><strong>Xin Qin</strong></a></span><ul class=is-size-7><li>Formal Methods</li><li>Predictive Monitoring</li><li>Automated Testing</li><li>Machine Learning</li></ul></p></div></div></article><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/yuanxia/profile_hub6bd5827d7266e6948966bd49d593917_310279_128x128_fit_q75_box.jpg></p></figure><div class=media-content><div class=content><span class=is-block><strong>Yuan Xia</strong></span><ul class=is-size-7><li>Machine Learning</li><li>Formal Methods</li></ul></p></div></div></article><h3>Visiting Scholars</h3><article class=media style=flex-wrap:wrap><figure class=media-left><p class="image is-square is-128x128"><img src=https://cps-vida.github.io/members/parv/profile_hu96b12a82c6fba002c5cdb68739db476c_2795_128x128_fit_q75_box.jpeg></p></figure><div class=media-content><div class=content><span class=is-block><strong>Parv Kapoor</strong></span><ul class=is-size-7><li>Safe Reinforcement Learning</li><li>Optimization Techniques and Applications</li><li>Robotics</li><li>Computer Vision</li></ul></p></div></div></article><h3>Lab Alumni</h3><ul><li>Kolby Nottingham,
Visiting Scholar.</li><li>Monali Saraf,
Visiting Scholar.</li><li><a href=https://yogeshgajjar123.github.io/ target=_blank><strong class=is-size-5>Yogesh Gajjar</strong></a>,
Master's Student.</li></ul></div></div><div class="container content-holder"><footer class=footer><div class="content has-centered-text is-size-7"><p>© 2019 — CPS-VIDA Lab.</p><p>Made with ❤️ using
<a href=https://purecss.io target=_blank rel="noopener noreferrer">Bulma</a>.
Powered by
<a href=https://gohugo.io/ target=_blank rel="noopener noreferrer">Hugo</a>.</p></div></footer></div></div></div></body></html>