Ceara
Dumitru Ceara
Embedded Systems Consultant, C Programming Consultant
An enthusiastic embedded software engineer enjoying low-level “hacking” as well as high level theoretical problems.
Strong background in computer science: algorithms, optimizations, object oriented programming.
Networking/telecom development: TCP/IP, Network Synchronization (Precision Time Protocol), IPv4 Routing protocols.
System/Kernel programming experience: multi-tasking, synchronization, device driver implementation.
Programming languages: Advanced knowledge of C, Java. Familiar with C++, Assembly, shell scripting, C#, OCaml, SQL.
General: svn, ClearCase, debuggers, profiling tools.
Employment
Education and qualifications
Education:
Publications and Talks:
Strong background in computer science: algorithms, optimizations, object oriented programming.
Networking/telecom development: TCP/IP, Network Synchronization (Precision Time Protocol), IPv4 Routing protocols.
System/Kernel programming experience: multi-tasking, synchronization, device driver implementation.
Programming languages: Advanced knowledge of C, Java. Familiar with C++, Assembly, shell scripting, C#, OCaml, SQL.
General: svn, ClearCase, debuggers, profiling tools.
Employment
Education and qualifications
Education:
Publications and Talks:
Strong background in computer science: algorithms, optimizations, object oriented programming.
Networking/telecom development: TCP/IP, Network Synchronization (Precision Time Protocol), IPv4 Routing protocols.
System/Kernel programming experience: multi-tasking, synchronization, device driver implementation.
Programming languages: Advanced knowledge of C, Java. Familiar with C++, Assembly, shell scripting, C#, OCaml, SQL.
General: svn, ClearCase, debuggers, profiling tools.
Employment
- Luxoft Professional Romania (Software Engineer, September 2010 – present)
- BM – Systems and Technology Group
- Verimag Laboratory, Grenoble, France (Research Intern, March 2009 – June 2010)
- Romanian Soft Company – RSC (.NET Software Developer, November 2006 – May 2007, July 2008 – February 2009)
Education and qualifications
Education:
- MSc. Master of Science in Informatics, University of Grenoble, France, June 2010
- BSc. System and Computer Engineering, Politehnica University of Bucharest, Romania, 2009
Publications and Talks:
An enthusiastic embedded software engineer enjoying low-level “hacking” as well as high level theoretical problems.
- Dumitru Ceara, Laurent Mounier and Marie-Laure Potet. Taint dependency sequences: A characterization of insecure execution paths based on input-sensitive cause sequences. In International Workshop on Modelling and Detection of Vulnerabilities (MDV’10), Paris, France
- Modelling and Detection of Vulnerabilities International Workshop, 2010: article presentation
- M?thodes de Test, V?ri?cation et Validation French Workshop, 2010: A Characterization of Insecure Execution Paths Based on Taint Dependency Sequences (invited talk)
- CEA-LIST Frama-C development team seminar, April 2010: Taint Dependency Sequences - STAC Frama-C plug-in (invited talk)
Strong background in computer science: algorithms, optimizations, object oriented programming.
Networking/telecom development: TCP/IP, Network Synchronization (Precision Time Protocol), IPv4 Routing protocols.
System/Kernel programming experience: multi-tasking, synchronization, device driver implementation.
Programming languages: Advanced knowledge of C, Java. Familiar with C++, Assembly, shell scripting, C#, OCaml, SQL.
General: svn, ClearCase, debuggers, profiling tools.
Employment
- Luxoft Professional Romania (Software Engineer, September 2010 – present)
- BM – Systems and Technology Group
- Verimag Laboratory, Grenoble, France (Research Intern, March 2009 – June 2010)
- Romanian Soft Company – RSC (.NET Software Developer, November 2006 – May 2007, July 2008 – February 2009)
Education and qualifications
Education:
- MSc. Master of Science in Informatics, University of Grenoble, France, June 2010
- BSc. System and Computer Engineering, Politehnica University of Bucharest, Romania, 2009
Publications and Talks:
- Dumitru Ceara, Laurent Mounier and Marie-Laure Potet. Taint dependency sequences: A characterization of insecure execution paths based on input-sensitive cause sequences. In International Workshop on Modelling and Detection of Vulnerabilities (MDV’10), Paris, France
- Modelling and Detection of Vulnerabilities International Workshop, 2010: article presentation
- M?thodes de Test, V?ri?cation et Validation French Workshop, 2010: A Characterization of Insecure Execution Paths Based on Taint Dependency Sequences (invited talk)
- CEA-LIST Frama-C development team seminar, April 2010: Taint Dependency Sequences - STAC Frama-C plug-in (invited talk)
- C Programming
- Embedded Systems
- Compilers
- Static Code Analysis
- Embedded Systems
- C Programming