-
Notifications
You must be signed in to change notification settings - Fork 7
/
AUTHORS
24 lines (20 loc) · 876 Bytes
/
AUTHORS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
--------------------------------------------------------------
Universita' della Svizzera Italiana
Department of Informatics
Verification and Security Group
Led by Prof. Natasha Sharygina <natasha.sharygina@usi.ch>
--------------------------------------------------------------
Project leader and main code designer
-------------------------------------
Dr. Antti Hyvarinen <antti.hyvaerinen@usi.ch>
Previous project leader and main code designer
-------------------------------------
Dr. Roberto Bruttomesso <roberto.bruttomesso@usi.ch>
Previous members
----------------
Dr. Aliaksei Tsitovich <aliaksei.tsitovich@usi.ch>
Dr. Simone Fulvio Rollini <simone.fulvio.rollini@usi.ch>
Edgar Pek <edgar.pek@usi.ch>
Acknowledgments
---------------
This work has been supported by TASSO Foundation