جست‌وجوی استاد و پژوهشگر

Linh Thi Xuan Phanمشاهده پروفایل

استاد

• Real-Time Systems
• Embedded Systems
• Cyber-Physical Systems
• +۲ مورد دیگر

Linh Thi Xuan Phan is a Professor at the University of Pennsylvania , affiliated with the Computer and Information Science Department and the School of Engineering and Applied Science . She is a co-director of the MSE in Data Science (DATS) program and a member of the PRECISE Center and the Distributed Systems Lab . Her research focuses on real-time/Embedded Systems , cyber-physical systems , distributed systems , and security . She develops theoretical foundations and systems techniques for building cost-effective large-scale systems with provable safety, fault tolerance, security, and real-time performance. Key projects include bounded-time recovery mechanisms for cyber-physical systems, scalable resource allocation for modern hardware, and defensive architectures for data centers. Recent publications highlight trends in probabilistic resource usage learning , real-time intrusion detection , and fault tolerance strategies for multi-robot systems and aerial vehicles. Her work has received awards at conferences like RAGE , RTAS , and ICRA . Scientific Awards : 2023: Best Paper, RAGE 2020: Lindback Award for Distinguished Teaching 2018: NSF CAREER Award 2018: Outstanding Paper, RTAS 2017: ACM Future of Computing Academy PhD students advised include Robert Gifford , Karan Newatia , Yifan Cai , Abby Eisenklam , and graduated students like Yang Li , Jaewoo Lee , and Meng Xu . She has served on program committees for RTSS , EMSOFT , and DATE , and held leadership roles in ACM SIGBED and IEEE TCRTS .

Martina Maggioمشاهده پروفایل

استاد

• Control Theory
• Cyber-Physical Systems
• Real-Time Systems
• +۴ مورد دیگر

Martina Maggio is a Professor at the Department of Computer Science , Saarland University (since March 2020) and holds a 20% position at the Department of Automatic Control , Lund University (since 2023). Her research bridges control theory with software engineering to address predictability in computing systems. PhD : Politecnico di Milano (completed with work on control-theoretical tools for computing systems) Visiting Graduate Student : MIT CSAIL (collaborated on Self-Aware Computing project) Her research focuses on: Control theory for resource allocation in cloud infrastructures and embedded systems Formal verification of event-triggered systems and deadline misses Robustness of cyber-physical systems under computational faults Automated methodologies for runtime adaptation in software Timing requirements in big data applications Security vulnerabilities in control systems Key article trends include: control-theoretic approaches to computing systems, stochastic modeling of deadline misses, formal verification of timing constraints, and security-aware control algorithms . Scientific recognition: Co-authored paper selected as Most Influential Paper at SEAMS 2025 Best Paper Award at ECRTS 2021 ACM SIGSOFT Distinguished Paper Award (FSE 2020) Outstanding Reviewer (ICPE 2020) Mentorship includes supervising PhD candidates (e.g., Clara Rubeck, Robert Pietsch) and serving as an academic advisor for industry collaborations (e.g., with Bosch Corporate Research). She also contributes to open-source tool development (WeaklyHard.jl) and has held leadership roles like Program Co-Chair for ICCPS 2020.

• Artificial Intelligence
• Smart Grids
• Renewable Energy Systems
• +۶ مورد دیگر

Md Morshed Alam is a Part-Time Lecturer at the Faculty of Engineering and Information Technology , University of Technology Sydney. He holds a B.Sc. in Electrical and Electronic Engineering from Khulna University of Engineering and Technology, an ERASMUS MUNDUS certificate in Power Systems from University do Porto, and an M.Sc. in Electronics Engineering from Kookmin University. Focuses on Artificial Intelligence integration in Smart Grids Specializes in Energy Consumption Forecasting and Renewable Energy Optimization Proficient in Python, MATLAB/Simulink , and Arduino His 15 most recent publications analyze topics like AI-driven microgrid control, drone detection systems, and air quality prediction models, with significant citations in energy storage and wireless communication domains. While no scientific awards are explicitly listed, his work spans diverse applications from Terahertz communication to IIoT security frameworks . He contributed to Wireless Communication and AI Lab projects during his time at Kookmin University.

