Dr. I. Kristina Lundqvist is currently a Charles Stark Draper Assistant Professor in the Department of Aeronautics and Astronautics at MIT, where she heads the Embedded Systems Laboratory. Her research interests span several areas related to mission critical embedded systems. Her current activities focus on concurrency theory, resource management in multi-processor environments, partitioning for hardware software co-design, formal verification and embedded system design tools.

Dr. Lundqvist is the software engineering track chair for the Digital Avionics Systems Conference, a program committee member for the International Conference on Reliable Software Technologies, a board member of the Ada in Sweden and Ada Europe organizations, and a member of the ACM and IEEE.

Professor Lundqvist teaches a number of courses within the 16.2 Track, including Introduction to Computers and Programming (16.Unified), Aerospace Software Engineering, Real-Time Systems (16.35), and Experimental Projects (16.62X). In her (sparse) spare time, she enjoys traveling to Sweden and many other exotic destinations.

Jayakanth "JK" Srinivasan is currently a research engineer with the Lean Aerospace Initiative and an affiliated research scientist with ESL. He holds a bachelors degree in computer engineering, an M.Eng. in Avionics and recently received his S.M. in Aeronautics and Astronautics from MIT. His research interests are in embedded operating system design, formal V&V techniques, reconfigurable hardware and tool design for mission-critical embedded system development. His free time is fairly distributed between Music, Cooking, Running, Aikibudo and general lazing around.

Prof Lundqvist has assembled an admirable team of students for her ESL. They are smart (of course they are if Prof. Lundqvist chose them!), enthusiastic, fun (and funny), well-mannered, and gregarious. I enjoy working with them tremendously. As for me, I have had the pleasure of working in the Aero-Astro department for almost nine years. I love the energy and creativeness of MIT students and working here is never dull.

Gustaf Naeser has studied computer science and computer systems at Uppsala University and Mälardalen University. His main research interests are in formal methods for high-integrity systems and he received his PhD in October 2005. His teaching experience includes giving basic programming courses and courses in development environments.

Martin is originally from Montreal, Quebec, Canada. He got his Bachelor's Degree in Mechanical and Aerospace Engineering at Princeton University, with a Certificate in Engineering and Management Systems (Operations Research) and a Certificate in Applications of Computing (Computer Science). Before entering MIT, Martin worked as a Software Engineer for 4 years for a Business Intelligence Company (MicroStrategy Incorporated) in the Washington, DC area. Martin obtained his Master's Degree from MIT in June 2004 in the Department of Aeronautics and Astronautics.

Martin is currently pursuing his PhD under the guidance of Professor Lundqvist. Martin is the creator of the TASM language and focuses his PhD research on developing the TASM Language and Toolset functionality. Martin's research interests include Software Engineering, Real-Time Systems, Formal Methods, Diagnosis and Fault Tolerance, Humans and Automation, and the use of Mathematical reasoning Methods to aid in the development of Engineering Systems. In his spare time, Martin enjoys playing and listening to music, reading, creative writing, and competitive running. In a previous half marathon, Martin crossed the finish line 4 tenths of a second before Sébastien (webmaster's note: this statement is, still today, hotly debated by Sébastien, since they apparently did not start at the same time...)!

Dr. Mikael Nolin is an associate professor at Mälardalen Real-Time Research Centre, Västerås, Sweden. His research interests include: software engineering for embedded systems, component-based software development for real-time systems, analysis of real-time systems, and real-time communications. He is currently one of the leaders for the PROGRESS strategic research centre for development of embedded software. He also spends part of his time working as a software expert at CC Systems, a company which develops hardware and software for vehicles in rough environments. In cooperation with ESL, Mikael is working with specification of real-time systems using literate high-level languages. Mikael is, in addition to all this, currently performing five pushups per day in order to get in shape for the Swedish poker championships.

David received two Bachelor's Degrees from MIT in June 2006. One from the Department of Aeronautics and Astronautics and one from the Department of Electrical Engineering and Computer Science. David is currently pursuing his Master's Degree in the Department of Aeronautics and Astronautics under the guidance of professor Lundqvist. David's research tasks include developing the compiler for the TASM language and investigating how the TASM language can be used for code-generation.

Isaac is an undergraduate student in the Department of Aeronautics and Astronautics. He is currently helping the development of the TASM Toolset through various tasks. wn.

wn.

Brittany is an undergraduate student (class of 2008) in the Aeronautics and Astronautics department at MIT. Her interests include a variety of aerospace subjects including computers & programming, controls, and mechanics of materials and structures. Brittany has always had an interest in space and hopes to someday be involved with the U.S. space program. Brittany is originally from Salt Lake City, Utah and misses the mountains and wide-open space. In her free time, she enjoys running, soccer, volleyball, reading and genealogy.

