Portugal
- Current
-
- Teaching Assistant at Carnegie-Mellon University / University of Lisbon
- Junior researcher at LaSIGE
- Past
-
- Web developer at Self-employed
- Commercial employee at 3D Informática
- Education
-
- Universidade de Lisboa
- Universidade de Lisboa
- Universidade de Lisboa
- Instituto Superior Técnico
- Escola Secundária de Ferreira Dias, Agualva-Cacém
- Recommended
-
8 people have recommended João - Connections
-
157
connections
- Industry
- Computer Software
João Craveiro’s Summary
João Craveiro has a B.Sc. (2007) and a M.Sc. (2009) in Informatics Engineering, both from the University of Lisbon, Portugal. His research is based around embedded and real-time systems, and he is currently focused on time-/space-partitioned architectures for aerospace applications. He has been involved in the national project DARIO, and in the ESA-sponsored international consortium projects AIR and AIR-II. He is a member of IEEE.
João Craveiro’s Specialties:
Real-time systems, embedded systems, real-time operating systems, scheduling, temporal and spatial segregation. Linux, RTAI, RTEMS. Programming: C, Java, assembly (Intel, ARM, SPARC).
João Craveiro’s Experience
-
Teaching Assistant
Carnegie-Mellon University / University of Lisbon
(Higher Education industry)
September 2009 — Present (3 months)
Teaching duties in the joint MSc program in Information Security by the Carnegie-Mellon University (CMU) and the Faculty of Sciences of the University of Lisbon (FCUL).
18-342: Fundamentals of Embedded Systems -
Junior researcher
LaSIGE
(Research industry)
March 2005 — Present (4 years 9 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. Craveiro, J. Rufino, T. Schoofs, and J. Windsor. Flexible Operating System Integration in Partitioned Aerospace Systems. In INForum - Simpósio de Informática, Lisbon, Portugal, September 2009.
- 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 developer
Self-employed
(Internet industry)
September 2005 — March 2007 (1 year 7 months)
Development of custom PHP/MySQL and/or XHTML/CSS (accessible, standards-compliant) web solutions
Consulting and webdesign services on the development and deployment of accessible, search engine optimized, standards-compliant XHTML/CSS layouts
Some clients: Mark Ghosh, MVO, Instituto Espanhol de Línguas -
Commercial employee
3D Informática
(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
Ph.D. , Informatics, Informatics Engineering , 2009 — 2012 (expected)
Theme/provisional thesis title: Scheduling in a multi-OS, multicore ARINC 653-based architecture
Awarded a Doctoral Grant by the national research body (FCT)- Activities and Societies:
- Navigators research team
-
Universidade de Lisboa
M.Sc. , Informatics Engineering (specialization area: Systems Architecture and Computer Networks) , 2007 — 2009
Final grade: 18/20 (Excellent)
Thesis title:
"Integration of generic operating-systems in partitioned architectures".
Keywords: aerospace applications, ARINC 653, IMA, Linux, operating systems, real-time.
Specialization courses:
mobile computing (.NET Compact Framework, C#), real-time/embedded systems (RTAI, RTEMS), distributed systems programming (RPC, CGI, CORBA), distributed fault tolerance (Appia), network security (cryptographic algorithms in C), system configuration/management (SNMP, MRTG), design/analysis of algorithms (Java, 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 (Java), functional (Haskell), logic (Prolog) and imperative/procedural programming (C);
- computer architectures, assembly language programming;
- computer networks, distributed systems, security;
- software engineering;
- mathematics, statistics, operational research, physics. -
Instituto Superior Técnico
2001 — 2002
Enrolled for two semesters in the B.Sc. programme on Information Systems Engineering and Multimedia
-
Escola Secundária de Ferreira Dias, Agualva-Cacém
High School , Science and Nature (Mathematics, Physics, Chemistry) , 1995 — 2001
Final grade: 16/20
1995-1998: junior high school (years 7, 8, and 9)
1998-2001: high school (years 10, 11 and 12)- Activities and Societies:
- Students' association, school radio, basketball team
Additional Information
João Craveiro’s Groups:
IEEE/IES
-
The Official IEEE Group -
PrintScreen Fellowship -
Open Source Universe -
IEEE Computer Society Members -
Linux Users -
Embedded Systems Group -
RTEMS -
Embedded Linux -
FCUL-DI Alumni -
Geocaching in Portugal -
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 Profile in Other Languages:
João Craveiro’s Contact Settings
Interested In:
- career opportunities
- consulting offers
- expertise requests
- business deals
- reference requests
- getting back in touch