• Human-Computer Interaction
• Virtual Reality
• Augmented Reality
• +۵ مورد دیگر

Thomas Kosch serves as Professor at the Institute of Computer Science within the Faculty of Mathematics and Natural Sciences at Humboldt University of Berlin. His research group Human-Computer Interaction for Scientific Software develops innovative interfaces for scientific applications, with laboratory facilities at Rudower Chaussee 25, 12489 Berlin-Adlershof and administrative correspondence via Unter den Linden 6, 10099 Berlin. His research spans Human-Computer Interaction, Virtual/Augmented Reality, Artificial Intelligence, and Neurophysiological Computing. Key interests include cognitive augmentation through EEG/EMG systems, motor learning with electrical muscle stimulation, large language model integration in UX workflows, and privacy implications of tracking technologies. His work bridges theoretical HCI frameworks with empirical validation through controlled experiments involving physiological measurements and immersive environments. Analysis of his 15 most recent publications (all 2025) reveals three dominant trends: (1) Critical examination of LLM limitations through prompt-hacking and deceptive design studies, (2) Neurophysiological validation of cognitive phenomena using multimodal sensing (EEG/eye-tracking), and (3) Application-driven XR solutions for veterinary care, navigation, and motor assessment. These works consistently employ rigorous user studies with quantitative behavioral metrics. No scientific awards are documented in the provided materials, though his publication volume in top-tier venues (e.g., CHI, UIST) indicates significant field contributions. Professor Kosch actively supervises doctoral candidates, with at least one PhD defense (Michael Piechotta, Dipl.-Bio-Inf.) scheduled for September 2025. His research group likely secures competitive grants supporting equipment-intensive projects involving EEG systems, VR setups, and physiological sensors, though specific funding sources aren't detailed. The Human-Computer Interaction for Scientific Software group operates as an interdisciplinary hub combining computer science, cognitive psychology, and domain-specific applications. Current projects involve developing open-source tools like MorphoHaptics for medical imaging, MIRAGE for fall hazard detection, and Senscon for physiological sensing integration in VR controllers.

• Computing architectures
• Quantum computing
• System design and co-design
• +۶ مورد دیگر

Prof. Mihai UDRESCU-MILOSAV is a Professor at the Department of Computer and Information Technology (DCTI) within the Politehnica University of Timisoara. He holds a Dr. Habil. Eng. degree and specializes in computing architectures, quantum computing, system design, and cyber-physical systems. His research bridges emerging technologies with practical applications in sensor networks and machine learning. He has been awarded Merit Diplomas in 2023 and 2021. Research Interests: Prof. UDRESCU-MILOSAV's work focuses on advancing computing architectures, quantum systems, and real-time embedded systems. He explores system reliability, machine learning applications, and data mining techniques for complex networks. His recent projects include RoNaQCI (Romanian National Quantum Communication Infrastructure) and PollStream (agent-based opinion prediction models). Key Contributions: He has supervised multiple PhD theses and actively participates in international conferences like SACI. His articles span IoT security, autonomous systems, and real-time scheduling, demonstrating expertise in both theoretical and applied domains. He contributes to workshops on innovative audio-video solutions for data transmission and management.

Laurent Pautetمشاهده پروفایل

استاد

• Real-Time Systems
• Critical Systems Design
• Embedded Systems
• +۷ مورد دیگر

Laurent Pautet is a Professor at Télécom Paris since 2005 and Head of the Autonomous Critical Embedded Systems (ACES) research team at the Information Processing and Communication Laboratory (LTCI). He holds a PhD in Computer Science from Télécom Paris (1993) and an HDR (2001) from Université Pierre et Marie Curie (UPMC). His research focuses on real-time systems, critical systems design, security, and model-based engineering. He leads the ACES team, which addresses challenges in concurrent systems, scheduling algorithms, and safety-critical applications. His academic background includes a PhD supervised by Dassault Electronics and an HDR emphasizing formal methods and distributed systems. His work spans real-time scheduling (e.g., mixed-criticality systems), embedded software reliability, and intrusion detection systems. He has contributed to tools like the Ocarina AADL tool suite and frameworks such as Flex-eWare for embedded distributed systems. Research interests also include cybersecurity threats to intrusion detection systems (IDS), motion control for autonomous vehicles, and application of mixed-criticality scheduling in AI-driven systems like Monte Carlo Tree Search. He actively supervises internships and theses on topics like renewable energy-aware real-time scheduling and 5G NR in SCADA systems. Pautet’s publications span journals like Journal of Systems Architecture and conferences such as RTSS and IEEE CSR. His work bridges theoretical foundations (e.g., linear programming for scheduling) with practical implementations in domains like aerospace and automotive systems.

