Theoretische Informatik / Formale Methoden
Adresse: | Wilhelmshöher Allee 73
34121 Kassel |
Beschreibung
The research group was established at the School of Electrical Engineering and Computer Science of the University of Kassel in April 2010 and originally named "Formal Methods and Software Verification". As of November 2013 it became the research group "Theoretical Computer Science / Formal Methods". The main research agendas comprise areas like computational logic with a particular emphasis on modal and temporal logics, model checking and game theory for program verification and analysis, abstraction, etc.
The research group contributes to the computer science Bachelor and Master curricula by regularly offering courses and seminars in the areas of logic for computer science, program verification, etc., as well as Bachelor and Master projects related to current research topics in such areas.
Publikationen
2020 | Huseljic, D., Sick, B., Herde, M., Kottke, D., 2020. Separation of Aleatoric and Epistemic Uncertainty in Deterministic Deep Neural Networks, in: ICPR (Hrsg.), International Conference on Pattern Recognition. IEEE, TBD, S. TBD. https://doi.org/10.1109/ICPR48806.2021.9412616 |
2018 | Kottke, D., Calma, A., Huseljic, D., Sandrock, C., Kachergis, G., Sick, B., 2018. The Other Human in The Loop - A Pilot Study to Find Selection Strategies for Active Learning, in: IJCNN (Hrsg.), 2018 International Joint Conference on Neural Networks (IJCNN). S. 1–8. https://doi.org/10.1109/IJCNN.2018.8489637 |
2018 | Tomforde, S., Dehling, T., Haux, R., Huseljic, D., Kottke, D., Scheerbaum, J., Sick, B., Sunyaev, A., Wolf, K.-H., 2018. Towards Proactive Health-enabling Living Environments: Simulation-based Study and Research Challenges. , in: ARCS (Hrsg.), ARCS Workshop 2018, 31th International Conference on Architecture of Computing Systems. VDE, S. 1–8. |
2017 | Kottke, D., Calma, A., Huseljic, D., Krempl, G., Sick, B., 2017. Challenges of Reliable, Realistic and Comparable Active Learning Evaluation, in: Krempel, G., Lemaire, V., Polikar, R., Sick, B., Kottke, D., Calma, A. (Hrsg.), Proceedings of the Workshop and Tutorial on Interactive Adaptive Learning @ ECMLPKDD 2017. S. 2–14. |
Weitere Forschungsaktivitäten
