 |
| Research Automated Verification Synchronization Modeling Model Generation and Testing Publications Teaching Contactinfo |
My main research interests are in the areas of formal methods, especially in connection with real-time and distributed systems, semantics, verification and testing of concurrent systems, and security.
M.Sc. projects available:Testing a new Security Protocol for IoT
CAV Award 2017
Ph.D. course on symbolic execution starts February 10, 15.15 - 17.00, 2021.Reading group on software testing and fuzzing starts February 28, 2019.
SSIoT 2019
IEEE EuroSP Workshop on Software Security for IoT
Co-located with IEEE EuroSandP 2019 16 June 2019, Stockholm-->
Publications
Ph.D. Students:
Hooman Asadian,Sarbojit Das,Magnus LångCong Quy Trinh,Fredrik Tåkvist,
Member of theSecurity Arena at the Dept. of IT
Projects:
Designed for UPDATE, safe update of embedded software.
aSSIsT, Secure Software for the IoT.
UPMARC, A Center of Excellence on Software Technology for Multicore Programming
Past Projects:
CoDeR-MP,Computationally Demanding Real-Time Applications on Multicore Platforms
ProFun,A Programming Platform for Future Wireless Sensor Networks
CONNECT, a project on synthesis of networked components.
Current Courses:
Model Based Development of Embedded Systems
Summer Schools
Interesting Conferences
Verification Tools
I enjoyPiano Playing andOrienteering
To be added
| Last updated 15 April 2007. Responsible: . Web: . Copyright � 2006 Uppsala University, Department of Information Technology. |