Amir Toorمشاهده پروفایل

استاد

• Hematology
• Oncology
• Stem Cell Transplantation
• +۴ مورد دیگر

Amir Toor, M.D., is a Professor in the Department of Internal Medicine at the University of Texas Southwestern Medical Center, specializing in hematology, oncology, and stem cell transplantation. He holds faculty appointments in the Division of Hematology and Oncology and has previously served at institutions like Virginia Commonwealth University and Loyola University Medical Center. His research focuses on immune recovery post-transplant, cancer relapse prevention, and mathematical modeling in hematology. Education: MD from King Edward Medical University (Pakistan), internal medicine residency at UConn Health, and hematology/oncology fellowship at the University of Minnesota. Research Interests: Stem cell transplantation, cellular immunotherapy, graft-versus-host disease (GVHD), and the dynamics of immune recovery. He employs dynamical systems modeling to predict clinical outcomes and optimize therapeutic strategies. Key Contributions: Over 90 peer-reviewed articles and 100+ abstracts, with a focus on KIR receptor interactions, vitamin C supplementation in transplant patients, and SARS-CoV-2 vaccination outcomes. His work bridges clinical practice and computational biology, emphasizing translational research. Labs/Teams: Collaborates with the Division of Hematology and Oncology at UTSW, focusing on translational research in hematologic malignancies and transplant immunology.

Sarah Greenمشاهده پروفایل

استاد

• Materials Engineering
• Sustainable Materials
• Materials Failure
• +۲ مورد دیگر

Sarah Green is Professor of Materials Engineering and Head of the Mechanical and Construction Engineering Department at Northumbria University. She holds a B.S. in Ceramics and Glasses from the University of Sheffield, Ph.D. in Materials Engineering from the University of Nottingham, and postgraduate teaching qualification from Durham University. Her research focuses on sustainable materials use, materials failure analysis, and development of novel composites from recycled materials. With extensive leadership experience, Professor Green previously held positions at Durham University, University of Cumbria, and Lancaster University where she served as inaugural Head of the School of Engineering. She is a Chartered Engineer, Chartered Environmentalist, and Fellow of the Institute of Materials, Minerals and Mining (IOM3), serving on their Academic and Professional Formation Committee. Her research portfolio includes sustainable material development using waste streams, failure analysis of engineering components, and applications of recycled composites in construction. Recent projects span nuclear materials characterization, wind data collection using UAV platforms, and cyber-physical system security. She has supervised over 60 Masters and PhD projects with funding from UKRI, EPSRC, ERDF, and industry partners including Ceres Power, Biomet, and Morgan Matroc.

Khushraj Madnaniمشاهده پروفایل

پژوهشگر

• Formal Logics and Models of Computation
• Specification and Verification of Timed Systems
• Scheduler Synthesis for Networked Control Cyber-Physical Systems
• +۳ مورد دیگر

Khushraj Madnani is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany, under Prof. Rupak Majumdar and Prof. Georg Zetzsche. His research focuses on formal logics, infinite-state models, and their applications in formal methods and verification. Previously, he was a postdoctoral researcher at Delft University of Technology (2020–2021) and a visiting fellow at the Tata Institute of Fundamental Research (2019–2020). He holds a PhD in Computer Science from the Indian Institute of Technology Bombay (2013–2019). Research Interests : Specification and Verification of Timed Systems Scheduler Synthesis for Networked Control Cyber-Physical Systems Formal Logics and Models of Computation Recent Contributions : His work spans decidability of timed logics, formal verification of real-time systems, and control theory. Key themes include metric temporal logic extensions, decidability boundaries, and applications in cyber-physical systems. Recent articles explore quantifier elimination in Presburger arithmetic and decidability of timed temporal logics with advanced quantifiers. Professional Roles : He collaborates with leading research institutes and has contributed to international conferences such as CONCUR, MFCS, and CDC. His work bridges theoretical foundations with practical verification challenges in real-time systems and networked control.

