Research

Research Interests

• neural networks on radiation-tolerant FPGAs for space
• time and space partitioning for space avionics

• families of rigorous requirements for embedded software systems
• mode confusions in user interfaces
• feature interaction problems in telephone switching systems
• formal description technique Estelle for communication systems
• specification based, automatic testing

More

Here is more information on

• my publications
• my current talks