Sebastiaan Brand
PhD student
- Name
- S.O. Brand
- Telephone
- +31 71 527 2727
- s.o.brand@liacs.leidenuniv.nl
- ORCID iD
- 0000-0002-7666-2794
Sebastiaan is a PhD student in the Theory group at LIACS since September 2020. His current research focuses on applying techniques from formal methods to probabilistic and quantum systems. He received a BSc degree in Computer Science and Engineering from the TU Delft, and an MSc degree in Computer Science from Leiden University. One of his pet peeves is writing bio's in third person.
PhD student
- Science
- 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. (Eds.), Formal methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. International Symposium on Formal Methods, 2023 7 March 2023 - 9 March 2023. Lecture Notes in Computer Science no. 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. (Eds.), Model Checking Software. SPIN 2023. Model Checking Software. SPIN 2023 26 April 2023 - 27 April 2023. Lecture Notes in Computer Science no. 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.