Ishfaq Hussainمشاهده پروفایل

مدرس

• Energy Optimization
• Reconfigurable MPSoC Architectures
• Embedded Systems
• +۳ مورد دیگر

Ishfaq Hussain is a Lecturer at the University of Sargodha and a visiting researcher at Emwi-Tech. He holds a Master's degree in Electrical and Electronics Engineering from HITEC University, Pakistan, with over 4.5 years of experience in embedded systems and artificial intelligence development. His research focuses on energy/performance optimization in reconfigurable MPSoC architectures, mixed-criticality systems, and real-time scheduling algorithms. Education: Masters in Electrical and Electronics Engineering, HITEC University, Pakistan Research Interests: Energy-efficient embedded systems, reconfigurable computing, real-time systems, and mixed-criticality scheduling. He has contributed to frameworks for WCRT analysis in multiframe systems and energy-aware MPSoC modeling using fuzzy logic. Grants & Awards: Recipient of a research grant from the National ICT R&D Fund Outstanding Paper Award at RTNS 2019 Events & Talks: Speaker at CISTER's Seminar Series (2018, 2020), presenting on multicore processor platforms and mixed-criticality systems Participant at WFCS 2022, ICESS 2021, RTNS 2019 Affiliations: Active in the CISTER Research Centre and associated with Emwi-Tech through visiting research collaborations.

Michel KIEFFERمشاهده پروفایل

استاد

• Signal Processing
• Communication Systems
• Networking
• +۵ مورد دیگر

Michel KIEFFER is a Professor in Signal Processing for Communications at Paris-Sud University and a researcher at the Laboratoire des Signaux et Systèmes (L2S), Gif-sur-Yvette, France. He holds a Ph.D. (1999) and Habilitation (2005) from Université Paris-Sud. Previously, he served on part-time leave at Laboratoire de Traitement et Communication de l’Information (CNRS-Télécom ParisTech, 2009–2016) and was a junior member of the Institut Universitaire de France (2011–2016). His research focuses on joint source-channel coding, signal processing for communication networks, and robust control systems. Key contributions include works on multimedia transmission reliability, UAV localization, and fault identification in power grids. He co-authored over 100 publications and books like Applied Interval Analysis (Springer, 2001) and Joint Source-Channel Decoding (Academic Press, 2009). He serves as Associate Editor for Signal Processing (since 2008) and IEEE Transactions on Communications (2012–2016). His work spans interdisciplinary areas such as energy systems, robotics, and telecommunications, addressing challenges in real-time data transmission, network slicing, and distributed control.

Romain Jacobمشاهده پروفایل

مدرس

• Computer Networks
• Real-Time Systems
• Wireless Communication
• +۵ مورد دیگر

Romain Jacob is a Lecturer at the Department of Information Technology and Electrical Engineering at ETH Zürich, where he also holds a postdoctoral researcher position in Prof. Laurent Vanbever's group. His research focuses on computer networks, real-time systems, and sustainable networking, with an emphasis on reproducible experimental design and open science advocacy. He completed his PhD under Prof. Lothar Thiele at ETH Zürich in 2019, followed by a visiting scholar position at UC Berkeley in 2014. His academic background includes a Master of Science in Engineering of Complex Systems from École Normale Supérieure de Cachan (now ENS Paris-Saclay). Key research interests include: Time-triggered wireless architectures for cyber-physical systems Energy-efficient networking and sustainability Reproducibility frameworks like TriScale Real-time communication protocols Notable contributions include the Best Paper Award at HotCarbon'24 for work on router energy optimization. He actively promotes open science through initiatives like the ORCID Researcher Advisory Council and serves as Editor-in-Chief for JSys. His teaching includes a master's lecture on Sustainable Networking, emphasizing practical applications and open educational resources. He collaborates with the Swiss Reproducibility Network (SwissRN) to advance rigorous research practices.

• Embedded Systems Verification
• Real-Time Systems
• Program Verification
• +۳ مورد دیگر

