Dylan Le
Chris McCarthy
Xihao (Phillip) Hu
Professor Carlos Varela, Director (cvarela AT cs DOT rpi DOT edu)
Alumni
Saswata Paul, Ph.D., 2022, GE Global Research
Camilo Castellanos, Ph.D., 2021, Amazon, Colombia
Carlos Eduardo Gomez Montoya, Ph.D., 2019, Universidad del Quindio, Colombia
Shigeru Imai, Ph.D., 2018, ABEJA Inc., Japan
Travis Desell, Ph.D., 2009, Rochester Institute of Technology
Kaoutar El Maghraoui, Ph.D., 2007, IBM T.J. Watson Research
Wei-Jen Wang, Ph.D., 2006, National Central University, Taiwan
News
New (12/12/2023) Congratulations to Andrew Wilkerson for successfully completing his M.S. thesis!
(07/03/2022) Prof. Varela will be on sabbatical until the Fall of 2023. Prof. Varela will visit GE Global Research at Niskayuna, NY, the University of Los Andes at Bogota, Colombia, and PUC-Rio at Rio de Janeiro, Brazil.
(05/21/2022) Dr. Saswata Paul was awarded the Robert McNaughton Prize for outstanding achievements as a graduate student in the Department of Computer Science.
(03/16/2022) Congratulations to Dr. Saswata Paul for successfully defending his PhD dissertation!
(09/04/2021) Our alumna, Dr. Kaoutar El Maghraoui, has been awarded the prestigious TCSVC Women in Service Computing Award for her work in the development of infrastructure for next generation AI hardware and co-founding Arab Women in Computing organization.
(07/26/2021) Congratulations to Dr. Camilo Castellanos for successfully defending his PhD dissertation!
(09/11/2020) Prof. Varela's keynote on Verification of Cyber-Physical Distributed Systems at SBAC-PAD 2020 is now available for watching here.
(06/23/2020) Prof. Varela has been invited to deliver a keynote at the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2020) in September 2020.
(05/08/2020) Congratulations to Sinclair Gurny for successfully defending his Master's Thesis!
(05/01/2020) PILOTS version 0.6 has been released.
(02/28/2020) Professor Varela has been named as an Associate Editor of the IEEE Internet of Things Journal (IoT-J).
(11/26/2019) The 1st RPI AFOSR/AFRL Dynamic Data and Information Processing (DDIP) Meeting was successfully held!
(09/01/2019) Our paper "Conflict-Aware Flight Planning for Avoiding Near Mid-Air Collisions" has been nominated for the Best Student Paper Award at the 38th AIAA/IEEE Digital Avionics Systems Conference, San Diego, CA, 2019.
(07/02/2019) Congratulations to Dr. Carlos Eduardo Gomez Montoya for successfully defending his Ph.D. dissertation!
(06/04/2019) Professor Varela has been named Program Committee Chair (with Laurent Lefevre) for CCGrid 2020.
(04/08/2019) Professor Varela's article on flight data analytics for safety is available in theconversation.com.
(03/24/2019) Our work on recognizing sensor failures in data is featured in Albany Times Union.
(02/28/2019) "Making Flight Systems Safer with the Internet of Airplanes", RPI News.
(01/31/2019) "Grant Awarded to Increase Intelligence in Aerospace Systems", The Approach.
(03/22/2018) Congratulations to Dr. Shigeru Imai for successfully defending his Ph.D. dissertation!
(07/06/2017) "Carlos Varela featured in IEEE Aerospace and Electronic Systems Magazine", RPI CS News.
Publications
Programming Distributed Computing Systems by Prof. Varela
(Available from Amazon and MIT Press)
Projects
ASSURE: Analysis of Safety-Critical Systems Using Formal Methods-Based Runtime Evaluation
PILOTS: ProgrammIng Language for spatiO-Temporal data Streaming applications
IOS: Internet Operating System
SALSA: Simple Actor Language System and Architecture
MilkyWay@HOME: Volunteer Computing for Astro-informatics
OverView: Dynamic Visualization of Distributed Systems
Transactors: A Programming Model for Maintaining Globally Consistent Distributed State in Unreliable Environments
Collaborations
Open Systems Laboratory at UIUC
Chikayama & Taura Laboratory at the University of Tokyo
Cloud Computing and Distributed Systems (CLOUDS) Lab at the University of Melbourne
Laboratoire d'Informatique, Signaux et Systemes de Sophia-Antipolis (I3S/CNRS/INRIA)
Departamento de Ingenieria de Sistemas y Computación, Universidad de Los Andes, Colombia
Courses
Software Verification (Spring'22, Spring'20, Spring'18)
Programming Languages (Fall'23, Fall'21, Fall'19, Fall'17, Fall'16, Fall'15, Spring'15, Fall'14, Spring'13, Spring'12, Spring'11, Spring'10, Fall'09, Fall'07, Fall'06, Fall'05, Spring'05, Fall'03)
Distributed Computing over the Internet (Spring'21, Spring'19, Spring'17, Spring'16, Fall'14, Fall'12, Fall'10, Fall'09, Spring'07, Spring'06, Spring'04, Spring'03, Spring'02)
Principles of Software (Spring'21, Spring'19)
Cloud Computing (Fall'11)
Network Programming (Fall'02)
Internet Computing (Fall'01)
