Julien Le Guen

PhD Student

Personal Information

I am a PhD Student in Computer Sciences at VERIMAG and ST Microelectronics under the direction of Nicolas Halbwachs and David Monniaux. My work focuses on Static Program Analysis using Abstract Interpretation, and targets optimizing compilers.

I recently graduated as an Embedded Software Engineer, and I own a master’s degree in Computer Sciences from ESIAL, an engineering school located in Nancy, France.

I like hacking stuff and developing for miniature resource-limited platforms. As a result, most of my friends consider me as a linux, electronics, and embedded geek :)

Feel free to contact me at Jlg at jleguen.info [remove _nospam_]
PGP public key - if you want some privacy : pub 1024D/BCCB69D9

You can also have a look at my Curiculum Vitae : English | French [pdf]

Current Position

What’s keeping me busy ?

PhD Student

Currently PhD student in Computer Sciences at VERIMAG and ST Microelectronics under the direction of Nicolas Halbwachs and David Monniaux. My work focuses on Static Program Analysis using Abstract Interpretation, and targets optimizing compilers.
Company: VERIMAG and ST Microelectronics, Grenoble, France

Previous Positions

Internships done during my cursus at Esial.

Guest Researcher, 2008

Did my final internship at National Institute for Standards and Technology (NIST).
I was part of a project, with another student, consisting of designing and creating a test bed with numerous embedded systems to study the importance of time-synchronisation and accuracy of timestamping events. The result of this work aims to benefit the semiconductor industry, where numerous parameters need to be monitored in real-time for achieving manufacturing quality, cost and time-to-market demands.
I was in charge of the low-level and hardware part of the project. I worked on miniature wireless autonomous sensors (Carnegie Mellon University’s Firefly), first with a real-time operating system like Nano-RK, then with a full-custom application to be able to meet our needs.
Keywords: Embedded C, Real Time, Wireless Network
Company: National Institute of Standards and Technology, DoC, Gaithersburg, MD, USA

Embedded Software Technician, 2007

Conceived and integrated an IPv6 fast-forwarding module for routers running on MPSoC (Cavium Octeon and Raza XLR). The goal of the internship was to create a prototype of such a fast-path (before that all IPv6 traffic had to go through the slow-path) and test its performance. At the end it was integrated in the final product.
Keywords: embedded, network, MPSoC
Company: 6WIND, Montigny-le-Bretonneux, France

Robotics Technician, 2006

Conceived a library for the Wifibot, an autonomous robot the Maia research team at Loria, INRIA Lorraine currently owns. The goal of this library was to make the robot completely autonomous. It featured the abstraction level to drive the bot, and a module to use the robot’s IP camera to track colored blobs. This library is still used and developed by the team.
Keywords: embedded, mobile bot
Company: Maia team, Loria, INRIA Lorraine, Nancy, France

Past Projects

One of the strong point of ESIAL is the numerous projects we are doing during our course. The relevant ones for my future career are listed below.

Autonomous Mobile Bot (3rd year, final project)

An important part of the last year is reserved to do the big final project, in cooperation with an industrial company or a laboratory.
My team had to design and conceive an autonomous mobile bot as a platform to study data-fusion and time-stamping accuracy. The data fusion part was done with the help of a self-designed Fuzzy Logic program running on an embedded linux board, while the sensors were driven by a FPGA.

Compiler (2nd year)

Did a basic compiler (based on Yacc and Bison) that compiled from a custom functional language to ANSI C. Featured among other things a String type, nested functions and output of the program’s graph.

Microprocessor (2nd year)

Synthesized a RISC microprocessor in VHDL. Fully parametric (bus width, …), implemented a pipeline to increase the throughput. This project focused on the implementation of an existing design in a bottom-up approach.

Eurobot Competition (2005 to 2007)

Served as 2006 president of the ESIAL Robotics Club, where our team conceived a robot to participate at the Eurobot qualifications in France. The project included complex and demanding elements, involving multi-disciplinary fields like electronics, mechanics and project management. I led the electronics team (in charge of the conception of all electronic cards and the low-level robot control).