Curriculum Vitae

Download as PDF

Education

 
 
 
 
 
UC Irvine
Ph.D. in Computer Science
Sep 2018 – Jun 2023 Irvine, CA
Dissertation: Reasoning About Emergent Behaviors at Runtime
Advised by Prof. Nikil Dutt
 
 
 
 
 
University of Brasília
M.Sc. in Computer Science
Aug 2017 – Aug 2018 Brasília, Brazil
 
 
 
 
 
University of Brasília
B.Sc. in Computer Science
Mar 2012 – Jul 2017 Brasília, Brazil
 
 
 
 
 
Fordham University
Visiting Student in Computer Science
Aug 2015 – Jul 2016 New York, NY

Teaching Experience

See more at /teaching

 
 
 
 
 
NC State
Assistant Teaching Professor
Aug 2023 – Present Raleigh, NC

Computer Organization and Assembly (CSC 236) during Fall ‘23, Spring ‘24
Intro to Programming in Java (CSC 116) during Fall ‘23, Spring ‘24
Intro to Computing Environments (E 115) during Spring ‘24

Course pages are available through wolfware.ncsu.edu

 
 
 
 
 
UC Irvine
Associate Instructor
Mar 2022 – Dec 2022 Irvine, CA

Instructor of Record for Programming in C/C++ (ICS 45C) during Fall ‘22
You can find the course page at /courses/uci/f22/ics45c/

Instructor of Record for Embedded Software (CS 145) during Spring ‘22
You can find the course page at /courses/uci/s22/cs145/

 
 
 
 
 
UC Irvine
Teaching Assistant
Sep 2018 – Jun 2023 Irvine, CA
Critical Writing (ICS 139W) during Spring ‘23
Intro to Programming (ICS 31) from Fall ‘18 to Winter ‘22, and Winter ‘23
 
 
 
 
 
Fordham University
Guest Lecturer
Sep 2018 – Sep 2018 New York, NY
Capstone Project in Data Science (CISC 6080) during Fall ‘18
 
 
 
 
 
University of Brasília
Teaching Assistant
Mar 2018 – Jul 2018 Brasília, Brazil
Intro to Computer Science (CIC 113913) during Spring ‘18
 
 
 
 
 
University of Brasília
Undergraduate Tutor
Aug 2012 – Jul 2016 Brasília, Brazil
Intro to Computer Science (CIC 113913) from Fall ‘12 to Spring ‘14, and during Spring ‘16
Object-Oriented Programming (CIC 116785) during Spring ‘14

Research & Work Experience

See more at /research

 
 
 
 
 
NC State
Assistant Teaching Professor
Aug 2023 – Present Raleigh, NC
 
 
 
 
 
Center for Embedded and Cyber-physical Systems @ UCI
Research Assistant
Sep 2018 – Jun 2023 Irvine, CA
Part of the Dutt Research Group, where I explored how applications behave when emergent behaviors occur and how we can detect, reason, and react to these unexpected system actions. My work aimed to enable systems to be proactive about these emerging behaviors to maintain safe execution during runtime.
 
 
 
 
 
Meta
Software Engineer Intern
Jun 2022 – Sep 2022 Menlo Park, CA
Worked with the Network Planning and Network Delivery Systems teams on a project that tried to predict future link flap issues on data center devices. Link flap spikes can cause network devices to decrease their throughput by orders of magnitude, so it is important to proactively identify such problems. I created pipelines to collect and analyze data, and the model I developed was able to predict long-term issues with a 98% accuracy with only 0.4% false positive rate.
 
 
 
 
 
Google
Software Engineer Intern
Jun 2021 – Sep 2021 Irvine, CA
Worked with the CloudNet Control (CNC) team to create validation techniques for certain data-consistency contracts throughout the CNC mesh. The CNC team is responsible for quick and reliable delivery of user configurations across the Google Cloud Platform. I designed and implemented various scrips to parse logs, find contract violations, and feed this data into dashboards to increase visualization and ease the debugging of issues.
 
 
 
 
 
Google
Software Engineer Intern
Jun 2020 – Sep 2020 Irvine, CA
Joined the gCache team working on the Envoy Proxy, where I helped design, implement, and deploy features for the HTTP Cache Filter. I implemented the handling of Range Requests/Responses and enabled the filter to handle and cache varied responses that contain an allowed value for the Vary header.
 
 
 
 
 
Cal/Amp
IT / Product Security Intern
Jun 2019 – Sep 2019 Irvine, CA
Worked with the Information Security team in different projects that aim to secure the company’s network and assets. Furthermore, I also took lead in a project that tried to detect anomalies to facilitate the visibility of uncommon behaviors on the network.
 
 
 
 
 
Software Engineering Lab @ UnB
Research Assistant
Aug 2016 – Aug 2018 Brasília, Brazil
Conducted research with Prof. Genaína Rodrigues on reliable systems, by exploring different ways to analyze implied scenarios in distributed systems. Our proposed methodology uses clustering techniques, with a distance metric based on the Smith-Waterman algorithm. I wrote a senior monograph and a master’s thesis on the subject, and we published our results in the Journal of Systems and Software.
 
 
 
 
 
