|
Tenure-track Assistant Professor Andrea Vandin |
| Sant'Anna School of Advanced Studies, Pisa; also Adjungeret Lektor at DTU |
| EMbeDS |
| Piazza Martiri della Liberta' |
| 56127 Pisa |
| Italy |
| andrea.vandin @ santannapisa.it |
| +4522664863 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Concurrent og parallel programmering |
| Diskrete strukturer |
| Distribuerede systemer |
| Formelle sprog |
| Kunstig intelligens |
| Logik |
| Objektorienteret programmering |
| Programmeringssprog |
| Sikkerhed |
| Videregående emner |
| Adaptive Systems |
| Algorithm Design and Analysis |
| Artificial Intelligence |
| Autonomous Agents |
| Bioinformatics |
| Compiler Construction |
| Computing Education |
| Concurrency Theory |
| Database Systems |
| Distributed Systems |
| E-Business Systems |
| Functional Programming |
| Graph Algorithms |
| History of Computing |
| Image Processing |
| Integer Programming |
| Linear Programming |
| Machine Learning |
| Mobile Communication |
| Mobile Computing |
| Modeling and Simulation |
| Multiagent Systems |
| Object-Oriented Design and Analysis |
| Object-Oriented Programming |
| Operations Research |
| Parallel Processing |
| Probability Theory |
| Program Analysis |
| Program Transformation |
| Programming Language Design |
| Proof Theory |
| Real-Time Systems |
| Semantics |
| Software Engineering |
| Software Process Improvement |
| Software Testing |
| Software Verification |
| Statistics |
| Systems Development |
| Theory of Computation |
|