Main Page

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Events)
(Events)
(37 intermediate revisions not shown)
Line 12: Line 12:
==Announcements==
==Announcements==
-
* (1/Oct/2017) NavTalks seminars have started for a new year of discussions!  
+
* (Nov/2019) The Doctoral Fellowships “la Caixa” INPhINIT have opened with three themes for PhD proposals from the Navigators professors!
-
 
+
* (Oct/2019) The final demonstration and review of the DISIEM EU project, which we have lead for the past three years, went extremely well with praise for the outstanding results that were achieved!
 +
* (Apr/2018) Based on the final demonstration of the Supercloud EU project last month, here is a video about [https://www.youtube.com/watch?v=vygTlX7oTEY Sirius], the multi-cloud network virtualization platform.
 +
<!--
 +
Exemplos de anuncio de novo projeto:
 +
* (1/Oct/2018) The (FCT-funded) research project AQUAMON -- Dependable Monitoring with Wireless Sensor Networks in Water Environments -- started today. During the next 3 years we will develop a dependable monitoring platform for application in aquatic environments using wireless sensor networks.
 +
-->
Line 61: Line 66:
==Events==
==Events==
-
[http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
+
<!--
-
What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20171024 NavTalk], When: '''Tue 2018-Feb-21, 12pm''', Where: '''room 6.3.38''' <br/>
+
What: '''Invited talk by XXX: "TITLE"'''  <br/>
-
{| style="border-spacing: 5px; text-align: left; "
+
When: '''Thu 2020-Jan-30, 3pm''' <br/>
-
| style="vertical-align: top;white-space: nowrap;" | [[Rui_Azevedo | Rui Azevedo]]  || style="vertical-align: top;" | presents || style="vertical-align: top;" |  ''' Secure SIEM using OSINT for avoiding threats'''
+
Where: '''Room 6.3.26 @ FCUL'''<br/>
-
|}
+
Sponsor: '''XXX'''<br/>
 +
-->
[http://www.navigators.di.fc.ul.pt/wiki/NavTalks]  
[http://www.navigators.di.fc.ul.pt/wiki/NavTalks]  
-
What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20171024 NavTalk], When: '''Tue 2018-Feb-7, 12pm''', Where: '''room 6.3.38''' <br/>
+
What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20171024 NavTalk], When: '''Thu 2018-Sep-20, 12:00am''', Where: '''room 6.3.38''' <br/>
{| style="border-spacing: 5px; text-align: left; "
{| style="border-spacing: 5px; text-align: left; "
-
| style="vertical-align: top;white-space: nowrap;" | [[Miguel Garcia | Miguel Garcia]]   || style="vertical-align: top;" | presents || style="vertical-align: top;" |  ''' BFT-controllers for Intrusion-tolerant systems'''
+
| style="vertical-align: top;white-space: nowrap;" | [[Alysson_Bessani | Alysson Bessani]] || style="vertical-align: top;" | presents || style="vertical-align: top;" |  '''SMaRtChain: A Principled Design for a New Generation of Blockchains'''
|-
|-
-
| style="vertical-align: top;white-space: nowrap;" |   [[Fernando Ramos | Fernando Ramos]] || style="vertical-align: top;" | presents || style="vertical-align: top;" |   '''Logically centralising the  Software-Defined Network'''
+
| style="vertical-align: top;white-space: nowrap;" | [[Rui_Miguel | Rui Miguel]] || style="vertical-align: top;" | presents || style="vertical-align: top;" | '''Named Data Networking with Programmable Switches '''
|}
|}
-
[http://www.navigators.di.fc.ul.pt/wiki/NavTalks]
+
''('''Summer break -- No Navtalk''')''
-
What: [http://www.navigators.di.fc.ul.pt/wiki/NavTalks#slNT20171024 NavTalk], When: '''Tue 2018-Jan-17, 12pm''', Where: '''room 6.3.38''' <br/>
+
-
{| style="border-spacing: 5px; text-align: left; "
+
-
| style="vertical-align: top;white-space: nowrap;" | [[José_Rufino | José Rufino]]  || style="vertical-align: top;" | presents || style="vertical-align: top;" |  ''' NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems'''
+
-
|-
+
-
| style="vertical-align: top;white-space: nowrap;" |  [[António_Casimiro | António Casimiro]] || style="vertical-align: top;" | presents || style="vertical-align: top;" |  '''Membership-based Maneuver Negotiation in Safety-critical Vehicular Systems'''
+
-
|}
+
-
<!--
 
-
''('''Summer break -- No Navtalk''')''
 
-
-->
 
[http://www.navigators.di.fc.ul.pt/wiki/Navtalk_Events Past Navtalk Events]
[http://www.navigators.di.fc.ul.pt/wiki/Navtalk_Events Past Navtalk Events]

Revision as of 13:43, 22 January 2020

We are the Navigators, a research team on distributed systems, their architectures, their algorithms, in their several skins: fault tolerance, real-time, security, and combinations thereof.

We also pursue the quest for the right balance between science and technology. Some people say that Informatics (a.k.a. computer science and engineering) belongs to a new breed, of what are called techno-sciences. We believe that techno-scientists should accompany theoretical mastery with a deep knowledge of their environment — computer technology — as well as astro-physicists know the sky, or marine biologists know the sea.

We study new theories to explain distributed systems, and new algorithms to take advantage from them. But we also like to do proof-of-concept experiments about the theory we work on. We try that our papers and theses tell a good story as clearly as possible. We work hard for our demonstrations to be convincing and captivating. Because we believe science is made for others.

Our greatest riches are our culture, and our researchers and students. If you believe in the former, you can become one of the latter. Welcome!

Announcements

  • (Nov/2019) The Doctoral Fellowships “la Caixa” INPhINIT have opened with three themes for PhD proposals from the Navigators professors!
  • (Oct/2019) The final demonstration and review of the DISIEM EU project, which we have lead for the past three years, went extremely well with praise for the outstanding results that were achieved!
  • (Apr/2018) Based on the final demonstration of the Supercloud EU project last month, here is a video about Sirius, the multi-cloud network virtualization platform.


Latest publications

Events

[1] What: NavTalk, When: Thu 2018-Sep-20, 12:00am, Where: room 6.3.38

Alysson Bessani presents SMaRtChain: A Principled Design for a New Generation of Blockchains
Rui Miguel presents Named Data Networking with Programmable Switches


(Summer break -- No Navtalk)


Past Navtalk Events
Personal tools
Navigators toolbox