Julien Vanegue

I am a computer software and hardware programming enthusiast for more than 10 years.

I have been developing practical and theoretical skills on topics such as language theory, formal semantics, mathematical logic, program analysis, digital security and embedded systems.

In 2008, I was an embedded system engineer at CESAR (Recife Center for Advanced Studies and Systems) located in Brazil.

Since February 2009, I work in Microsoft as part of the preventive security division (MSEC) as a member of the Penetration Testing team. I work close to the Microsoft Science team and Microsoft Security Response Center (MSRC). We are all part of Microsoft Trustworthy Computing department.

Julien Vanegue’s Specialties:

Project Leading & Team Managing
Language & Software Design
Embedded Systems Development
Computer & Network Security Auditing
Software & Hardware Programming

Julien Vanegue’s Experience

Security Engineer

Microsoft

(Public Company; MSFT; Computer Software industry)

2009 — Present (less than a year)

Member of the Penetration Testing team in Microsoft Security.
Embedded systems development engineer

CESAR

(Non-Profit; Information Technology and Services industry)

April 2008 — February 2009 (11 months)

Development of software/hardware solutions for the embedded system market.
Embedded systems engineer

CESAR, Brazil

(Non-Profit; Information Technology and Services industry)

February 2006 — August 2006 (7 months)
Computer security engineer

NBS-Systems

(Privately Held; 11-50 employees; Computer & Network Security industry)

May 2003 — May 2003 (1 month)

I have performed penetration testing and security audits for international & defence companies.
Assistant professor

LSE (Laboratoire Systeme de l'EPITA)

(Privately Held; 11-50 employees; Computer & Network Security industry)

January 2001 — May 2003 (2 years 5 months)

I have been the teaching assistant of professor of Vianney Rancurel for Master level students at EPITA and EPITECH on the topic of computer and network security.
UNIX administrator of clustered networks

Citybons

(Privately Held; 1-10 employees; Computer Networking industry)

August 2000 — August 2000 (1 month)

Julien Vanegue’s Education

University of Cambridge

Research intern , Computer Science Research , 2007 — 2007

Activities and Societies:

University of Cambridge Computer Laboratory
Université Denis Diderot (Paris VII)

Research Master , Computer Science Research , 2006 — 2007

Activities and Societies:

Mathematical Logics
Semantics of programming languages
Software verification
Algebraic modeling
Ecole pour I'Informatique et les Techniques Avancées

Engineering Master , Computer Engineering , 2003 — 2006
EPITECH - European Institute of Technology

Bachelor , Computer Science , 1999 — 2002

Activities and Societies:

Laboratoire Systeme de l'EPITA (LSE)