popcornlinux.org
Popcorn Linux - People
http://www.popcornlinux.org/index.php/people
Jump to main navigation and login. Curt Albert, Naval Surface Warfare Center, Dahlgren, VA, USA. Siraji Ali, Virginia Tech, VA, USA. Brandon Amos, Carnegie Mellon University, PA, USA. Saif Ansary, CISCO System, San Jose, CA, USA. Sharath Bhat, Virginia Tech, VA, USA. Arijit Chattopadhyay, Bloomberg, New York, NYC, USA. Michael Drescher, Virginia Tech, VA, USA. Shawn Furrow, Lockheed Martin, VA, USA. David Katz, The Johns Hopkins University Applied Physics Laboratory, Laurel, MA, USA.
lpd.epfl.ch
Distributed Programming Laboratory - LPD: People
http://lpd.epfl.ch/site/People
Navigation within EPFL sites. Navigation within this site. Jump to search field. Jump to page content. Innovation and tech transfer. Press releases, Reflex, Flash. Architecture, Civil and Environmental Engineering. Materials Science and Engineering. Neuroscience Brain Mind and Blue Brain. Human and Social Sciences. Computer and Communication Sciences. Recherche at a glance. Doctoral Assistant, Treasurer. El Mhamdi El Mahdi. Secretary, Administrative and Technical Staff Member. Prof at Purdue University.
hyflow.org
Hyflow research project- SSRG
http://www.hyflow.org/members.html
Mohamed Mohamedin (PhD, 2016). Sean Moore (MS, 2015). Sachin Hirve (PhD, 2015). Duane Niles (MS, 2015). Alexandru Turcu (PhD, 2015). Sree Ram Mohanan (MS, 2014). Aditya Dhoke (MS, 2013). Junwhan Kim (PhD, 2013). Sudhanshu Mishra (MS, 2013). Gregory Caswell (MS, 2012). Mohamed Saad (MS, 2011). Guillaume Faddoul (MS, 2010). Solomon Wube (BS, 2010). Bo Zhang (PhD, 2009).
lara.epfl.ch
Viktor Kuncak
http://lara.epfl.ch/~kuncak
PhD MIT, 2007. Associate Prof., EPFL. Email: viktor.kuncak@epfl.ch. Secretariat: 41 21 693 4943. Direct phone: 41 21 693 5281. Fax: 41 21 69 36660. Viktor Kunčak leads the research group LARA (Lab for Automated Reasoning and Analysis). Which conducts research in the area of Programming Languages and Formal Methods. At the IC School. With his group and collaborators, he develops algorithms. For constructing reliable systems. He works in the broad area of programming languages. Here is his inaugural lecture.
lara.epfl.ch
Lab for Automated Reasoning and Analysis - LARA: Wiki
http://lara.epfl.ch/w/Start
Navigation within EPFL sites. Navigation within this site. Jump to search field. Jump to page content. Innovation and Tech Transfer. Architecture, Civil and Environmental Engineering. Materials Science and Engineering. Computer and Communication Sciences. Neuroscience Brain Mind and Blue Brain. Human and Social Science. Area and Cultural Studies. Center for Social Ontology. Innovation and Tech Transfer. Technology transfer, patents. Network of Excellence RESCIF. Lab for Automated Reasoning and Analysis.