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 |
|