Our expertises are programming models and code intelligence, which we apply in several specialized areas.
- Focus creativity and engineering efforts on application domain concerns, not accidental complexity.
- Understanding and reasoning about existing software properties.
We apply our expertise in several specialized application areas:
- Reliable and resilient networked software systems for decentralized communication.
- Secure and privacy-preserving software.
- Methods and tools for AI software systems.
| title |
|---|
| Advanced Programming Languages & Libraries |
| Decentralized and Collaborative Software |
| Secure and Privacy-Preserving Software |
| Static Analysis & Verification |
| Trustworthy AI-Enhanced Coding Assistance |