Mathieu is a visiting student from France. He is currently an undergraduate student at the École Supérieure d'Ingénieurs en Électronique et Électrotechnique and expects to graduate with a Diplôme d'Ingénieur in June 2007, with a specialization in embedded systems. His skills focus on Control Engineering, Software and Hardware architectures, Fieldbus (CAN), Distributed Embedded Systems, System-On-Chip Design and Real time operating systems. Mathieu just joined ESL in January 2007 and will help to add functionality to the TASM toolset, including facilities to automatically generate test-cases. Mathieu enjoys playing the trumpet in his free time. He is going to join the MIT Marching Band and MIT Concert Band. He also plays sports like Indoor Hokey, soccer, and mountain biking. Because he is French, he likes cooking!

Bio to be updated...

Carl designed a tool to translate of VHDL to finite state machines. This tool performs an essential function within the Gurkh framework in extracting the state model from VHDL code. This state model is further used by the Safety Chip. Carl graduated with a Bachelors of Science in Computer Engineering from the University of Toronto in 2002. Carl graduated in 2004

Anna developed a hardware run-time kernel, RavenHaRT, for the Gurkh project. Safety-critical systems have to meet three requirements: strict timing constraints on operational behavior, limited resource availability, and stringent certification standards. The heart of these systems is the run-time system (RTS), which provides resource management, task creation and deletion, and manages inter-task communication. The traditional Ada RTS does not provide deterministic behavior. In order to meet the requirement of a minimal, deterministic RTS, RavenHaRT was developed. RavenHaRT leverages the reliability and efficiency of programmable hardware to implement a deterministic run-time kernel. Anna graduated from Brown University in 2001 with a Bachelor's degree in Electrical Engineering. She is now working full-time at the Lincoln Laboratory.

Pee modified the GNAT compiler for the Gurkh project. Gurkh utilizes a hardware run-time kernel and formal verification to provide a framework for verifying timing properties and implementing a predictable run-time environment for safety-critical systems. This modified GNAT compiler allows Gurkh applications to be developed in Ravenscar-compliant Ada 95. Pee joined ESL in June 2003 after graduating from MIT with a Bachelor's degree in EECS.

Sébastien has implemented a proof-of-concept implementation of a system-level fault detection mechanism in the framework of the Gurkh project. Working with the Draper Laboratory, the ESL team chose an application that could demonstrate the advantages of hardware detection of task-timing faults. The first phase of this work consists of deriving an Ada Ravenscar compliant version of the application software and its corresponding formal model. The second phase of this work is the development of the application's fault model, and the third phase requires the development of a coordination mechanism to handle the operation model change-over. Sébastien started his work with the ESL in September 2003. He graduated from McGill University with a Bachelor's degree in Electrical Engineering. He is an International Space University SSP'03 graduate. Sébastien obtained his degree from MIT in 2005.

Wayland was working on the hardware run-time kernel, RavenHaRT, for the Gurkh project. He took RavenHaRT, which was already implemented in VHDL, and successfully ran it on a hardware FPGA device. Wayland joined the ESL in February 2004 and received his B.S. in Computer Science and Engineering from MIT in June 2003.

Yves is working on the worst-case execution time (WCET) estimation of the RavenHaRT hardware kernel. In particular, the application under investigation is that of an electronic throttle controller for drive-by-wire automotive applications. Yves graduated from McGill with a Bachelor of Computer Engineering in 2002 and a Master of Engineering in the Center for Intelligent Machines in 2005. He subsequently joined the ESL in January 2005. His other research interests include virtual reality and human-computer interactions. In his spare time, Yves enjoys scuba diving (both recreational and technical) and plans to obtain his instructor's license "very soon"™. Other hobbies include waking up at 5h30am every other day to go rowing with the MIT Sloan Crew, swimming and rock-climbing.

Gaston is a class of 2006 student in the Department of Aeronautics and Astronautics at MIT. He is a candidate for a BS in Aerospace Engineering with Information Technology, and he also pursues a second BS in Applied Mathematics. After having worked extensively with gas turbine engines, he decided to make a turn in his career and focus on his new passion: aerospace real-time systems. He is currently designing and implementing exception and interrupt handling capabilities for pGNAT, the Ravenscar cross compiler for the Gurkh project. Gaston is a certified aircraft mechanic and a student member of AIAA, IEEE, and ACM. When he is not studying, he is reading other non-aerospace material, exercising, or sleeping.

Guillaume is visiting MIT from Paris, France. He is currently an undergraduate student at the École Supérieure d'Ingénieurs en Électronique et Électrotechnique and expects to graduate with a Diplôme d'Ingénieur in June 2007. Guillaume joined ESL in April 2006 and helped kick off the TASM Toolset development by setting up the development environment. Since then, he has contributed heavily to the TASM Toolset, primarily in the Graphical User Interface and the front-end functionality.