Lab for Informatics and Data Mining @ Fordham University
Research Assistant
Jun 2016 – Aug 2016 New York, NY
Worked on the WATSHERE project, led by Prof. Frank Hsu. We used the IBM Watson framework to provide curated information for students’ parents and staff of the P.S. 85 in the Bronx. We published the results of this work at the 2017 Global Business and Technology Association conference.
 
 
 
 
 
Computer Science Department @ University of Brasília
Java Development Intern
Feb 2015 – Jul 2015 Brasília, Brazil
Helped to develop teaching tools for the Introduction to Computer Science class. Worked on the development of a tool that randomized exam questions among students, where the instructors were able to embed the problem set into the executable.

Publications

You can also check:

Journal Articles

[J4] SAFER: Safety Assurances For Emergent Behavior

Caio Batista de Melo, Marzieh Ashrafiamiri, Minjun Seo, Fadi Kurdahi, and Nikil Dutt ;
Appeared at the IEEE Design & Test, 2023.

[J3] LOCoCAT: Low-Overhead Classification of CAN Bus Attack Types

Caio Batista de Melo and Nikil Dutt ;
Appeared at the IEEE Embedded Systems Letters, 2023.

[J2] The Self-Aware Information Processing Factory Paradigm for Mixed-Critical Multiprocessing

Eberle A. Rambo, Bryan Donyanavard, Minjun Seo, Florian Maurer, Thawra M. Kadeed, Caio B. de Melo, Biswadip Maity, Anmol Surhonne, Andreas Herkersdorf, Fadi Kurdahi, Nikil D. Dutt, and Rolf Ernst ;
Appeared at the IEEE Transactions on Emerging Topics in Computing, 2020.

[J1] Characterization of Implied Scenarios as Families of Common Behavior

Caio Batista de Melo, André Luiz Fernandes Cançado, and Genaína Nunes Rodrigues ;
Appeared at the Journal of Systems and Software, 2019.

Peer-reviewed Conferences

[C3] Information Processing Factory 2.0 - Self-awareness for Autonomous Collaborative Systems

Nora Sperling, Alex Bendrick, Dominik Stöhrmann, Rolf Ernst, Bryan Donyanavard, Florian Maurer, Oliver Lenke, Anmol Surhonne, Andreas Herkersdorf, Walaa Amer, Caio Batista de Melo, Ping-Xiang Chen, Quang Anh Hoang, Rachid Karami, Biswadip Maity, Paul Nikolian, Mariam Rakka, Dongjoo Seo, Saehanseul Yi, Minjun Seo, Nikil Dutt, and Fadi Kurdahi;
Appeared at the 2023 DATE conference.

[C2] The Information Processing Factory: A Paradigm for Life Cycle Management of Dependable System

Eberle A. Rambo, Thawra Kadeed, Rolf Ernst, Minjun Seo, Fadi Kurdahi, Bryan Donyanavard, Caio Batista de Melo, Biswadip Maity, Kasra Moazzemi, Kenneth Stewart, Saehanseul Yi, Amir M. Rahmani, Nikil Dutt, Florian Maurer, Nguyen Anh Vu Doan, Anmol Surhonne, Thomas Wild, and Andreas Herkersdorf ;
Appeared at the 2019 CODES+ISSS conference.

[C1] WATSHERE: A Watson Cognitive System to Navigate Social/Health Resources for Public Schools

Anna Poulakas, Alon Yoeli, Sebastian Deossa, Caio Batista de Melo, D. Frank Hsu, Dawn J. Adams, Cesarina Javier, and Anita V. Batisti ;
Appeared at the 2017 Global Business and Technology Association (GBATA) conference.

Book Chapters

[BC1] Reflecting on Self-aware Systems-on-Chip

Bryan Donyanavard, Tiago Mück, Kasra Moazzemi, Biswadip Maity, Caio Batista de Melo, Kenneth Stewart, Saehanseul Yi, Amir M. Rahmani, and Nikil Dutt ;
Part of A Journey of Embedded and Cyber-Physical Systems. Springer, 2021.

Technical Reports

[R1] The Information Processing Factory: Organization, Terminology, and Definitions

Eberle A. Rambo, Bryan Donyanavard, Minjun Seo, Florian Maurer, Thawra Kadeed, Caio B. de Melo, Biswadip Maity, Anmol Surhonne, Andreas Herkersdorf, Fadi J. Kurdahi, Nikil D. Dutt, and Rolf Ernst ;
Available at arXiv:1907.01578.

Presentations

LOCoCAT: Low-Overhead Classification of CAN Bus Attack Types

Caio Batista de Melo, Nikil Dutt ;
Late-Breaking Track at the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, 2023.

Characterization of Implied Scenarios as Families of Common Behavior