Sergio Feo-Arenis is a Researcher at the Department of Informatics, University of Freiburg, affiliated with the Software & Systems Theory (SWT) group. His research focuses on Embedded Systems Verification, Real-Time Systems, and Formal Methods, with expertise in Program Verification and Static Analysis. He contributes to the Salomo project and has published extensively in areas like timed automata and network protocols. Teaching responsibilities include courses such as Program Verification, Cyber-Physical Systems, and Software Engineering, spanning undergraduate and graduate levels. He has advised numerous student projects and theses, emphasizing practical applications of theoretical concepts. Research highlights include formal verification of data aggregation protocols, GPU-accelerated model checking, and semantic layer development for aerospace systems. His work bridges theoretical computer science with industrial applications, ensuring compliance with safety-critical standards. Key projects include Salomo, exploring parametric analysis models, and contributions to interdisciplinary system design. Consultation hours require appointment scheduling via email.

• Biomedical Engineering
• Medical Physics
• Therapeutic Ultrasound
• +۴ مورد دیگر

Douglas Christensen is a Professor in both the Department of Electrical and Computer Engineering and the Department of Biomedical Engineering at the University of Utah. His academic career spans over five decades, beginning with a Ph.D. in Electrical Engineering from the University of Utah in 1967. He has authored or co-authored multiple books, including Ultrasonic Bioinstrumentation and Basic Introduction to Bioelectromagnetics . Education: BS, Electrical Engineering, Brigham Young University (1962) MS, Electrical Engineering, Stanford University (1963) PhD, Electrical Engineering, University of Utah (1967) Postdoctoral Fellowship, University of Washington (1972-1974) Research Interests: Therapeutic ultrasound Optical biosensors Acoustic radiation force Phase aberration correction 3D MR thermometry Medical imaging systems Ultrasound wave propagation Scientific Awards: Fellow, American Institute for Medical and Biological Engineering (2001) Distinguished Teaching Award, University of Utah (2004) Lifetime Achievement Award, ECE Department (2020) ECE Chair's Award (2022) His recent publications focus on improving transcranial ultrasound simulations through skull geometry modeling, optimizing phase aberration correction for breast MRgFUS, and enhancing MR thermometry accuracy via model predictive filtering. He has secured significant NIH grants for HIFU bioengineering and transcranial MRgFUS innovations. Christensen teaches foundational courses in biomedical engineering and electrical circuits, with active roles in 2023-2024 academic terms.

• Process Automation Systems
• Control Engineering
• Numerical Optimization
• +۷ مورد دیگر

Sergio Lucia is a Full Professor (W3) for Process Automation Systems at Technische Universität Dortmund within the Department of Biochemical and Chemical Engineering since 2023. He previously served as a W2/W3 Professor (2020-2023) and W1 Assistant Professor at TU Berlin (2017-2020). His research focuses on the intersection of control engineering, numerical optimization, and machine learning, with applications in chemical processes, biotechnology, and energy systems. He leads the Laboratory of Process Automation Systems (Building G2, North Campus) and has held prestigious roles including Vice Chair of IFAC Technical Committee on Optimal Control since 2020. Education: Dr.-Ing. (summa cum laude) in "Robust multi-stage nonlinear model predictive control" (2014) Postdoctoral: Massachusetts Institute of Technology (2016), Otto-von-Guericke University Magdeburg (2015-2017) Alumni: Research Assistant at TU Dortmund (2010-2014), Diploma in Electrical Engineering (2010) His research explores novel methods to bridge theory and applications in control engineering, particularly through model predictive control (MPC) innovations. Recent work emphasizes robustness under uncertainty , Bayesian optimization , deep learning integration , and privacy-preserving federated learning for industrial applications. His 2025 publications address challenges in chemical recycling networks, crystallization processes, and serverless computing triggers. Scientific recognition includes: Teaching award (2023) Best student paper awards (2022, 2021) VAA Dissertation Award (2015) Erasmus Scholarship (2010) M.Sc. Extraordinary Career Award (2011) As a dedicated educator, he refines courses to enhance learning outcomes and mentors PhD students Sarah Braun and Benjamin Karg. His laboratory at TU Dortmund's North Campus is strategically located near the H-Bahn monorail system for accessibility.