Tom 
    

Education
   PhD in Computer Science   
       
       
 
   Master's & Engineering Degrees in Computer Science 
        
       
   Bachelor's Degree in Theoretical Computer Science  
        
 
       
   Undergraduate program   
        
Internships
   Performance variability in supercomputers  
       
   Ecient simulation of large scale MPI applications 
       
       
        
   
     
        
      
     
        
  https://hal.inria.fr/hal-01544827v1
   Multicast communication in SAP HANA 
       
   
       
      
   Job isolation in fat tree topologies 
       
        
   
          
    
   
   Modelisation and verication of concurrent systems 
       
   Monitoring of distributed systems   
       
       
    
   
 Monitoring of distributed systems   
       
Contact
tom.cornebize@

     
Web


Skills
Python
L
A
T
E
X
GNU/Linux
C
C++
Java
MPI
R
SQL
Languages
French
English
German
Software projects
   Contribution to Roaring bitmap 
        
      
  
  
  
  
 
       
        
   
        
        
 
      
        
         
           
    
 
   Platypus 
      
         
      
       
   SAT Solver 
      
       
 
Publications
           

         
      
 https://hal.inria.fr/hal-01523608
Cluster 
       
    
2017 IEEE 3rd International Workshop on High-Performance Interconnection Networks in the Exascale
and Big-Data Era (HiPINEB) 
        
      
 https://hal.archives-ouvertes.fr/hal-00972559
34th Formal Techniques for Networked and Distributed Systems (FORTE) 