Caio Batista de Melo, André Luiz Fernandes Cançado, and Genaína Nunes Rodrigues ;
Journal-First Track at the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020.

The Information Processing Factory

Kenneth Stewart, Caio Batista de Melo, Saehanseul Yi, and Nikil Dutt ;
Poster at the 1st UCI/UCR/UPHF International Workshop on Cyber-Physical Systems and their Applications in Intelligent and Connected Transportation System, 2019.

Self-Aware Systems-On-Chip

Kenneth Stewart, Caio Batista de Melo, Saehanseul Yi, and Nikil Dutt ;
Poster at the Richard Newton Young Fellow Forum at the Design Automation Conference, 2019.

The Information Processing Factory

Kenneth Stewart, Caio Batista de Melo, Saehanseul Yi, and Nikil Dutt ;
Poster at the Richard Newton Young Fellow Forum at the Design Automation Conference, 2019.

Implied Scenario Detection Oriented Dependability Analysis

Caio Batista de Melo and Genaína Nunes Rodrigues ;
Poster at the joint 23rd University of Brasilia/14th Federal District Undergraduate Research Workshop, 2017.

Service

Mentoring

UCI Undergraduate Research Opportunities Program Research Discovery

Mentor (Winter ‘22 - Spring ‘22)
Mentored a total of four UCI undergraduate students that wanted to learn more about research, how projects work, and how they could start finding opportuinities.

Global Research Experience in Artificial Intelligence (GREAT) Program

Mentor (Winter ‘22)
Mentored a total of three undergraduate exchange students across two active research projects. Throughout this program I met regularly with these students and helped them get up to speed with the projects, and set them up to a position where they could contribute significantly.

Peer-Reviewer

International Conference on Omni-layer Intelligent Systems (COINS)

2023

International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

2019, 2021, 2022

Design, Automation and Test in Europe Conference (DATE)

2021, 2022

Asia and South Pacific Design Automation Conference (ASP-DAC)

2022

International Conference on VLSI Design (VLSID)

2021

Committee Member

  • Matt Morano, Development of Electronics and Simulations for the nEDM@SNS Experiment, PhD Defense, Department of Physics, NC State

Skills

Programming Languages

  • Python
  • C
  • C++
  • SQL
  • Java

Spoken Languages

  • Native fluency: English, Portuguese;
  • Basic communication: Spanish.

Certificates, Honors, & Awards

UCI
Certificate in Excellence in Engineering Communications
Awarded by the Graduate Division of the University of California, Irvine, in recognition of successful completion of the certificate program.
UCI
Certificate in Preparing for a Faculty Career
Awarded by the Graduate Division of the University of California, Irvine, in recognition of successful completion of the Preparing for a Faculty Career Certificate Program.
UCI
Certificate in Mentoring Excellence
Awarded by the Graduate Division of the University of California, Irvine, in recognition of successful completion of the Mentoring Excellence Certificate program which helps graduate students seeking to enhance their mentoring skills.
UCI
Thank a Teacher Recipient
Awarded by the Division of Teaching Excellence & Innovation of the University of California, Irvine, to select instructors and teaching assistants that are nominated by their students.
UCI
Certificate in Teaching Excellence
Awarded by the Division of Teaching Excellence & Innovation of the University of California, Irvine, in recognition of advanced training in evidence-based pedagogy.
UCI
Certificate in Course Design
Awarded by the Division of Teaching Excellence & Innovation of the University of California, Irvine, in recognition of advanced training in student-centered course design.
UCI
CIRTL Associate Level
Awarded by the Graduate Division at the University of California, Irvine, in recognition of successful completion of all requirements for UCI CIRTL (Center for the Integration of Research, Teaching and Learning) Associate level.
DAC
A. Richard Newton Young Student Fellow
Awarded by the Design Automation Conference (DAC) to encourage students to join the electronic design automation field and/or consider graduate studies in this field.
UCI
Teaching Assistant Professional Development Program
“TAP DAP” is a multi-day series of discipline-specific, interactive workshops designed to provide new TAs with skills and information that will help them to begin their instructional careers at UCI.
UCI
Dean’s Award
Scholarship awarded by the University of California, Irvine, to first-year Ph.D. students in recognition of outstanding research potential.
CAPES
Master’s Scholarship
Awarded by the Brazilian Coordination for the Improvement of Higher Education Personnel (CAPES), to promote the training of high-level human resources through scholarships for graduate students.
CNPq
Scientific Initiation Scholarship
Awarded by the Brazilian National Council for Scientific and Technological Development (CNPq), to encourage new potential talents among undergraduate students through their participation in research.
Fordham
Fordham University’s Student Ambassador
Helped coordinate keynote speeches at the 2016 International Conference on Cyber Security (ICCS).
CAPES
Brazil Scientific Mobility Program
Awarded a scholarship to pursue one year of studies at Fordham University, jointly sponsored by CAPES and the Institute of International Education (IIE).