Peeter Laud
[ curriculum vitae ]
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | SF0182712s06 | The methods, environments, and applications for solving large and complex computational problems (Tartu University, Faculty of Mathematics and Computer Science , senior researcher) | 2006 - 2011 |
| 2. | SF0012708s06 | Theoretical and Practical Security of Heterogenous Information Systems (Cybernetica AS, senior researcher) | 2006 - 2011 |
| 3. | ETF6713 | Static Analysis of Programs () | 2006 - 2009 |
| 4. | ETF6095 | Universally composable security and its formalization (Cybernetica AS, senior researcher) | 2005 - 2006 |
| 5. | SF0011799s01 | Elektrondokumentide krüptograafilised turvatribuudid ja nende pikaajaline säilitamine (Cybernetica AS, teadur) | 2001 - 2005 |
| 6. | ETF5568 | Cryptographic methods to achieve soundness of database queries (Cybernetica AS /Tartu University, senior researcher) | 2003 - 2004 |
| 7. | ETF5279 | Semantic Based Program Analysis and Transformation (Univ. of Saarland, PhD student) | 2002 - 2004 |
| 8. | ETF4917 | Mathematical Construction of Programs II (Cybernetica AS, d.rant) | 2001 - 2003 |
| 9. | ETF4760 | Long-Term Authenticity of Queries in Databases and Registers (Cybernetica AS, teadur) | 2001 - 2002 |
| 10. | SF0320202s98 | Teadmuspõhiste juhtimis- ja infosüsteemide arenduskeskkonnad kõrgjõudlusega arvutivõrkudel (Institute of Cybernetics at Tallinn Technical University, teadur) | 1997 - 2000 |