Frederico Araujo

About Frederico Araujo

I am a Principal Research Scientist and Manager at IBM Research. My team\'s focus is on securing agents and agentic middleware, leveraging protocol and framework security, access control, systems security, and program analysis. We currently maintain and contribute to open-source projects in this space, including MCP Context Forge and BeeAI. Previously, I led projects on cloud-native security and endpoint security. I am an active contributor to open source and a maintainer of the SysFlow and CNCF\'s Falco projects. My research aims to enhance the security and resilience of software systems against cyber threats, with a focus on leveraging language-based techniques to en­force soft­ware se­cu­ri­ty. Technical interests include AI security, operating system security, cloud/web security, cyber deception, malware defense, access control, compilers, programming languages, and program analysis. I have contributed to several IBM products, including IBM Security\'s ReaQta and QRadar.My work has been featured in top academic and industry security conferences and won several best paper awards, including the Best Applied Security Research Award at CSAW. I completed my Ph.D. under the supervision of Dr. Kevin Hamlen at the University of Texas at Dallas, where I was awarded the Best Dissertation Award for my research on language-based cyber deception.I am also a software engineer with over 18 years of work experience, including four years developing industrial software systems. I have excellent knowledge of modern/agile practices and processes, having technically led large-scale projects. I also have thorough technical knowledge in programming language semantics, compilers, and program analysis techniques.Specialties: Cybersecurity, AI agent development, C/C++, Python, Go, Java, and.NET development, design patterns and framework development, system architectures, compilers, database design, communication protocols, and agile software methodologies. Working experience with web frameworks, container technologies (LXC, Docker, K8s), and Linux features such as namespace isolation and process checkpoint and restore. Interests & Expertise: AI Security, Systems and software security, with a focus on Language-based Security and Secure Software Engineering; Compilers, Program Analysis; Formal Methods & Verification, Intrusion Detection, Cloud & Mobile Computing.

Experience

1. Principal Research Scientist

   IBM

   Jun 2025 — Present · Yorktown Heights, NY, US

Education

• USP - Universidade de São Paulo

  B.Sc., Electrical Engineering

  2002 — 2007

• The University of Texas at Dallas

  Doctor of Philosophy (PhD), Software Engineering

  2010 — 2016

• CentraleSupélec

  M.Sc., Engineering

  2004 — 2007

• The University of Texas at Dallas

  Master of Science (MSc), Software Engineering

  2010 — 2012

Skills

• Maven
• Sql Server 2000-2008
• Algorithms
• Jenkins
• Software Development
• Python
• Scrum
• 3d Visualization
• Unified Modeling Language (Uml)
• Agile Methodologies
• Agent-Based Modeling
• Uml
• Ibm Rational Rhapsody
• Mes
• Machine Learning
• Wcf
• Artificial Intelligence
• Ms Project
• Subversion
• Wms
• Sql
• Microsoft Project
• Linux
• Software Engineering
• C++
• C
• Programming
• Software Modeling
• Software Configuration Management
• Software Agents
• Cloud Computing
• Computer Security
• Design Patterns
• Microsoft Sql Server
• Formal Languages
• .net Framework
• C#
• .net
• Java
• Android