Sebastiaan Brand
Promovendus
- Naam
- S.O. Brand
- Telefoon
- +31 71 527 2727
- s.o.brand@liacs.leidenuniv.nl
- ORCID iD
- 0000-0002-7666-2794
Sebastiaan is sinds september 2020 promovendus in de Theoriegroep bij LIACS. Zijn huidige onderzoek richt zich op het toepassen van technieken uit formele methoden op probabilistische en quantumsystemen. Hij behaalde een BSc graad in Computer Science and Engineering aan de TU Delft, en een MSc graad in Computer Science aan de Universiteit Leiden. Een van zijn ergernissen is het schrijven van bio's in de derde persoon.
Promovendus
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- Rennela M., Brand S., Laarman A. & Dunjko V. (2023), Hybrid divide-and-conquer approach for tree search algorithms, Quantum 7: 959.
- Brand S.O., Bäck T.H.W. & Laarman A.W. (2023), A decision diagram operation for reachability. Chechik M., Katoen J.P. & Leucker M. (red.), Formal methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. International Symposium on Formal Methods, 2023 7 maart 2023 - 9 maart 2023. Lecture Notes in Computer Science nr. 14000. Cham: Springer. 514-532.
- Vinkhuijzen L.T., Grurl T., Hillmich S., Brand S.O., Wille R. & Laarman A.W. (2023), Efficient Implementation of LIMDDs for Quantum Circuit Simulation. Caltais G. & Schilling C. (red.), Model Checking Software. SPIN 2023. Model Checking Software. SPIN 2023 26 april 2023 - 27 april 2023. Lecture Notes in Computer Science nr. 13872. Cham: Springer. 3-21.
- Coopmans T., Brand S.O. & Elkouss D. (2022), Improved analytical bounds on delivery times of long-distance entanglement, Physical Review A 105(1): 012608.