Portugal
- Current
-
- Junior researcher at LaSIGE
- Past
-
- Web-designer/consultant at MVO® - Máquina de Vendas Online
- Web developer (Self-employed)
- Commercial employee at 3D Informática
- Education
-
- Universidade de Lisboa
- Universidade de Lisboa
- Recommended
-
8 people have recommended João - Connections
-
130
connections
- Industry
- Computer Software
- Websites
João Craveiro’s Summary
João Craveiro has a B.Sc. in Informatics Engineering (2007) from the University of Lisbon, Portugal, and is currently pursuing a M.Sc. in Informatics Engineering (specialization area: Systems Architecture and Computer Networks) in the same institution. His thesis work concerns the integration of generic operating systems, alongside real-time operating systems, in an architecture observing robust temporal and spatial partitioning. He has been involved in the national project DARIO, and in the ESA-sponsored international consortium projects AIR and AIR-II. Research interests include: real-time, embedded systems, Linux, RTEMS, and temporal and spatial partitioning. He is a student member of IEEE.
João Craveiro’s Specialties:
Real-time systems, embedded systems, real-time operating systems, temporal and spatial segregation. Linux, RTAI, RTEMS. Programming, modelling and other languages/platforms: Java, C, C#, PHP, SQL/MySQL, Haskell, Prolog, bash script, assembly, HTML/XHTML, CSS, JavaScript, XML/XSLT, Appia. Web content accessibility to visually-impaired users (concept and pratical application).
João Craveiro’s Experience
-
Junior researcher
LaSIGE
(Research industry)
March 2005 — Present (4 years 5 months)
Navigators (http://www.navigators.di.fc.ul.pt)
Current research topics: real-time, embedded systems, Linux, RTEMS, temporal and spatial segregation
Latest refereed publications:
- J. Rufino, J. Craveiro, T. Schoofs, C. Tatibana, J. Windsor. AIR Technology: a step towards ARINC 653 in space. In DAta Systems In Aerospace (DASIA) 2009, Istanbul, Turkey, May 2009.
- J. Craveiro, J. Rufino, C. Almeida, R. Covelo, and P. Venda. Embedded Linux in a partitioned architecture for aerospace applications. In The 7th ACS/IEEE International Conference on Computer Systems and Applications, Rabat, Morocco, May 2009.
Projects
Current: AIR-II (http://air.di.fc.ul.pt/air-ii/)
Past: AIR (http://air.di.fc.ul.pt/air/), DARIO (http://dario.di.fc.ul.pt) -
Web-designer/consultant
MVO® - Máquina de Vendas Online
(Marketing and Advertising industry)
February 2007 — March 2007 (2 months)
Consulting and webdesign services on the development and deployment of accessible, search engine optimized, standards-compliant XHTML/CSS layouts.
-
Web developer
Self-employed
(Self-Employed; Myself Only; Internet industry)
September 2005 — December 2006 (1 year 4 months)
Development of custom PHP/MySQL and/or XHTML/CSS (accessible, standards-compliant) web solutions
-
Commercial employee
3D Informática
(Privately Held; 1-10 employees; Computer Hardware industry)
April 2001 — June 2004 (3 years 3 months)
Attending customers, technical assistance (hardware/software), logistics support (stock management, RMA handling), commercial support (suppliers), management of the invoicing/stock software and e-commerce web solution
João Craveiro’s Education
-
Universidade de Lisboa
M.Sc. , Informatics Engineering (specialization area: Systems Architecture and Computer Networks) , 2007 — 2009
Academic year completed, average grade 17.1/20
Thesis theme (thesis due July 2009):
"Integration of generic operating-systems in partitioned architectures".
Keywords: real-time, ARINC 653, IMA, Linux, RTEMS, virtualization, para-virtualization.
Topics covered on specialization courses taken:
mobile computing, real-time/embedded systems, distributed systems programming, distributed fault tolerance, network security, system configuration/management, design/analysis of algorithms.
Technical competences
- acquired: RTAI, RTEMS, CORBA, Appia framework, SNMP, C# .NET
- employed (previously acquired): C, Java, OOP, dynamic programming- Activities and Societies:
- Navigators research team
-
Universidade de Lisboa
B.Sc. , Informatics Engineering , 2004 — 2007
Final grade: 18/20.
Most relevant topics covered on courses taken:
- object-oriented, functional, logic and imperative programming;
- databases;
- computer networks, distributed systems, security;
- artificial intelligence;
- computer graphics;
- formal languages and automata, theory of computation;
- software engineering;
- programming languages: Java, Haskell, Prolog, C;
- mathematics, statistics, operational research, physics.
Additional Information
João Craveiro’s Websites:
João Craveiro’s Groups:
IEEE/IES
-
The Official IEEE Group -
PrintScreen Fellowship -
Open Source -
IEEE Computer Society Members -
Linux Users -
Embedded Systems Group -
RTEMS -
Embedded Linux -
FCUL-DI Alumni -
WordPress Community -
LASIGE
João Craveiro’s Honors:
- Excelence Prize (1st place) for the best project in the 2006/2007 edition of the Artificial Inteligence B.Sc. course (project: Dots and Boxes - demo at http://www.youtube.com/watch?v=0SxKVudKBss )
- Faculty merit scholarship, 2004/2005 and 2005/2006.
- Best faculty Informatics Engineering student, 2004/2005.
- 2nd best faculty freshman student, 2004/2005.
João Craveiro’s Contact Settings
Interested In:
- career opportunities
- consulting offers
- expertise requests
- business deals
- reference requests
- getting back in touch
