Thomas Sewell

• 
  www.ertos.nicta.com.au/people/?cn=Ian%20Gorton - [Cached Version]
  Published on: 11/9/2007    Last Visited: 11/9/2007  

  Thomas Sewell - Research EngineerThomas is currently interested in formal verification tools and processes, system code verification, language semantics and formalisation, file system design and virtual file systems.

• 
  NICTA | ERTOS -... - [Cached Version]
  Published on: 11/9/2007    Last Visited: 11/9/2007  

  Thomas Sewell

• 
  NICTA | ERTOS -... - [Cached Version]
  Published on: 7/8/2006    Last Visited: 2/16/2008  

  Co-Supervisor: Thomas Sewell (ERTOS)

• 
  NICTA | People - [Cached Version]
  Published on: 10/19/2009    Last Visited: 10/19/2009  

  Thomas Sewell Research Engineer

• 
  NICTA | SewellT - [Cached Version]
  Published on: 2/15/2009    Last Visited: 2/15/2009  

  Thomas SewellNICTA | SewellT
  ...
  People Home > People > Thomas Sewell
  ...
  Thomas Sewell
  ...
  Thomas is a proof engineer on the L4.verified project.

• 
  People | ERTOS | NICTA - [Cached Version]
  Published on: 2/15/2009    Last Visited: 2/15/2009  

  Thomas Sewell - Research Engineer
  
  Thomas is currently interested in formal verification tools and processes, system code verification, language semantics and formalisation, file system design and virtual file systems.

• 
  People | ERTOS | NICTA | ERTOS | NICTA - [Cached Version]
  Published on: 10/19/2009    Last Visited: 10/19/2009  

  Thomas Sewell - Research Engineer
  
  Thomas is interested in program verification, programming languages and operating systems.

• 
  Thomas Sewell | People | ERTOS | NICTA - [Cached Version]
  Published on: 7/8/2006    Last Visited: 2/15/2009  

  Thomas Sewell
  ...
  Thomas Sewell - Research Engineer
  
  Embedded Real-Time Operating Systems (ERTOS) Group
  
  Research Interests
  
  Thomas is currently interested in formal verification tools and processes, system code verification, language semantics and formalisation, file system design and virtual file systems.
  
  NICTA Projects
  
  Thomas is working on the l4.verified project, which aims to prove the functional correctness of a high performance microkernel.
  
  Qualifications
  
  Thomas has a combined Bachelor of Engineering (Software Engineering) and Bachelor of Science (Pure Mathematics) degree from UNSW.
  ...
  David Cock, Gerwin Klein and Thomas Sewell

• 
  Thomas Sewell | People | ERTOS | NICTA - [Cached Version]
  Published on: 9/4/2006    Last Visited: 8/6/2008  

  Thomas Sewell - Research Engineer
  
  Embedded Real-Time Operating Systems (ERTOS) Group
  
  Research Interests
  
  Thomas is currently interested in formal verification tools and processes, system code verification, language semantics and formalisation, file system design and virtual file systems.
  
  NICTA Projects
  
  Thomas is working on the l4.verified project, which aims to prove the functional correctness of a high performance microkernel.
  
  Qualifications
  
  Thomas has a combined Bachelor of Engineering (Software Engineering) and Bachelor of Science (Pure Mathematics) degree from UNSW.
  ...
  David Cock, Gerwin Klein and Thomas Sewell

• 
  Thomas Sewell | People | ERTOS | NICTA | ERTOS | NICTA - [Cached Version]
  Published on: 10/19/2009    Last Visited: 10/19/2009  

  Thomas Sewell - Research Engineer
  
  Embedded Real-Time Operating Systems (ERTOS) Group
  
  Research Interests
  
  Thomas is interested in program verification, programming languages and operating systems. Specific interests include language semantics, refinement calculi, interactive theorem provers and proof automation approaches.
  
  NICTA Projects
  
  Thomas is working on the l4.verified project, which aims to prove the functional correctness of a high performance microkernel.
  
  Qualifications
  
  Thomas has a combined Bachelor of Engineering (Software Engineering) and Bachelor of Science (Pure Mathematics) degree from UNSW.
  ...
  Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood
  ...
  Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood
  ...
  Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock and Michael Norrish
  ...
  David Cock, Gerwin Klein and Thomas Sewell

Page:  1 2