Dr. Kinga Lipskoch is a Distinguished Lecturer of Computer Science at the School of Computer Science & Engineering, Constructor University Bremen. She holds a Ph.D. in Computer Science from Carl von Ossietzky University of Oldenburg (2008–2012), a Master's in Computer Science from Transilvania University of Brașov (2005–2006), and a Diploma in Mathematics and Computer Science from the same institution (2001–2005). Her professional experience includes postdoctoral research at Jacobs University Bremen and visiting lectureships at Hamburg University of Applied Sciences and Transilvania University of Brașov. Her research focuses on distributed systems, data management, probabilistic algorithms, and big data analytics in earth sciences. Key areas include probabilistic quorum systems for improving data consistency and operation availability, array analytics for geospatial data, and algorithm design for optimization problems. She has also contributed to software engineering projects, such as text parsing tools for bilingual dictionaries and desktop applications for institutional resource management. Her work bridges theoretical computer science with practical applications, addressing challenges in distributed computing, environmental data analysis, and educational software development.
Prof. Dr. Dragan Macos is a Professor at the Berlin University of Applied Sciences, affiliated with the Building Construction Department. His research focuses on mobile application development (particularly iOS), compiler construction for functional programming languages, and simulation models in transportation and wireless communication. He teaches courses on media informatics, compiler design, and software project management at both bachelor's and master's levels. His work spans technical contributions in high-availability data center backends, simulation performance optimization, and toll system modeling. Recent publications emphasize distributed systems, parallelization techniques, and the application of simulations in real-world scenarios. No scientific awards are listed, but his engagement in international conferences highlights active research collaboration. Teaching: Media Informatics, Compiler Construction, and TI Bachelor programs Research: Mobile apps, functional programming languages, stochastic traffic models Key Publications: Over 10 peer-reviewed articles between 2010–2017 on simulation, networking, and embedded systems Personal interests include Istrian culture and Croatian heritage, reflecting a passion for regional history and natural landscapes.
Overview Prof. Sebastian Meier holds a professorship for Knowledge Transfer Design at Potsdam University of Applied Sciences' School of Design. His work bridges human-centered design with technological innovation, focusing on urban data visualization, sustainability communication, and open data initiatives. Co-founder of the CityVis Initiative promoting global urban visualization exchanges, he also chairs the German Society for Cartography's research commission. Education PhD in Geoinformatics (2017, Potsdam University), Master in Interface Design (2011, Potsdam), and Diploma in Communication Design (2009, Düsseldorf). Conducted visiting PhD research at City University London (2015). Research Focus Urban data visualization, climate change communication, digital participation, open geospatial data, and smart city interfaces. Projects include SVIFT visualization tool, MyAppMyData privacy framework, and Open Data Cloud Services analysis. Awards & Funding DAAD travel grants for international conferences Volkswagenstiftung Mixed Methods Research Programme Core77 Student Award (Winner) Prototype Fund (BMVI) innovation funding Professional Roles Former Scientific Director of CityLAB Berlin, Lead Data Scientist at Berlin Technology Foundation, and Guest Professor at HafenCity University Hamburg. Served as co-chair of Berlin's German Society for Cartography chapter. Labs & Collaborations Runs the Interaction Design Lab (IDL) at Potsdam, collaborating with institutions like MIT Senseable City Lab, Federal Environmental Agency, and Brandenburg Police on UX/UI design and participatory tools.
Alexandra Mielke is a Research Associate in the Department of Computer Science and a PhD student with an ISF scholarship in the Department of Engineering and Communication at Hochschule Bonn-Rhein-Sieg. She is affiliated with the Institute for Safety and Security Research (ISF). Her work focuses on 3D Time-of-Flight (ToF) camera technologies, particularly in facial biometric applications and super-resolution techniques. Education: Completed her Master’s thesis in 2024 on 3D camera metrics for biometric systems. Current PhD research involves improving low-cost ToF camera performance. Research projects include the Data-Based Super Resolution project for enhancing 3D facial biometric applications and the DKZ.2R initiative supporting interdisciplinary data literacy and high-performance computing. She collaborates on sensor performance evaluation and resilience modeling. Labs/Teams: Active in the Institute for Safety and Security Research (ISF), contributing to cutting-edge 3D imaging solutions. Her work spans multiple disciplines including computer science, electrical engineering, and applied mathematics. Location: Based in Sankt Augustin at Grantham-Allee 20, Room G 037.
Viridiane Fay is a researcher in the Institute of Modern Languages and Romance Studies at the University of Würzburg , specializing in French language practice and applied computational methods. During lecture periods, she holds office hours every Tuesday from 1 p.m. to 2 p.m., with appointments available during semester breaks. Role: French Editor, Language Practice Location: Am Hubland, 97074 Würzburg Contact: viridiane.fay@uni-wuerzburg.de Her research spans two distinct domains: French language pedagogy and computer vision/AI . While her institutional affiliation focuses on Romance Studies, her publication record reveals expertise in: Medical and underwater image processing Transformer-based architectures Federated learning and network optimization Watermarking and security algorithms Multi-modal AI applications Neuroscience signal analysis Recent work includes lightweight segmentation models (e.g., ContextFormer), drone/aerial imagery detection frameworks (CH-YOLO-Lite), and privacy-preserving AI systems (Find). Despite limited biographical details in the scrape, her 30+ publications since 2017 suggest significant technical contributions.
Julia Brich is a Researcher at Ulm University, affiliated with Prof. Weber's research group. She holds a B.Sc. from the University of Applied Sciences Ulm (2011) and an M.Sc. from Ulm University (2014), both focused on distributed systems. Her research centers on game design, adaptive systems, and human-computer interaction, particularly in serious games and virtual reality environments. She has contributed to projects like 'Serious Games – Skill Advancement Through Adaptive Systems' and 'EffIS – Efficient and Interactive Studying'. Her work spans end-user programming for smart homes, emotion-driven game adaptivity, and VR-based educational tools. Key contributions include the LiverDefense tower defense game framework for research and the Ubidoo multi-user tracking system. Julia has also explored contextual tutorials in VR and integrated questionnaires for maintaining user presence in games. Awards and grants are not explicitly mentioned, but her research has been published in venues like IEEE VR, CHI Play, and Springer. She has collaborated with institutions like EADS Germany and contributed to interdisciplinary projects blending game design with educational and industrial applications.
Prof. Bernd Finkbeiner is a faculty member at CISPA Helmholtz Center for Information Security and holds a Professorship in Computer Science at Saarland University. He earned his Ph.D. in 2003 from Stanford University. Leading the Reactive Systems Group since 2003, now part of CISPA, his research focuses on ensuring safety and security in computer systems through formal methods like specification, program synthesis, and verification. Key projects include output-sensitive reactive synthesis (OSARES), hyperproperty logics (HYPER), and real-time monitoring (RTLOLA). Education : Ph.D. in Computer Science, Stanford University, 2003 His research interests span hyperproperties, formal verification, runtime monitoring of cyber-physical systems, and distributed synthesis. He has pioneered tools like StreamLAB and AutoHyper for hyperproperty analysis. His work on temporal causality and information-flow guided synthesis addresses challenges in distributed and secure systems. Key Achievements : Recipient of ERC Advanced Grant 2022–2027 for Project HYPER Best Paper Awards at ICALP 2009, FSEN 2007, and VMCAI 2012 Leader of the Reactive Systems Group at CISPA Grants & Funding : ERC Advanced Grant supporting research on hyperproperties His lab develops cutting-edge tools for formal methods, including BoSy for bounded synthesis and RTLola for runtime verification. Current research explores compositional synthesis, explainable reactive systems, and robust monitoring for medical and autonomous systems.
Ahmed Karmouch is a Professor at the University of Ottawa, Canada, affiliated with the College of Engineering and Computer Science. His research focuses on Network Virtualization , Software-Defined Networking (SDN) , and Context-Aware Systems , with significant contributions to Cloud Computing Resource Allocation , Programmable Data-Planes , and Overlay Networks . He has co-authored over 161 publications since 1980, emphasizing scalable infrastructure management, QoS optimization, and autonomic network design. His recent work includes machine learning integration in P4-programmable networks (2024) and survivable IaaS management with SDN (2021). Publications span IEEE Transactions and ACM journals, with frequent collaborations with Nancy Samaan, Abdallah Jarray, and Hamid Harroud. Key research themes: Network Programmability Service Specific Overlay Networks Autonomic Network Management ML for Traffic Optimization Geographically Distributed Cloud
Marc Teyssier is a Post-Doctoral Research Fellow at the Human-Computer Interaction Lab within the Department of Computer Science at Saarland University. He holds a Ph.D. in Computer Science from Télécom Paris – Institut Polytechnique de Paris and a Master’s degree in Interaction Design. His research focuses on developing creative hardware and software that bridges technology and human nature, emphasizing anthropomorphic devices, sustainable materials, and affective communication. Education: PhD in Computer Science, Télécom Paris – Institut Polytechnique de Paris (France) Master’s in Interaction Design Research Interests: Teyssier explores how technology can be made more human-centric through projects like Skin-On Interfaces (artificial skin-covered devices), MobiLimb (robotic smartphone attachments), and Eyecam (an anthropomorphic webcam). He combines prototyping, digital fabrication, and user research to reimagine device design, emphasizing sustainability (e.g., bioplastics) and ethical implications of sensing technologies. Key Contributions: Developed open-source projects like PolySense (smart textiles) and Eyecam (critical design for surveillance devices). Published at top venues including CHI and ICRA, with work on human-like artificial skin sensors and emotion-conveying touch interfaces. Recipient of ERC Stg InteractiveSkin funding and EPSRC grants. Labs & Groups: Leads the Resilient Futures research group at De Vinci Innovation Center and collaborates with Saarland University’s HCI Lab.
Dr.-Ing. Henryk Richter is a postdoctoral scientific assistant at the University of Rostock, affiliated with the Communications Engineering research group. His work spans multimedia engineering, focusing on video coding and real-time systems. Education : PhD in Electrical Engineering from University of Rostock (2006), thesis on cross-standard video decoding concepts. Research Interests : Data compression, image/video coding, multistandard video decompression, and real-time signal processing. Publications : 15 most recent articles (2005–2024) highlight advancements in video codecs, biomedical signal processing, and hardware optimization. Contact : henryk.richter@uni-rostock.de
Xiang Fu is a researcher in the Department of Computer Science at Hofstra University, with affiliations to institutions including Georgia Southwestern State University, University of California, Santa Barbara, and Massachusetts Institute of Technology. His work spans formal verification of web services, software security, zero-knowledge proofs, and automated testing frameworks. His research interests include: Web Services Formal Verification Software Security Zero-Knowledge Proofs Automated Testing Software Engineering Recent publications focus on zero-knowledge auditing for financial systems, formal verification of web services, and secure software analysis. Notable tools developed include APOGEE for automated grading and WISEngineering for scalable online learning. No explicit scientific awards are documented in the provided data.
Basavesh Ammanaghatta Shivakumar is a Researcher and Postdoctoral Associate in the Systems Software Research Group at the Bradley Department of Electrical and Computer Engineering, Virginia Tech, working under Professor Binoy Ravindran. His research focuses on program analysis, reliable systems, systems security, and fuzzing, with a strong emphasis on cryptographic implementations and hardware-software co-security. He holds a Ph.D. from Radboud University (Netherlands) and conducted doctoral research at the Max Planck Institute for Security and Privacy (Germany), supervised by Gilles Barthe and Peter Schwabe. He also earned a Master’s degree from Purdue University (USA) and a Bachelor’s in Computer Engineering from NITK Surathkal (India). His work addresses critical challenges in securing systems software against side-channel attacks, microarchitectural vulnerabilities, and concurrency errors. Recent contributions include HMTRace for dynamic data race detection and robust constant-time cryptographic implementations. Publications span topics like Spectre mitigation, kernel race bug detection, and IoT security. His research bridges theoretical cryptographic principles with practical system-level protections, emphasizing both software and hardware domains. No specific grants or awards are mentioned, but his extensive academic and industrial collaborations reflect his impactful contributions to computer security and systems research.
Arash Bahari Kordabad is a Postdoctoral Researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, since May 2023. His work focuses on theoretical and applied control systems within the EU-funded SymAware project, addressing multi-agent awareness frameworks through collaborations with KTH, Uppsala University, and Siemens Digital Industries Software. His educational background spans three continents: Ph.D. in Engineering Cybernetics, Norwegian University of Science and Technology (NTNU), 2020-2023 (Thesis: "Theoretical properties of learning-based MPC") M.Sc. in Mechanical Engineering, Sharif University of Technology, Tehran (2017-2019; GPA 19.41/20) B.Sc. in Mechanical Engineering, University of Tabriz, Iran (2013-2017; GPA 18.1/20) Research centers on the convergence of Markov Decision Processes, Economic Model Predictive Control, and Reinforcement Learning for energy systems and autonomous vehicles. He pioneers probabilistic guarantees for stochastic systems under temporal logic specifications using Control Barrier Functions and distributionally robust optimization. His MPC-based Reinforcement Learning framework uniquely optimizes closed-loop performance by tuning entire MPC schemes through real-world data, bridging safe control with explainable AI. Recent publications (2022-2024) reveal accelerating focus on safety-critical applications: 75% address Signal Temporal Logic specifications for autonomous systems, 60% integrate distributionally robust methods, and 40% target energy grid applications. Key trends include formal verification of stochastic control, data-driven MPC tuning, and second-order RL algorithms for constrained environments. Scientific recognition includes: First rank in Dynamics and Control at Sharif University (2018) Top 0.25% in Iran's national university entrance exam (2013) Honorary diploma in International Mathematics Tournament of Towns (2013) Current research is supported by the European Innovation Council (SymAware project, 2023–present) and previously by the Research Council of Norway (SARLEM project, 2020–2023). He actively mentors junior researchers and collaborates with industry partners including DNV GL, Kongsberg Maritime, and Netherlands Aerospace Centre. His review work spans ACC, ECC, and CDC conferences alongside journals like Engineering Applications of Artificial Intelligence . He operates within the SymAware consortium's interdisciplinary team, developing frameworks for multi-agent awareness with partners across Europe. Current efforts integrate Wasserstein distributionally robust optimization with chance-constrained Signal Temporal Logic to enable safer autonomous maritime systems, as evidenced by his upcoming guest editorship for the Journal of Marine Science and Engineering .
Lisa Anthony is a Professor affiliated with the University of Florida, specializing in Human-Computer Interaction (HCI) with a strong focus on gesture recognition, touchscreen interfaces, and child-computer interaction. Her research emphasizes the design of user-centered technologies for diverse populations, including children, older adults, and individuals with disabilities. Key contributions include studies on children's touchscreen interaction patterns, multimodal authentication systems, and mHealth applications for behavior change. Her work spans over two decades, with publications in top-tier venues such as CHI, ICMI, and IEEE Transactions. Notable projects include the MTAGIC initiative exploring child motion characteristics, the design of MyTrack+ for weight management, and studies on spherical interfaces. She collaborates extensively with researchers in computer science, education, and healthcare to address real-world challenges in technology accessibility and usability. Lisa's research has implications for improving educational tools, healthcare apps, and collaborative learning environments. While no grants or awards are explicitly listed, her prolific publication record underscores her sustained contributions to HCI and related fields.
Wei-Tek Tsai is a Professor affiliated with Arizona State University's School of Computing, Informatics, and Decision Systems Engineering, and previously with Beihang University and the University of Minnesota. His research focuses on blockchain technology, cybersecurity, cloud computing, and software engineering. He has contributed significantly to areas such as blockchain-based systems, smart contract development, distributed testing methodologies, and crowdsourcing in software development. His work emphasizes practical applications like fraud detection, supply chain supervision, and decentralized financial systems. Research interests include permissioned blockchains, anomaly detection in cryptocurrency transactions, and optimizing consensus mechanisms. He has published extensively in top-tier journals and conferences, including IEEE Transactions and international workshops on software engineering and security. His work bridges theoretical advancements with real-world challenges in distributed systems and cybersecurity.
